default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Florian Fink"
download as .bib file
@article{DBLP:journals/sttt/JacobsPABCCDDDFFKKLMMPR24,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {5},
pages = {551--567},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00754-1},
doi = {10.1007/S10009-024-00754-1},
timestamp = {Tue, 15 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JacobsPABCCDDDFFKKLMMPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaumeisterFKLMST24,
author = {Jan Baumeister and
Bernd Finkbeiner and
Florian Kohn and
Florian L{\"{o}}hr and
Guido Manfredi and
Sebastian Schirmer and
Christoph Torens},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14682},
pages = {207--218},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65630-9\_10},
doi = {10.1007/978-3-031-65630-9\_10},
timestamp = {Fri, 02 Aug 2024 12:00:01 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaumeisterFKLMST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BaumeisterFKS24,
author = {Jan Baumeister and
Bernd Finkbeiner and
Florian Kohn and
Frederik Scheerer},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {A Tutorial on Stream-Based Monitoring},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14934},
pages = {624--648},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71177-0\_33},
doi = {10.1007/978-3-031-71177-0\_33},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/fm/BaumeisterFKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FinkbeinerFKK24,
author = {Bernd Finkbeiner and
Martin Fr{\"{a}}nzle and
Florian Kohn and
Paul Kr{\"{o}}ger},
editor = {Erika {\'{A}}brah{\'{a}}m and
Houssam Abbas},
title = {Stream-Based Monitoring Under Measurement Noise},
booktitle = {Runtime Verification - 24th International Conference, {RV} 2024, Istanbul,
Turkey, October 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15191},
pages = {22--39},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-74234-7\_2},
doi = {10.1007/978-3-031-74234-7\_2},
timestamp = {Thu, 31 Oct 2024 08:57:25 +0100},
biburl = {https://dblp.org/rec/conf/rv/FinkbeinerFKK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-12035,
author = {Jan Baumeister and
Bernd Finkbeiner and
Florian Kohn and
Florian L{\"{o}}hr and
Guido Manfredi and
Sebastian Schirmer and
Christoph Torens},
title = {Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned},
journal = {CoRR},
volume = {abs/2404.12035},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.12035},
doi = {10.48550/ARXIV.2404.12035},
eprinttype = {arXiv},
eprint = {2404.12035},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-12035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerHKP23,
author = {Bernd Finkbeiner and
Jana Hofmann and
Florian Kohn and
Noemi Passing},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Reactive Synthesis of Smart Contract Control Flows},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {248--269},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_12},
doi = {10.1007/978-3-031-45329-8\_12},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerHKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerKS23,
author = {Bernd Finkbeiner and
Florian Kohn and
Malte Schledjewski},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Leveraging Static Analysis: An {IDE} for RTLola},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {251--262},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_13},
doi = {10.1007/978-3-031-45332-8\_13},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/FinkeldeiA23,
author = {Florian Finkeldei and
Matthias Althoff},
title = {Synthesizing Traffic Scenarios from Formal Specifications Using Reachability
Analysis},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1285--1291},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422092},
doi = {10.1109/ITSC57777.2023.10422092},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/FinkeldeiA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-08096,
author = {Bernd Finkbeiner and
Florian Kohn and
Malte Schledjewski},
title = {Leveraging Static Analysis: An {IDE} for RTLola},
journal = {CoRR},
volume = {abs/2311.08096},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.08096},
doi = {10.48550/ARXIV.2311.08096},
eprinttype = {arXiv},
eprint = {2311.08096},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/FinkbeinerFKK22,
author = {Bernd Finkbeiner and
Martin Fr{\"{a}}nzle and
Florian Kohn and
Paul Kr{\"{o}}ger},
title = {A Truly Robust Signal Temporal Logic: Monitoring Safety Properties
of Interacting Cyber-Physical Systems under Uncertain Observation},
journal = {Algorithms},
volume = {15},
number = {4},
pages = {126},
year = {2022},
url = {https://doi.org/10.3390/a15040126},
doi = {10.3390/A15040126},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/FinkbeinerFKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fr/HowardSFAPPRBBSTOWQRNWJR22,
author = {Thomas M. Howard and
Ethan Stump and
Jonathan Fink and
Jacob Arkin and
Rohan Paul and
Daehyung Park and
Subhro Roy and
Daniel Barber and
Rhyse Bendell and
Karl Schmeckpeper and
Junjiao Tian and
Jean Oh and
Maggie B. Wigness and
Long Quang and
Brandon Rothrock and
Jeremy Nash and
Matthew R. Walter and
Florian Jentsch and
Nicholas Roy},
title = {An Intelligence Architecture for Grounded Language Communication with
Field Robots},
journal = {Field Robotics},
volume = {2},
number = {1},
pages = {468--512},
year = {2022},
url = {https://doi.org/10.55417/fr.2022017},
doi = {10.55417/FR.2022017},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fr/HowardSFAPPRBBSTOWQRNWJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06039,
author = {Bernd Finkbeiner and
Jana Hofmann and
Florian Kohn and
Noemi Passing},
title = {Reactive Synthesis of Smart Contract Control Flows},
journal = {CoRR},
volume = {abs/2205.06039},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06039},
doi = {10.48550/ARXIV.2205.06039},
eprinttype = {arXiv},
eprint = {2205.06039},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00251},
doi = {10.48550/ARXIV.2206.00251},
eprinttype = {arXiv},
eprint = {2206.00251},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaierCFFJS21,
author = {Christel Baier and
Norine Coenen and
Bernd Finkbeiner and
Florian Funke and
Simon Jantsch and
Julian Siber},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Causality-Based Game Solving},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {894--917},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_42},
doi = {10.1007/978-3-030-81685-8\_42},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaierCFFJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14247,
author = {Christel Baier and
Norine Coenen and
Bernd Finkbeiner and
Florian Funke and
Simon Jantsch and
Julian Siber},
title = {Causality-Based Game Solving},
journal = {CoRR},
volume = {abs/2105.14247},
year = {2021},
url = {https://arxiv.org/abs/2105.14247},
eprinttype = {arXiv},
eprint = {2105.14247},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/RheinbayNAWSTHH20,
author = {Esther Rheinbay and
Morten Muhlig Nielsen and
Federico Abascal and
Jeremiah Wala and
Ofer Shapira and
Grace Tiao and
Henrik Hornsh{\o}j and
Julian M. Hess and
Randi Istrup Juul and
Ziao Lin and
Lars Feuerbach and
Radhakrishnan Sabarinathan and
Tobias Madsen and
Jaegil Kim and
Loris Mularoni and
Shimin Shuai and
Andr{\'{e}}s Lanz{\'{o}}s and
Carl Herrmann and
Yosef E. Maruvka and
Ciyue Shen and
Samirkumar B. Amin and
Pratiti Bandopadhayay and
Johanna Bertl and
Keith A. Boroevich and
John Busanovich and
Joana Carlevaro{-}Fita and
Dimple Chakravarty and
Calvin Wing Yiu Chan and
David Craft and
Priyanka Dhingra and
Klev Diamanti and
Nuno A. Fonseca and
Abel Gonzalez{-}Perez and
Qianyun Guo and
Mark P. Hamilton and
Nicholas J. Haradhvala and
Chen Hong and
Keren Isaev and
Todd A. Johnson and
Malene Juul and
Andr{\'{e}} Kahles and
Abdullah Kahraman and
Youngwook Kim and
Jan Komorowski and
Kiran Kumar and
Sushant Kumar and
Donghoon Lee and
Kjong{-}Van Lehmann and
Yilong Li and
Eric Minwei Liu and
Lucas Lochovsky and
Keunchil Park and
Oriol Pich and
Nicola D. Roberts and
Gordon Saksena and
Steven E. Schumacher and
Nikos Sidiropoulos and
Lina Sieverling and
Nasa Sinnott{-}Armstrong and
Chip Stewart and
David Tamborero and
Jose M. C. Tubio and
Husen M. Umer and
Liis Uusk{\"{u}}la{-}Reimand and
Claes Wadelius and
Lina Wadi and
Xiaotong Yao and
Cheng{-}Zhong Zhang and
Jing Zhang and
James E. Haber and
Asger Hobolth and
Marcin Imielinski and
Manolis Kellis and
Michael S. Lawrence and
Christian von Mering and
Hidewaki Nakagawa and
Benjamin J. Raphael and
Mark A. Rubin and
Chris Sander and
Lincoln D. Stein and
Joshua M. Stuart and
Tatsuhiko Tsunoda and
David A. Wheeler and
Rory Johnson and
J{\"{u}}ri Reimand and
Mark Gerstein and
Ekta Khurana and
Peter J. Campbell and
N{\'{u}}ria L{\'{o}}pez{-}Bigas and
Gary D. Bader and
Jonathan Barenboim and
Rameen Beroukhim and
S{\o}ren Brunak and
Ken Chen and
Jung Kyoon Choi and
Jordi Deu{-}Pons and
J. Lynn Fink and
Joan Frigola and
Carlo Gambacorti Passerini and
Dale W. Garsed and
Gad Getz and
Ivo Glynne Gut and
David Haan and
Arif Ozgun Harmanci and
Mohamed Helmy and
Ermin Hodzic and
Jos{\'{e}} M. G. Izarzugaza and
Jong K. Kim and
Jan O. Korbel and
Erik Larsson and
Shantao Li and
Xiaotong Li and
Shaoke Lou and
Kathleen Marchal and
I{\~{n}}igo Martincorena and
Alexander Mart{\'{\i}}nez{-}Fundichely and
Patrick D. McGillivray and
William Meyerson and
Ferran Mui{\~{n}}os and
Marta Paczkowska and
Kiejung Park and
Jakob Skou Pedersen and
Tirso Pons and
Sergio Pulido{-}Tamayo and
Iker Reyes{-}Salazar and
Matthew A. Reyna and
Carlota Rubio{-}Perez and
S{\"{u}}leyman Cenk Sahinalp and
Leonidas Salichos and
Mark Shackleton and
Raunak Shrestha and
Alfonso Valencia and
Miguel Vazquez and
Lieven P. C. Verbeke and
Jiayin Wang and
Jonathan Warrell and
Sebastian M. Waszak and
Joachim Weischenfeldt and
Guanming Wu and
Jun Yu and
Xuanping Zhang and
Yan Zhang and
Zhongming Zhao and
Lihua Zou and
Kadir C. Akdemir and
Eva G. Alvarez and
Adrian Baez{-}Ortega and
Paul C. Boutros and
David D. L. Bowtell and
Benedikt Brors and
Kathleen H. Burns and
Kin Chan and
Isidro Cort{\'{e}}s{-}Ciriano and
Ana Dueso{-}Barroso and
Andrew J. Dunford and
Paul A. Edwards and
Xavier Estivill and
Dariush Etemadmoghadam and
Milana Frenkel{-}Morgenstern and
Dmitry A. Gordenin and
Barbara Hutter and
David T. W. Jones and
Young Seok Ju and
Marat D. Kazanov and
Leszek J. Klimczak and
Youngil Koh and
Eunjung Alice Lee and
Jake June{-}Koo Lee and
Andy G. Lynch and
Geoff MacIntyre and
Florian Markowetz and
Matthew Meyerson and
Satoru Miyano and
Fabio C. P. Navarro and
Stephan Ossowski and
Peter J. Park and
John V. Pearson and
Montserrat Puiggr{\`{o}}s and
Karsten Rippe and
Steven A. Roberts and
Bernardo Rodriguez{-}Martin and
Ralph Scully and
David Torrents and
Izar Villasante and
Nicola Waddell and
Jeremiah A. Wala and
Lixing Yang and
Sung{-}Soo Yoon and
Jorge Zamora},
title = {Analyses of non-coding somatic drivers in 2,658 cancer whole genomes},
journal = {Nat.},
volume = {578},
number = {7793},
pages = {102--111},
year = {2020},
url = {https://doi.org/10.1038/s41586-020-1965-x},
doi = {10.1038/S41586-020-1965-X},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/RheinbayNAWSTHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Ruiz-RizzoBFMZP20,
author = {Adriana L. Ruiz{-}Rizzo and
Florian Beissner and
Kathrin Finke and
Hermann J. M{\"{u}}ller and
Claus Zimmer and
Lorenzo Pasquini and
Christian Sorg},
title = {Human subsystems of medial temporal lobes extend locally to amygdala
nuclei and globally to an allostatic-interoceptive system},
journal = {NeuroImage},
volume = {207},
year = {2020},
url = {https://doi.org/10.1016/j.neuroimage.2019.116404},
doi = {10.1016/J.NEUROIMAGE.2019.116404},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/Ruiz-RizzoBFMZP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qurator/RehmBHKSOZBGRRR20,
author = {Georg Rehm and
Peter Bourgonje and
Stefanie Hegele and
Florian Kintzel and
Juli{\'{a}}n Moreno Schneider and
Malte Ostendorff and
Karolina Zaczynska and
Armin Berger and
Stefan Grill and
S{\"{o}}ren R{\"{a}}uchle and
Jens Rauenbusch and
Lisa Rutenburg and
Andr{\'{e}} Schmidt and
Mikka Wild and
Henry Hoffmann and
Julian Fink and
Sarah Schulz and
Jurica Seva and
Joachim Quantz and
Joachim B{\"{o}}ttger and
Josefine Matthey and
Rolf Fricke and
Jan Thomsen and
Adrian Paschke and
Jamal Al Qundus and
Thomas Hoppe and
Naouel Karam and
Frauke Weichhardt and
Christian Fillies and
Clemens Neudecker and
Mike Gerber and
Kai Labusch and
Vahid Rezanezhad and
Robin Schaefer and
David Zellh{\"{o}}fer and
Daniel Siewert and
Patrick Bunk and
Lydia Pintscher and
Elena Aleynikova and
Franziska Heine},
editor = {Adrian Paschke and
Clemens Neudecker and
Georg Rehm and
Jamal Al Qundus and
Lydia Pintscher},
title = {{QURATOR:} Innovative Technologies for Content and Data Curation},
booktitle = {Proceedings of the Conference on Digital Curation Technologies (Qurator
2020), Berlin, Germany, January 20th - 21st, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2535},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2535/paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/qurator/RehmBHKSOZBGRRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12195,
author = {Georg Rehm and
Peter Bourgonje and
Stefanie Hegele and
Florian Kintzel and
Juli{\'{a}}n Moreno Schneider and
Malte Ostendorff and
Karolina Zaczynska and
Armin Berger and
Stefan Grill and
S{\"{o}}ren R{\"{a}}uchle and
Jens Rauenbusch and
Lisa Rutenburg and
Andr{\'{e}} Schmidt and
Mikka Wild and
Henry Hoffmann and
Julian Fink and
Sarah Schulz and
Jurica Seva and
Joachim Quantz and
Joachim B{\"{o}}ttger and
Josefine Matthey and
Rolf Fricke and
Jan Thomsen and
Adrian Paschke and
Jamal Al Qundus and
Thomas Hoppe and
Naouel Karam and
Frauke Weichhardt and
Christian Fillies and
Clemens Neudecker and
Mike Gerber and
Kai Labusch and
Vahid Rezanezhad and
Robin Schaefer and
David Zellh{\"{o}}fer and
Daniel Siewert and
Patrick Bunk and
Lydia Pintscher and
Elena Aleynikova and
Franziska Heine},
title = {{QURATOR:} Innovative Technologies for Content and Data Curation},
journal = {CoRR},
volume = {abs/2004.12195},
year = {2020},
url = {https://arxiv.org/abs/2004.12195},
eprinttype = {arXiv},
eprint = {2004.12195},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datech/EnglmeierFS19,
author = {Tobias Englmeier and
Florian Fink and
Klaus U. Schulz},
title = {A-I-PoCoTo: Combining Automated and Interactive {OCR} Postcorrection},
booktitle = {Proceedings of the 3rd International Conference on Digital Access
to Textual Cultural Heritage, DATeCH 2019, Brussels, Belgium, May
08-10, 2019},
pages = {19--24},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3322905.3322908},
doi = {10.1145/3322905.3322908},
timestamp = {Wed, 30 Oct 2019 13:24:37 +0100},
biburl = {https://dblp.org/rec/conf/datech/EnglmeierFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04487,
author = {Florian{-}Michael Adolf and
Peter Faymonville and
Bernd Finkbeiner and
Sebastian Schirmer and
Christoph Torens},
title = {Stream Runtime Monitoring on {UAS}},
journal = {CoRR},
volume = {abs/1804.04487},
year = {2018},
url = {http://arxiv.org/abs/1804.04487},
eprinttype = {arXiv},
eprint = {1804.04487},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datech/FinkSS17,
author = {Florian Fink and
Klaus U. Schulz and
Uwe Springmann},
editor = {Apostolos Antonacopoulos and
Marco B{\"{u}}chler},
title = {Profiling of OCR'ed Historical Texts Revisited},
booktitle = {Proceedings of the 2nd International Conference on Digital Access
to Textual Cultural Heritage, DATeCH 2017, G{\"{o}}ttingen, Germany,
June 1-2, 2017},
pages = {61--66},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3078081.3078096},
doi = {10.1145/3078081.3078096},
timestamp = {Thu, 25 Apr 2024 15:20:35 +0200},
biburl = {https://dblp.org/rec/conf/datech/FinkSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AdolfFFST17,
author = {Florian{-}Michael Adolf and
Peter Faymonville and
Bernd Finkbeiner and
Sebastian Schirmer and
Christoph Torens},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Stream Runtime Monitoring on {UAS}},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {33--49},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_3},
doi = {10.1007/978-3-319-67531-2\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AdolfFFST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkSS17,
author = {Florian Fink and
Klaus U. Schulz and
Uwe Springmann},
title = {Profiling of OCR'ed Historical Texts Revisited},
journal = {CoRR},
volume = {abs/1701.05377},
year = {2017},
url = {http://arxiv.org/abs/1701.05377},
eprinttype = {arXiv},
eprint = {1701.05377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spm/PlingeJHF16,
author = {Axel Plinge and
Florian Jacob and
Reinhold Haeb{-}Umbach and
Gernot A. Fink},
title = {Acoustic Microphone Geometry Calibration: An overview and experimental
evaluation of state-of-the-art algorithms},
journal = {{IEEE} Signal Process. Mag.},
volume = {33},
number = {4},
pages = {14--29},
year = {2016},
url = {https://doi.org/10.1109/MSP.2016.2555198},
doi = {10.1109/MSP.2016.2555198},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spm/PlingeJHF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SpringmannFS16,
author = {Uwe Springmann and
Florian Fink and
Klaus U. Schulz},
title = {Automatic quality evaluation and (semi-) automatic improvement of
mixed models for {OCR} on historical documents},
journal = {CoRR},
volume = {abs/1606.05157},
year = {2016},
url = {http://arxiv.org/abs/1606.05157},
eprinttype = {arXiv},
eprint = {1606.05157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SpringmannFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dhd/HadersbeckPFBAB15,
author = {Maximilian Hadersbeck and
Alois Pichler and
Florian Fink and
Daniel Bruder and
Ina Arends and
Johannes Baiter},
editor = {Johannes Stigler and
Patrick Helling},
title = {Wittgensteins Nachlass: Erkenntnisse und Weiterentwicklung der FinderApp
WiTTFind},
booktitle = {2. Tagung des Verbands Digital Humanities im deutschsprachigen Raum,
DHd 2015, Graz, Austria, Februar 23 - 27, 2015},
year = {2015},
url = {https://doi.org/10.5281/zenodo.4623333},
doi = {10.5281/ZENODO.4623333},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dhd/HadersbeckPFBAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/FittkauFHW15,
author = {Florian Fittkau and
Santje Finke and
Wilhelm Hasselbring and
Jan Waller},
editor = {Andrea De Lucia and
Christian Bird and
Rocco Oliveto},
title = {Comparing trace visualizations for program comprehension through controlled
experiments},
booktitle = {Proceedings of the 2015 {IEEE} 23rd International Conference on Program
Comprehension, {ICPC} 2015, Florence/Firenze, Italy, May 16-24, 2015},
pages = {266--276},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICPC.2015.37},
doi = {10.1109/ICPC.2015.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/FittkauFHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/VaussardFBRHDM14,
author = {Florian Vaussard and
Julia Fink and
Valerie Bauwens and
Philippe R{\'{e}}tornaz and
David Hamel and
Pierre Dillenbourg and
Francesco Mondada},
title = {Lessons learned from robotic vacuum cleaners entering the home ecosystem},
journal = {Robotics Auton. Syst.},
volume = {62},
number = {3},
pages = {376--391},
year = {2014},
url = {https://doi.org/10.1016/j.robot.2013.09.014},
doi = {10.1016/J.ROBOT.2013.09.014},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/VaussardFBRHDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datech/FinkRS14,
author = {Florian Fink and
Christoph Ringlstetter and
Klaus U. Schulz},
editor = {Apostolos Antonacopoulos and
Klaus U. Schulz},
title = {Automated assignment of topics to OCRed historical texts},
booktitle = {Digital Access to Textual Cultural Heritage 2014, DATeCH 2014, Madrid,
Spain, May 19-20, 2014},
pages = {23--28},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2595188.2595206},
doi = {10.1145/2595188.2595206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datech/FinkRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datech/HadersbeckPFG14,
author = {Max Hadersbeck and
Alois Pichler and
Florian Fink and
{\O}yvind Liland Gjesdal},
editor = {Apostolos Antonacopoulos and
Klaus U. Schulz},
title = {Wittgenstein's Nachlass: WiTTFind and Wittgenstein advanced search
tools {(WAST)}},
booktitle = {Digital Access to Textual Cultural Heritage 2014, DATeCH 2014, Madrid,
Spain, May 19-20, 2014},
pages = {91--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2595188.2595202},
doi = {10.1145/2595188.2595202},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datech/HadersbeckPFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datech/SpringmannNMSGF14,
author = {Uwe Springmann and
Dietmar Najock and
Hermann Morgenroth and
Helmut Schmid and
Annette Gotscharek and
Florian Fink},
editor = {Apostolos Antonacopoulos and
Klaus U. Schulz},
title = {{OCR} of historical printings of Latin texts: problems, prospects,
progress},
booktitle = {Digital Access to Textual Cultural Heritage 2014, DATeCH 2014, Madrid,
Spain, May 19-20, 2014},
pages = {71--75},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2595188.2595205},
doi = {10.1145/2595188.2595205},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datech/SpringmannNMSGF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dhd/HadersbeckFPG14,
author = {Maximilian Hadersbeck and
Florian Fink and
Alois Pichler and
{\O}yvind Liland Gjesdal},
editor = {Malte Rehbein and
Patrick Helling},
title = {Wittgensteins Nachlass: Computerlinguistik und Philosophie: Der Finder
wiTTFind und die Wittgenstein Advanced Search Tools {(WAST)}},
booktitle = {1. Tagung des Verbands Digital Humanities im deutschsprachigen Raum,
DHd 2014, Passau, Germany, March 25 - 28, 2014},
year = {2014},
url = {https://doi.org/10.5281/zenodo.4623513},
doi = {10.5281/ZENODO.4623513},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dhd/HadersbeckFPG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/FinkLDRVBMWF14,
author = {Julia Fink and
S{\'{e}}verin Lemaignan and
Pierre Dillenbourg and
Philippe R{\'{e}}tornaz and
Florian Vaussard and
Alain Berthoud and
Francesco Mondada and
Florian Wille and
Karmen Franinovic},
editor = {Gerhard Sagerer and
Michita Imai and
Tony Belpaeme and
Andrea Lockerd Thomaz},
title = {Which robot behavior can motivate children to tidy up their toys?:
design and evaluation of "ranger"},
booktitle = {{ACM/IEEE} International Conference on Human-Robot Interaction, HRI'14,
Bielefeld, Germany, March 3-6, 2014},
pages = {439--446},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2559636.2559659},
doi = {10.1145/2559636.2559659},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hri/FinkLDRVBMWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-7/WeinertFMLMFBC14,
author = {Nils Weinert and
Rafael Fink and
Christian Mose and
Friedrich Lupp and
Florian M{\"{u}}ller and
Jan Fischer and
Ingo Bernsdorf and
Alessandro Cannata},
editor = {Bernard Grabot and
Bruno Vallespir and
Samuel Gomes and
Abdelaziz Bouras and
Dimitris Kiritsis},
title = {Comprehensive Improvement of Industrial Energy Efficiency: Pilot Case
in a European Rolling Stock Factory},
booktitle = {Advances in Production Management Systems. Innovative and Knowledge-Based
Production Management in a Global-Local World - {IFIP} {WG} 5.7 International
Conference, {APMS} 2014, Ajaccio, France, September 20-24, 2014, Proceedings,
Part {II}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {439},
pages = {334--341},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44736-9\_41},
doi = {10.1007/978-3-662-44736-9\_41},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-7/WeinertFMLMFBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmar/StraussbergerSHBFMKR13,
author = {Florian Straussberger and
Manuel Schwab and
Michael Huber and
Christian Baumann and
Markus Fink and
Andreas Michaels and
Matthias Kasch and
Johannes Reuter},
title = {A model reference adaptive control strategy for a self-balancing chair},
booktitle = {18th International Conference on Methods {\&} Models in Automation
{\&} Robotics, {MMAR} 2013, Mi{\k{e}}dzyzdroje, Poland, August
26-29, 2013},
pages = {554--559},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MMAR.2013.6669971},
doi = {10.1109/MMAR.2013.6669971},
timestamp = {Wed, 11 Aug 2021 11:51:25 +0200},
biburl = {https://dblp.org/rec/conf/mmar/StraussbergerSHBFMKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcc/FinkHWMG11,
author = {Florian Fink and
Jochen Hochrein and
Vincent Wolowski and
Rainer Merkl and
Wolfram Gronwald},
title = {{PROCOS:} Computational analysis of protein-protein complexes},
journal = {J. Comput. Chem.},
volume = {32},
number = {12},
pages = {2575--2586},
year = {2011},
url = {https://doi.org/10.1002/jcc.21837},
doi = {10.1002/JCC.21837},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcc/FinkHWMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/StockertAKFMMM11,
author = {Josefine Stockert and
Till Adhikary and
Kerstin Kaddatz and
Florian Finkernagel and
Wolfgang Meissner and
Sabine M{\"{u}}ller{-}Br{\"{u}}sselbach and
Rolf M{\"{u}}ller},
title = {Reverse crosstalk of TGF{\(\beta\)} and PPAR{\(\beta\)}/{\(\delta\)}
signaling identified by transcriptional profiling},
journal = {Nucleic Acids Res.},
volume = {39},
number = {1},
pages = {119--131},
year = {2011},
url = {https://doi.org/10.1093/nar/gkq773},
doi = {10.1093/NAR/GKQ773},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/StockertAKFMMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/SchmalenstroeerJHHF11,
author = {Joerg Schmalenstroeer and
Florian Jacob and
Reinhold Haeb{-}Umbach and
Marius H. Hennecke and
Gernot A. Fink},
title = {Unsupervised Geometry Calibration of Acoustic Sensor Networks Using
Source Correspondences},
booktitle = {12th Annual Conference of the International Speech Communication Association,
{INTERSPEECH} 2011, Florence, Italy, August 27-31, 2011},
pages = {597--600},
publisher = {{ISCA}},
year = {2011},
url = {https://doi.org/10.21437/Interspeech.2011-240},
doi = {10.21437/INTERSPEECH.2011-240},
timestamp = {Tue, 11 Jun 2024 16:45:43 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/SchmalenstroeerJHHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WindischbergerLHSSMGFMK10,
author = {Christian Windischberger and
Rupert Lanzenberger and
Alexander Holik and
Christoph Spindelegger and
Patrycja Stein and
Ulrike Moser and
Florian Gerstl and
Martin Fink and
Ewald Moser and
Siegfried Kasper},
title = {Area-specific modulation of neural activation comparing escitalopram
and citalopram revealed by pharmaco-fMRI: {A} randomized cross-over
study},
journal = {NeuroImage},
volume = {49},
number = {2},
pages = {1161--1170},
year = {2010},
url = {https://doi.org/10.1016/j.neuroimage.2009.10.013},
doi = {10.1016/J.NEUROIMAGE.2009.10.013},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/WindischbergerLHSSMGFMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/FinkEG09,
author = {Florian Fink and
Stephan Ederer and
Wolfram Gronwald},
title = {Protein-Protein Interaction Analysis by Docking},
journal = {Algorithms},
volume = {2},
number = {1},
pages = {429--436},
year = {2009},
url = {https://doi.org/10.3390/a2010429},
doi = {10.3390/A2010429},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/FinkEG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FioreJBSF05,
author = {Stephen M. Fiore and
Florian Jentsch and
Irma Becerra{-}Fernandez and
Eduardo Salas and
Neal Finkelstein},
title = {Integrating Field Data with Laboratory Training Research to Improve
the Understanding of Expert Human-Agent Teamwork},
booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.327},
doi = {10.1109/HICSS.2005.327},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FioreJBSF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-06 00:59 CET 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:
