Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Franz Huber"
download as .bib file
@article{DBLP:journals/chb/LaaberKHF24,
author = {Franziska Laaber and
Teresa Koch and
Marco Hubert and
Arnd Florack},
title = {Young People's digital maturity relates to different forms of well-being
through basic psychological need satisfaction and frustration},
journal = {Comput. Hum. Behav.},
volume = {152},
pages = {108077},
year = {2024},
url = {https://doi.org/10.1016/j.chb.2023.108077},
doi = {10.1016/J.CHB.2023.108077},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chb/LaaberKHF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/LaaberFKH23,
author = {Franziska Laaber and
Arnd Florack and
Teresa Koch and
Marco Hubert},
title = {Digital maturity: Development and validation of the Digital Maturity
Inventory {(DIMI)}},
journal = {Comput. Hum. Behav.},
volume = {143},
pages = {107709},
year = {2023},
url = {https://doi.org/10.1016/j.chb.2023.107709},
doi = {10.1016/J.CHB.2023.107709},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/LaaberFKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijinfoman/WainwrightHSK23,
author = {Thomas Wainwright and
Franz Huber and
Christoph St{\"{o}}ckmann and
Sascha Kraus},
title = {Open data platforms for transformational entrepreneurship: Inclusion
and exclusion mechanisms},
journal = {Int. J. Inf. Manag.},
volume = {72},
pages = {102664},
year = {2023},
url = {https://doi.org/10.1016/j.ijinfomgt.2023.102664},
doi = {10.1016/J.IJINFOMGT.2023.102664},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijinfoman/WainwrightHSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/HoerschingerWPLDGKFL23,
author = {Valentin J. Hoerschinger and
Franz Waibl and
Nancy D. Pomarici and
Johannes R. Loeffler and
Charlotte M. Deane and
Guy Georges and
Hubert Kettenberger and
Monica L. Fern{\'{a}}ndez{-}Quintero and
Klaus R. Liedl},
title = {PEP-Patch: Electrostatics in Protein-Protein Recognition, Specificity,
and Antibody Developability},
journal = {J. Chem. Inf. Model.},
volume = {63},
number = {22},
pages = {6964--6971},
year = {2023},
url = {https://doi.org/10.1021/acs.jcim.3c01490},
doi = {10.1021/ACS.JCIM.3C01490},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/HoerschingerWPLDGKFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MerzHILPC22,
author = {Judith U. Merz and
Markus M. Huber and
Franz Irlinger and
Tim C. Lueth and
Janik Pfitzner and
Burkhard Corves},
title = {Fold-based Complex Joints for a 3 DoF 3R Parallel Robot Design},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {1936--1941},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981031},
doi = {10.1109/IROS47612.2022.9981031},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/MerzHILPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/HaslingerGPBHIT21,
author = {Edith Haslinger and
Gregor G{\"{o}}tzl and
Karl Ponweiser and
Peter Biermayr and
Andreas Hammer and
Viktoria Illy{\'{e}}s and
Veronika Turewicz and
David Huber and
Robin Friedrich and
David Stuckey and
Gerhard Bartak and
Franz Vogl and
Richard Niederbrucker and
Gerfried Koch and
David Bauernfeind and
Paul Kinner and
Peter Holzer and
Thomas Kienberger},
title = {Niedertemperatur-W{\"{a}}rme- und K{\"{a}}ltenetze f{\"{u}}r
denkmalgesch{\"{u}}tzte Bestandsgeb{\"{a}}ude mit industrieller
Abw{\"{a}}rme und Geothermie},
journal = {Elektrotech. Informationstechnik},
volume = {138},
number = {4-5},
pages = {269--273},
year = {2021},
url = {https://doi.org/10.1007/s00502-021-00896-z},
doi = {10.1007/S00502-021-00896-Z},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ei/HaslingerGPBHIT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MoserBHSBPP21,
author = {Julia Moser and
Laura J. Batterink and
Yiwen Li Hegner and
Franziska Schleger and
Christoph Braun and
Ken A. Paller and
Hubert Preissl},
title = {Dynamics of nonlinguistic statistical learning: From neural entrainment
to the emergence of explicit knowledge},
journal = {NeuroImage},
volume = {240},
pages = {118378},
year = {2021},
url = {https://doi.org/10.1016/j.neuroimage.2021.118378},
doi = {10.1016/J.NEUROIMAGE.2021.118378},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/MoserBHSBPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/digearth/EschABBBBdGHJKK20,
author = {Thomas Esch and
Hubert Asamer and
Felix Bachofer and
Jakub Balhar and
Martin B{\"{o}}ttcher and
Enguerran Boissier and
Pablo d'Angelo and
Caroline M. Gevaert and
Andreas Hirner and
Katerina Jupova and
Franz Kurz and
Andy Yaw Kwarteng and
Emmanuel Mathot and
Mattia Marconcini and
Alessandro Marin and
Annekatrin Metz{-}Marconcini and
Fabrizio Pacini and
Marc Paganini and
Hans Permana and
Tom{\'{a}}s Soukup and
Soner {\"{U}}reyen and
Christopher Small and
Vaclav Svaton and
Julian Nils Zeidler},
title = {Digital world meets urban planet - new prospects for evidence-based
urban studies arising from joint exploitation of big earth data, information
technology and shared knowledge},
journal = {Int. J. Digit. Earth},
volume = {13},
number = {1},
pages = {136--157},
year = {2020},
url = {https://doi.org/10.1080/17538947.2018.1548655},
doi = {10.1080/17538947.2018.1548655},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/digearth/EschABBBBdGHJKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/FranzenAH20,
author = {Fabian Franzen and
Manuel Andreas and
Manuel Huber},
editor = {Vassil Roussev and
Bhavani Thuraisingham and
Barbara Carminati and
Murat Kantarcioglu},
title = {FridgeLock: Preventing Data Theft on Suspended Linux with Usable Memory
Encryption},
booktitle = {{CODASPY} '20: Tenth {ACM} Conference on Data and Application Security
and Privacy, New Orleans, LA, USA, March 16-18, 2020},
pages = {215--219},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3374664.3375747},
doi = {10.1145/3374664.3375747},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/FranzenAH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/HuberSSRPF20,
author = {Markus Huber and
G{\"{u}}nther Schindler and
Christian Sch{\"{o}}rkhuber and
Wolfgang Roth and
Franz Pernkopf and
Holger Fr{\"{o}}ning},
title = {Towards Real-Time Single-Channel Singing-Voice Separation with Pruned
Multi-Scaled Densenets},
booktitle = {2020 {IEEE} International Conference on Acoustics, Speech and Signal
Processing, {ICASSP} 2020, Barcelona, Spain, May 4-8, 2020},
pages = {806--810},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICASSP40776.2020.9053542},
doi = {10.1109/ICASSP40776.2020.9053542},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/HuberSSRPF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/SippelMSPRS19,
author = {Katrin Sippel and
Julia Moser and
Franziska Schleger and
Hubert Preissl and
Wolfgang Rosenstiel and
Martin Sp{\"{u}}ler},
title = {Fully Automated R-peak Detection Algorithm {(FLORA)} for fetal magnetoencephalographic
data},
journal = {Comput. Methods Programs Biomed.},
volume = {173},
pages = {35--41},
year = {2019},
url = {https://doi.org/10.1016/j.cmpb.2019.02.016},
doi = {10.1016/J.CMPB.2019.02.016},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/SippelMSPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/MoserSSP19,
author = {Julia Moser and
Katrin Sippel and
Franziska Schleger and
Hubert Prei{\ss}l},
title = {Automated Detection of Fetal Brain Signals with Principal Component
Analysis},
booktitle = {41st Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
2019},
pages = {6549--6552},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMBC.2019.8857283},
doi = {10.1109/EMBC.2019.8857283},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/MoserSSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/SippelMSEPRS19,
author = {Katrin Sippel and
Julia Moser and
Franziska Schleger and
Diana I. Escalona{-}Vargas and
Hubert Preissl and
Wolfgang Rosenstiel and
Martin Sp{\"{u}}ler},
title = {Fully Automated Subtraction of Heart Activity for Fetal Magnetoencephalography
Data},
booktitle = {41st Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
2019},
pages = {5685--5689},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMBC.2019.8856603},
doi = {10.1109/EMBC.2019.8856603},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/SippelMSEPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intsys/KrebsTN0HFVK19,
author = {Florian Krebs and
Georg Thallinger and
Helmut Neuschmied and
Franz Graf and
Georg Huber and
Kurt Fallast and
Peter Vertal and
Eduard Kolla},
editor = {Ana L{\'{u}}cia Martins and
Jo{\~{a}}o Carlos Ferreira and
Alexander Kocian},
title = {Evaluation of {SIMMARC:} An Audiovisual System for the Detection of
Near-Miss Accidents},
booktitle = {Intelligent Transport Systems. From Research and Development to the
Market Uptake - Third {EAI} International Conference, {INTSYS} 2019,
Braga, Portugal, December 4-6, 2019},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {310},
pages = {195--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38822-5\_13},
doi = {10.1007/978-3-030-38822-5\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intsys/KrebsTN0HFVK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/HellwigQHTHVNPG18,
author = {Otto Hellwig and
Gerald Quirchmayr and
Walter H{\"{o}}tzendorfer and
Christof Tschohl and
Edith Huber and
Franz Vock and
Florian Nentwich and
Bettina Pospisil and
Matthias Gusenbauer and
Gregor Langner},
editor = {Sebastian Doerr and
Mathias Fischer and
Sebastian Schrittwieser and
Dominik Herrmann},
title = {A {GDPR} compliance module for supporting the exchange of information
between CERTs},
booktitle = {Proceedings of the 13th International Conference on Availability,
Reliability and Security, {ARES} 2018, Hamburg, Germany, August 27-30,
2018},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230833.3233927},
doi = {10.1145/3230833.3233927},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/HellwigQHTHVNPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber17,
author = {Franz Huber},
title = {Why follow the royal rule?},
journal = {Synth.},
volume = {194},
number = {5},
pages = {1565--1590},
year = {2017},
url = {https://doi.org/10.1007/s11229-015-1004-x},
doi = {10.1007/S11229-015-1004-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/HuberKSHKHN16,
author = {Manuel Huber and
Franz Keller and
Winfried S{\"{a}}ckel and
Manuel Hirschler and
Philip Kunz and
S. Majid Hassanizadeh and
Ulrich Nieken},
title = {On the physically based modeling of surface tension and moving contact
lines with dynamic contact angles on the continuum scale},
journal = {J. Comput. Phys.},
volume = {310},
pages = {459--477},
year = {2016},
url = {https://doi.org/10.1016/j.jcp.2016.01.030},
doi = {10.1016/J.JCP.2016.01.030},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcphy/HuberKSHKHN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/HellwigQHGVP16,
author = {Otto Hellwig and
Gerald Quirchmayr and
Edith Huber and
Gernot Goluch and
Franz Vock and
Bettina Pospisil},
title = {Major Challenges in Structuring and Institutionalizing CERT-Communication},
booktitle = {11th International Conference on Availability, Reliability and Security,
{ARES} 2016, Salzburg, Austria, August 31 - September 2, 2016},
pages = {661--667},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ARES.2016.57},
doi = {10.1109/ARES.2016.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/HellwigQHGVP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/curac/FranzKNJPHHSHWP16,
author = {Daniela Franz and
Uwe Katzky and
Sabine Neumann and
J{\'{e}}r{\^{o}}me Perret and
Mathias Hofer and
Michaela Huber and
Stephanie Schmitt{-}R{\"{u}}th and
Sonja Haug and
Karsten Weber and
Martin Prinzen and
Christoph Palm and
Thomas Wittenberg},
editor = {Juan Ans{\'{o}} and
Kate Gerber and
Nicolas Gerber and
Marius Schwalbe and
Raphael Sznitman and
Stefan Weber and
Tom M. Williamson and
Wilhelm Wimmer and
Arya Nabavi},
title = {Haptische Lernen f{\"{u}}r Cochlea Implantationen Konzept - HaptiVisT
Projekt},
booktitle = {15. Jahrestagung der Deutschen Gesellschaft f{\"{u}}r Computer-
und Roboterassistierte Chirurgie, September 29 - October 1, 2016,
Bern, Switzerland},
pages = {21--26},
publisher = {Der Andere Verlag},
year = {2016},
timestamp = {Sat, 04 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/curac/FranzKNJPHHSHWP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Huber15,
author = {Franz Huber},
title = {What Should {I} Believe About What Would Have Been the Case?},
journal = {J. Philos. Log.},
volume = {44},
number = {1},
pages = {81--110},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9314-x},
doi = {10.1007/S10992-014-9314-X},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Huber15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/StolcDH15,
author = {Svorad Stolc and
Franz Daubner and
Reinhold Huber{-}M{\"{o}}rk},
title = {Document aging effects and automated security document authentication},
booktitle = {Annual {IEEE} Systems Conference, SysCon 2015, Proceedings, Vancouver,
BC, Canada, April 13-16, 2015},
pages = {347--352},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SYSCON.2015.7116775},
doi = {10.1109/SYSCON.2015.7116775},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/syscon/StolcDH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HubertBDHR15,
author = {Stefan Hubert and
Franz Baur and
Antonio Delgado and
Thorben Helmers and
Norbert R{\"{a}}biger},
title = {Simulation modeling of bottling line water demand levels using reference
nets and stochastic models},
booktitle = {Proceedings of the 2015 Winter Simulation Conference, Huntington Beach,
CA, USA, December 6-9, 2015},
pages = {2272--2282},
publisher = {{IEEE/ACM}},
year = {2015},
url = {https://doi.org/10.1109/WSC.2015.7408339},
doi = {10.1109/WSC.2015.7408339},
timestamp = {Thu, 10 Jun 2021 22:19:03 +0200},
biburl = {https://dblp.org/rec/conf/wsc/HubertBDHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esscirc/2015,
editor = {Wolfgang Pribyl and
Franz Dielacher and
Gernot Hueber},
title = {{ESSCIRC} Conference 2015 - 41\({}^{\mbox{st}}\) European Solid-State
Circuits Conference, Graz, Austria, September 14-18, 2015},
publisher = {{IEEE}},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7300343/proceeding},
isbn = {978-1-4673-7470-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esscirc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber14,
author = {Franz Huber},
title = {New foundations for counterfactuals},
journal = {Synth.},
volume = {191},
number = {10},
pages = {2167--2193},
year = {2014},
url = {https://doi.org/10.1007/s11229-013-0391-0},
doi = {10.1007/S11229-013-0391-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHHKRSS14,
author = {Ruth Breu and
Radu Grosu and
Christoph Hofmann and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Monika Schmidt and
Wolfgang Schwerin},
title = {Exemplary and Complete Object Interaction Descriptions},
journal = {CoRR},
volume = {abs/1409.7231},
year = {2014},
url = {http://arxiv.org/abs/1409.7231},
eprinttype = {arXiv},
eprint = {1409.7231},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHHKRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHRS14,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Towards a Precise Semantics for Object-Oriented Modeling Techniques},
journal = {CoRR},
volume = {abs/1409.6930},
year = {2014},
url = {http://arxiv.org/abs/1409.6930},
eprinttype = {arXiv},
eprint = {1409.6930},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHRS14a,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Systems, Views and Models of {UML}},
journal = {CoRR},
volume = {abs/1412.2458},
year = {2014},
url = {http://arxiv.org/abs/1412.2458},
eprinttype = {arXiv},
eprint = {1412.2458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHRS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyHPRS14,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
title = {Software and System Modeling Based on a Unified Formal Semantics},
journal = {CoRR},
volume = {abs/1411.2410},
year = {2014},
url = {http://arxiv.org/abs/1411.2410},
eprinttype = {arXiv},
eprint = {1411.2410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyHPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuberRR14,
author = {Franz Huber and
Andreas Rausch and
Bernhard Rumpe},
title = {Modeling Dynamic Component Interfaces},
journal = {CoRR},
volume = {abs/1409.6924},
year = {2014},
url = {http://arxiv.org/abs/1409.6924},
eprinttype = {arXiv},
eprint = {1409.6924},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuberRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Huber13,
author = {Franz Huber},
title = {Structural equations and beyond},
journal = {Rev. Symb. Log.},
volume = {6},
number = {4},
pages = {709--732},
year = {2013},
url = {https://doi.org/10.1017/S175502031300018X},
doi = {10.1017/S175502031300018X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Huber13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/southchi/BrownKHPH13,
author = {John N. A. Brown and
Bonifaz Kaufmann and
Franz J. Huber and
Karl{-}Heinz Pirolt and
Martin Hitz},
editor = {Andreas Holzinger and
Gabriella Pasi},
title = {"...Language in Their Very Gesture" First Steps towards Calm Smart
Home Input},
booktitle = {Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured,
Big Data - Third International Workshop, {HCI-KDD} 2013, Held at SouthCHI
2013, Maribor, Slovenia, July 1-3, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7947},
pages = {256--264},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39146-0\_22},
doi = {10.1007/978-3-642-39146-0\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/southchi/BrownKHPH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-7071,
author = {Markus Gusenbauer and
Harald {\"{O}}zelt and
Johann Fischbacher and
Franz Reichel and
Lukas Exl and
Simon Bance and
Nadezhda Kataeva and
Claudia Binder and
Hubert Br{\"{u}}ckl and
Thomas Schrefl},
title = {Simulation of magnetic active polymers for versatile microfluidic
devices},
journal = {CoRR},
volume = {abs/1305.7071},
year = {2013},
url = {http://arxiv.org/abs/1305.7071},
eprinttype = {arXiv},
eprint = {1305.7071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-7071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/AltingerGMSWZ09,
author = {Harald Altinger and
Stefan J. Galler and
Stephan M{\"{u}}hlbacher{-}Karrer and
Gerald Steinbauer and
Franz Wotawa and
Hubert Zangl},
editor = {Jacky Baltes and
Michail G. Lagoudakis and
Tadashi Naruse and
Saeed Shiry Ghidary},
title = {Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous
Soccer Robots},
booktitle = {RoboCup 2009: Robot Soccer World Cup {XIII} [papers from the 13th
annual RoboCup International Symposium, Graz, Austria, June 29 - July
5, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5949},
pages = {11--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11876-0\_2},
doi = {10.1007/978-3-642-11876-0\_2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/AltingerGMSWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ai/Huber09,
author = {Franz Huber},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Ranking Functions},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {1351--1355},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10415},
timestamp = {Mon, 22 May 2023 11:26:05 +0200},
biburl = {https://dblp.org/rec/reference/ai/Huber09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/tenHompel2008,
author = {Michael ten Hompel and
Hubert B{\"{u}}chter and
Ulrich Franzke},
title = {Identifikationssysteme und Automatisierung},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-75881-5},
doi = {10.1007/978-3-540-75881-5},
isbn = {978-3-540-75880-8},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/tenHompel2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber08,
author = {Franz Huber},
title = {Assessing theories, Bayes style},
journal = {Synth.},
volume = {161},
number = {1},
pages = {89--118},
year = {2008},
url = {https://doi.org/10.1007/s11229-006-9141-x},
doi = {10.1007/S11229-006-9141-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Huber07,
author = {Franz Huber},
title = {The Logic of Theory Assessment},
journal = {J. Philos. Log.},
volume = {36},
number = {5},
pages = {511--538},
year = {2007},
url = {https://doi.org/10.1007/s10992-006-9044-9},
doi = {10.1007/S10992-006-9044-9},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Huber07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Huber07,
author = {Franz Huber},
title = {The Consistency Argument for Ranking Functions},
journal = {Stud Logica},
volume = {86},
number = {2},
pages = {299--329},
year = {2007},
url = {https://doi.org/10.1007/s11225-007-9062-9},
doi = {10.1007/S11225-007-9062-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Huber07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Huber06,
author = {Franz Huber},
title = {Ranking functions and rankings on languages},
journal = {Artif. Intell.},
volume = {170},
number = {4-5},
pages = {462--471},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2005.10.016},
doi = {10.1016/J.ARTINT.2005.10.016},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Huber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SchatzBHW05,
author = {Bernhard Sch{\"{a}}tz and
Peter Braun and
Franz Huber and
Alexander K. Wi{\ss}peintner},
title = {Checking and Transforming Models with AutoFOCUS},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {307--314},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.24},
doi = {10.1109/ECBS.2005.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SchatzBHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/BaierBFS03,
author = {Hubert Baier and
Martin Buss and
Franz Freyberger and
G{\"{u}}nther Schmidt},
title = {Interactive stereo vision telepresence for correct communication of
spatial geometry},
journal = {Adv. Robotics},
volume = {17},
number = {3},
pages = {219--233},
year = {2003},
url = {https://doi.org/10.1163/156855303764018477},
doi = {10.1163/156855303764018477},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ar/BaierBFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SchatzBHW03,
author = {Bernhard Sch{\"{a}}tz and
Peter Braun and
Franz Huber and
Alexander K. Wi{\ss}peintner},
title = {Consistency in Model-Based Development},
booktitle = {10th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2003), 7-10 April 2003, Huntsville, AL, {USA}},
pages = {287--296},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ECBS.2003.1194810},
doi = {10.1109/ECBS.2003.1194810},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SchatzBHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interfaces/BarabbaHCPSP02,
author = {Vince Barabba and
Chet Huber and
Fred Cooke and
Nick Pudar and
Jim Smith and
Mark Paich},
title = {Special Issue: Franz Edelman Award for Achievement in Operations Research
and the Management Sciences: {A} Multimethod Approach for Creating
New Business Models: The General Motors OnStar Project},
journal = {Interfaces},
volume = {32},
number = {1},
pages = {20--34},
year = {2002},
url = {https://doi.org/10.1287/inte.32.1.20.18},
doi = {10.1287/INTE.32.1.20.18},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/interfaces/BarabbaHCPSP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/BirkfellnerFHWWHHGHEB02,
author = {Wolfgang Birkfellner and
Michael Figl and
Klaus Huber and
Franz Watzinger and
Felix Wanschitz and
Johann Hummel and
Rudolf Hanel and
Wolfgang Greimel and
Peter Homolka and
Rolf Ewers and
Helmar Bergmann},
title = {A Head-Mounted Operating Binocular for Augmented Reality Visualization
in Medicine - Design and Initial Evaluation},
journal = {{IEEE} Trans. Medical Imaging},
volume = {21},
number = {8},
pages = {991--997},
year = {2002},
url = {https://doi.org/10.1109/TMI.2002.803099},
doi = {10.1109/TMI.2002.803099},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/BirkfellnerFHWWHHGHEB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaD/BlotzHLPSZ02,
author = {Andree Blotz and
Franz Huber and
Heiko L{\"{o}}tzbeyer and
Alexander Pretschner and
Oscar Slotosch and
Hans{-}Peter Z{\"{a}}ngerl},
editor = {J{\"{u}}rgen F. H. Winkler and
Peter Dencker and
Hubert B. Keller and
Michael Tonndorf},
title = {Model-Based Software Engineering and Ada: Synergy for the Development
of Safety-Critical Systems},
booktitle = {Ada Deutschland Tagung 2002: Software f{\"{u}}r sicherheitskritische
Systeme, 6. bis 8. M{\"{a}}rz 2002, Jena, Friedrich-Schiller-Universit{\"{a}}t},
pages = {37--52},
publisher = {Shaker Verlag},
year = {2002},
timestamp = {Fri, 31 May 2013 08:25:50 +0200},
biburl = {https://dblp.org/rec/conf/adaD/BlotzHLPSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/SchatzPHP02,
author = {Bernhard Sch{\"{a}}tz and
Alexander Pretschner and
Franz Huber and
Jan Philipps},
editor = {Jean{-}Michel Bruel and
Zohra Bellahsene},
title = {Model-Based Development of Embedded Systems},
booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops,
Montpellier, France, September 2, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2426},
pages = {298--312},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46105-1\_34},
doi = {10.1007/3-540-46105-1\_34},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/oois/SchatzPHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0201023,
author = {Andree Blotz and
Franz Huber and
Heiko L{\"{o}}tzbeyer and
Alexander Pretschner and
Oscar Slotosch and
Hans{-}Peter Z{\"{a}}ngerl},
title = {Model-Based Software Engineering and Ada: Synergy for the Development
of Safety-Critical Systems},
journal = {CoRR},
volume = {cs.SE/0201023},
year = {2002},
url = {https://arxiv.org/abs/cs/0201023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0201023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyBHKRS01,
author = {Manfred Broy and
Ruth Breu and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht
des Forschungslabors {SYSLAB} {(1.10.1994} - 30.9.1999)},
journal = {Inform. Forsch. Entwickl.},
volume = {16},
number = {1},
pages = {53--59},
year = {2001},
url = {https://doi.org/10.1007/PL00009142},
doi = {10.1007/PL00009142},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyBHKRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HofmannL01,
author = {Hubert F. Hofmann and
Franz Lehner},
title = {Requirements Engineering as a Success Factor in Software Projects},
journal = {{IEEE} Softw.},
volume = {18},
number = {4},
pages = {58--66},
year = {2001},
url = {https://doi.org/10.1109/MS.2001.936219},
doi = {10.1109/MS.2001.936219},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HofmannL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cars/BirkfellnerFHWWHHEB01,
author = {Wolfgang Birkfellner and
Michael Figl and
Klaus Huber and
Franz Watzinger and
Felix Wanschitz and
Rudolf Hanel and
Johann Hummel and
Rolf Ewers and
Helmar Bergmann},
editor = {Heinz U. Lemke and
Michael W. Vannier and
Kiyonari Inamura and
Allan G. Farman and
Kunio Doi},
title = {Calibration of a head-mounted operating microscope for augmented reality
visualization in {CAS}},
booktitle = {{CARS} 2001. Computer Assisted Radiology and Surgery. Proceedings
of the 15th International Congress and Exhibition, Berlin, Germany,
June 27-30, 2001},
series = {International Congress Series},
volume = {1230},
pages = {154--159},
publisher = {Elsevier},
year = {2001},
timestamp = {Fri, 14 Jan 2005 10:03:58 +0100},
biburl = {https://dblp.org/rec/conf/cars/BirkfellnerFHWWHHEB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/BirkfellnerFHHH01,
author = {Wolfgang Birkfellner and
Michael Figl and
Klaus Huber and
Johann Hummel and
Rudolf A. Hanel and
Peter Homolka and
Franz Watzinger and
Felix Wanschitz and
Rolf Ewers and
Helmar Bergmann},
editor = {Seong Ki Mun},
title = {Calibration of projection parameters in the varioscope AR, a head-mounted
display for augmented-reality visualization in image-guided therapy},
booktitle = {Medical Imaging 2001: Visualization, Display, and Image-Guided Procedures,
San Diego, CA, United States, 17-22 February 2001},
series = {{SPIE} Proceedings},
volume = {4319},
publisher = {{SPIE}},
year = {2001},
url = {https://doi.org/10.1117/12.428089},
doi = {10.1117/12.428089},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miigp/BirkfellnerFHHH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WisspeintnerHP00,
author = {Alexander K. Wi{\ss}peintner and
Franz Huber and
Jan Philipps},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Model Checking and Random Competition - {A} Study Using the Model
Checking Framework {MIC}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {91--100},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WisspeintnerHP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/BaierBFS00,
author = {Hubert Baier and
Martin Buss and
Franz Freyberger and
G{\"{u}}nther Schmidt},
title = {Benefits of combined active stereo vision and haptic telepresence},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2000, October 30 - Novemver 5, 2000, Takamatsu, Japan},
pages = {702--707},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/IROS.2000.894686},
doi = {10.1109/IROS.2000.894686},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/BaierBFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismar/BirkfellnerHWFWHREB00,
author = {Wolfgang Birkfellner and
Klaus Huber and
Franz Watzinger and
Franz Figl and
Felix Wanschitz and
Rudolf Hanel and
Dietmar Rafolt and
Rolf Ewers and
Helmar Bergmann},
title = {Development of the Varioscope {AR.} {A} see-through {HMD} for computer-aided
surgery},
booktitle = {Proceedings of the {IEEE} and {ACM} International Symposium on Augmented
Reality, {ISAR} 2000, October 5-6, 2000, Munich, Germany},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISAR.2000.880923},
doi = {10.1109/ISAR.2000.880923},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismar/BirkfellnerHWFWHREB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/BirkfellnerFHWWHWREB00,
author = {Wolfgang Birkfellner and
Michael Figl and
Klaus Huber and
Franz Watzinger and
Felix Wanschitz and
Rudolf Hanel and
Arne Wagner and
Dietmar Rafolt and
Rolf Ewers and
Helmar Bergmann},
editor = {Scott L. Delp and
Anthony M. DiGioia and
Branislav Jaramaz},
title = {The Varioscope {AR} - {A} Head-Monted Operating Microscope for Augmented
Reality},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2000, Third International Conference, Pittsburgh, Pennsylvania, USA,
October 11-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1935},
pages = {869--877},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-40899-4\_90},
doi = {10.1007/978-3-540-40899-4\_90},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/miccai/BirkfellnerFHWWHWREB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/BirkfellnerWWHFSHKKPEB00,
author = {Wolfgang Birkfellner and
Felix Wanschitz and
Franz Watzinger and
Klaus Huber and
Michael Figl and
Christian Schopper and
Rudolf Hanel and
Franz Kainberger and
Joachim Kettenbach and
Sanda Patruta and
Rolf Ewers and
Helmar Bergmann},
editor = {Scott L. Delp and
Anthony M. DiGioia and
Branislav Jaramaz},
title = {Accuracy of a Navigation System for Computer-Aided Oral Implantology},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2000, Third International Conference, Pittsburgh, Pennsylvania, USA,
October 11-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1935},
pages = {1061--1067},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-40899-4\_110},
doi = {10.1007/978-3-540-40899-4\_110},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/BirkfellnerWWHFSHKKPEB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyHS99,
author = {Manfred Broy and
Franz Huber and
Bernhard Sch{\"{a}}tz},
title = {AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme},
journal = {Inform. Forsch. Entwickl.},
volume = {14},
number = {3},
pages = {121--134},
year = {1999},
url = {https://doi.org/10.1007/s004500050132},
doi = {10.1007/S004500050132},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/HuberFB99,
author = {Susanne A. Huber and
Matthias O. Franz and
Heinrich H. B{\"{u}}lthoff},
title = {On robots and flies: Modeling the visual orientation behavior of flies},
journal = {Robotics Auton. Syst.},
volume = {29},
number = {4},
pages = {227--242},
year = {1999},
url = {https://doi.org/10.1016/S0921-8890(99)00055-X},
doi = {10.1016/S0921-8890(99)00055-X},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/HuberFB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchatzH99,
author = {Bernhard Sch{\"{a}}tz and
Franz Huber},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Integrating Formal Description Techniques},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1206--1225},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_14},
doi = {10.1007/3-540-48118-4\_14},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchatzH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/BirkfellnerSGHKKHDWB99,
author = {Wolfgang Birkfellner and
Peter Solar and
Andr{\'{e}} Gahleitner and
Klaus Huber and
Franz Kainberger and
Joachim Kettenbach and
Peter Homolka and
Markus Diemling and
Georg Watzek and
Helmar Bergmann},
editor = {Christopher J. Taylor and
Alan C. F. Colchester},
title = {Computer-Aided Implant Dentistry - An Early Report},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - MICCAI'99,
Second International Conference, Cambridge, UK, September 19-22, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1679},
pages = {883--891},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704282\_96},
doi = {10.1007/10704282\_96},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/miccai/BirkfellnerSGHKKHDWB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vr/BaierBFHKS99,
author = {Hubert Baier and
Martin Buss and
Franz Freyberger and
Jens Hoogen and
Peter Kammermeier and
G{\"{u}}nther Schmidt},
title = {Distributed PC-Based Haptic, Visual and Acoustic Telepresence System
- Experiments in Virtual and Remote Environments},
booktitle = {{IEEE} Virtual Reality 1999 Conference, VR'99, Houston, Texas, USA,
March 13-17, 1999, Proceedings},
pages = {118--125},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/VR.1999.756942},
doi = {10.1109/VR.1999.756942},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vr/BaierBFHKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BreuGHHKRSS98,
author = {Ruth Breu and
Radu Grosu and
Christoph Hofmann and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Monika Schmidt and
Wolfgang Schwerin},
title = {Exemplary and complete object interaction descriptions},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {7},
pages = {335--345},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(98)00021-X},
doi = {10.1016/S0920-5489(98)00021-X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/BreuGHHKRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HuberMSSV98,
author = {Franz Huber and
Sascha Molterer and
Bernhard Sch{\"{a}}tz and
Oscar Slotosch and
Alexander Vilbig},
title = {Traffic Lights - An AutoFocus Case Study},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {282--294},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657559},
doi = {10.1109/CSD.1998.657559},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HuberMSSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS98,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Specification Modules for Methodical System Development},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {75--86},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
biburl = {https://dblp.org/rec/conf/fbt/HuberS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/HuberMRSSS98,
author = {Franz Huber and
Sascha Molterer and
Andreas Rausch and
Bernhard Sch{\"{a}}tz and
Marc Sihling and
Oscar Slotosch},
title = {Tool Supported Specification and Simulation of Distributed Systems},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998},
pages = {155},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/PDSE.1998.668174},
doi = {10.1109/PDSE.1998.668174},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/HuberMRSSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HuberRR98,
author = {Franz Huber and
Andreas Rausch and
Bernhard Rumpe},
title = {Modeling Dynamic Component Interfaces},
booktitle = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented
Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
pages = {58--70},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.711003},
doi = {10.1109/TOOLS.1998.711003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/HuberRR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BreuGHRS97,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Towards a Precise Semantics for Object-Oriented Modeling Techniques},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {205--210},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_42},
doi = {10.1007/3-540-69687-3\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BreuGHRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Rapid Prototyping with AutoFocus},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {343--352},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HuberS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuberSE97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz and
Geralf Einert},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Consistent Graphical Specification of Distributed Systems},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {122--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_7},
doi = {10.1007/3-540-63533-5\_7},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/HuberSE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/BroyHPRS97,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Software and System Modeling Based on a Unified Formal Semantics},
booktitle = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {43--68},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/10692867\_2},
doi = {10.1007/10692867\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/rtse/BroyHPRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BreuGHRS97,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
editor = {Martin Schader and
Axel Korthaus},
title = {Systems, Views and Models of {UML}},
booktitle = {The Unified Modeling Language - Technical Aspects and Applications,
Workshop "Einsatz, Bewertung und Stand der Unified Modeling Language",
Mannheim, Germany, November 10-11, 1997},
pages = {93--108},
publisher = {Physica-Verlag, Heidelberg},
year = {1997},
timestamp = {Wed, 24 May 2017 13:56:05 +0200},
biburl = {https://dblp.org/rec/conf/uml/BreuGHRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HuberSSS96,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz and
Alexander Schmidt and
Katharina Spies},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {AutoFocus: {A} Tool for Distributed Systems Specification},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {467--470},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_58},
doi = {10.1007/3-540-61648-9\_58},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HuberSSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/FranzGHS94,
author = {Reinhard Franz and
Klaus D. Gradischnig and
Manfred N. Huber and
Rolf Stiefel},
title = {ATM-based signaling network topics on reliability and performance},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {12},
number = {3},
pages = {517--525},
year = {1994},
url = {https://doi.org/10.1109/49.285316},
doi = {10.1109/49.285316},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/FranzGHS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/LehnerHSM93,
author = {Franz Lehner and
Hubert F. Hofmann and
Ralf Setzer and
Ronald Maier},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Jir{\'{\i}} Lazansk{\'{y}} and
Roland R. Wagner},
title = {Maintenance of Knowledge Bases},
booktitle = {Database and Expert Systems Applications, 4th International Conference,
DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {720},
pages = {436--447},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57234-1\_42},
doi = {10.1007/3-540-57234-1\_42},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/LehnerHSM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lre/LehmannG91,
author = {Hubert Lehmann and
Franz Guenthner},
title = {Discourse analysis for a Legal Expert System},
journal = {Comput. Humanit.},
volume = {25},
number = {2-3},
pages = {81--92},
year = {1991},
url = {https://doi.org/10.1007/BF00124145},
doi = {10.1007/BF00124145},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lre/LehmannG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BemmerlHS88,
author = {Thomas Bemmerl and
Franz Huber and
Robert Stampfl},
title = {Features, design and implementation of high-level language debuggers},
journal = {Microprocess. Microsystems},
volume = {12},
number = {6},
pages = {331--340},
year = {1988},
url = {https://doi.org/10.1016/0141-9331(88)90190-1},
doi = {10.1016/0141-9331(88)90190-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BemmerlHS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/GuenthnerLS86,
author = {Franz Guenthner and
Hubert Lehmann and
Wolfgang Sch{\"{o}}nfeld},
title = {A Theory for the Representation of Knowledge},
journal = {{IBM} J. Res. Dev.},
volume = {30},
number = {1},
pages = {39--56},
year = {1986},
url = {https://doi.org/10.1147/rd.301.0039},
doi = {10.1147/RD.301.0039},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/GuenthnerLS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/GuenthnerL86,
author = {Franz Guenthner and
Hubert Lehmann},
title = {Verarbeitung nat{\"{u}}rlicher Sprache - ein {\"{U}}berblick},
journal = {Inform. Spektrum},
volume = {9},
number = {3},
pages = {162--173},
year = {1986},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/GuenthnerL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/GuenthnerL84,
author = {Franz Guenthner and
Hubert Lehmann},
editor = {Yorick Wilks},
title = {Automatic Construction Of Discourse Representation Structures},
booktitle = {10th International Conference on Computational Linguistics and 22nd
Annual Meeting of the Association for Computational Linguistics, Proceedings
of {COLING} '84, July 2-6, 1984, Stanford University, California,
{USA}},
pages = {398--401},
publisher = {{ACL}},
year = {1984},
url = {https://aclanthology.org/P84-1082/},
doi = {10.3115/980491.980573},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/GuenthnerL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/GuenthnerL83,
author = {Franz Guenthner and
Hubert Lehmann},
editor = {Antonio Zampolli and
Giacomo Ferrari},
title = {Rules for Pronominalization},
booktitle = {{EACL} 1983, 1st Conference of the European Chapter of the Association
for Computational Linguistics, September 1-2, 1983, Pisa, Italy},
pages = {144--151},
publisher = {The Association for Computer Linguistics},
year = {1983},
url = {https://aclanthology.org/E83-1025/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/GuenthnerL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gldv/GuenthnerL83,
author = {Franz Guenthner and
Hubert Lehmann},
editor = {Peter Hellwig and
Hubert Lehmann},
title = {Linguistische und logische Aspekte},
booktitle = {Trends in der linguistischen Datenverarbeitung, Beitr{\"{a}}ge
der Jahrestagung 1983 der Gesellschaft f{\"{u}}r Linguistische
Datenverabeitung {(GLDV)} e.V},
pages = {141--150},
publisher = {Georg Olms Verlag},
year = {1983},
timestamp = {Thu, 06 Mar 2003 10:32:08 +0100},
biburl = {https://dblp.org/rec/conf/gldv/GuenthnerL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-11 04:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
