![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Florian Fink"
@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} }
@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 = {Mon, 13 Jun 2022 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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.