![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 39 matches
- 2024
- Jan Baumeister
, Bernd Finkbeiner
, Florian Kohn
, Florian Löhr, Guido Manfredi, Sebastian Schirmer
, Christoph Torens
:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) 2024: 207-218 - Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR abs/2404.12035 (2024) - 2023
- Bernd Finkbeiner
, Jana Hofmann
, Florian Kohn
, Noemi Passing
:
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) 2023: 248-269 - Bernd Finkbeiner
, Florian Kohn
, Malte Schledjewski
:
Leveraging Static Analysis: An IDE for RTLola. ATVA 2023: 251-262 - Florian Finkeldei, Matthias Althoff:
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. ITSC 2023: 1285-1291 - Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. CoRR abs/2311.08096 (2023) - 2022
- Bernd Finkbeiner
, Martin Fränzle
, Florian Kohn
, Paul Kröger:
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15(4): 126 (2022) - Thomas M. Howard
, Ethan Stump
, Jonathan Fink
, Jacob Arkin
, Rohan Paul
, Daehyung Park
, Subhro Roy, Daniel Barber
, Rhyse Bendell, Karl Schmeckpeper
, Junjiao Tian, Jean Oh
, Maggie B. Wigness
, Long Quang, Brandon Rothrock
, Jeremy Nash
, Matthew R. Walter
, Florian Jentsch
, Nicholas Roy
:
An Intelligence Architecture for Grounded Language Communication with Field Robots. Field Robotics 2(1): 468-512 (2022) - Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. CoRR abs/2205.06039 (2022) - Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) - 2021
- Christel Baier
, Norine Coenen
, Bernd Finkbeiner
, Florian Funke
, Simon Jantsch
, Julian Siber
:
Causality-Based Game Solving. CAV (1) 2021: 894-917 - Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021) - 2020
- Esther Rheinbay, Morten Muhlig Nielsen, Federico Abascal, Jeremiah Wala, Ofer Shapira, Grace Tiao, Henrik Hornshøj, Julian M. Hess, Randi Istrup Juul, Ziao Lin, Lars Feuerbach, Radhakrishnan Sabarinathan, Tobias Madsen, Jaegil Kim, Loris Mularoni, Shimin Shuai, Andrés Lanzós, Carl Herrmann
, Yosef E. Maruvka, Ciyue Shen, Samirkumar B. Amin
, Pratiti Bandopadhayay, Johanna Bertl
, Keith A. Boroevich
, John Busanovich, Joana Carlevaro-Fita, Dimple Chakravarty, Calvin Wing Yiu Chan, David Craft, Priyanka Dhingra, Klev Diamanti
, Nuno A. Fonseca
, Abel Gonzalez-Perez
, Qianyun Guo, Mark P. Hamilton, Nicholas J. Haradhvala, Chen Hong, Keren Isaev, Todd A. Johnson, Malene Juul, André Kahles, Abdullah Kahraman, Youngwook Kim, Jan Komorowski, Kiran Kumar, Sushant Kumar, Donghoon Lee
, Kjong-Van Lehmann, Yilong Li, Eric Minwei Liu, Lucas Lochovsky, Keunchil Park, Oriol Pich, Nicola D. Roberts, Gordon Saksena, Steven E. Schumacher, Nikos Sidiropoulos, Lina Sieverling, Nasa Sinnott-Armstrong, Chip Stewart, David Tamborero, Jose M. C. Tubio, Husen M. Umer, Liis Uusküla-Reimand, Claes Wadelius, Lina Wadi, Xiaotong Yao, Cheng-Zhong Zhang, Jing Zhang, James E. Haber, Asger Hobolth, Marcin Imielinski, Manolis Kellis, Michael S. Lawrence, Christian von Mering, Hidewaki Nakagawa, Benjamin J. Raphael, Mark A. Rubin
, Chris Sander, Lincoln D. Stein, Joshua M. Stuart, Tatsuhiko Tsunoda, David A. Wheeler, Rory Johnson, Jüri Reimand
, Mark Gerstein, Ekta Khurana, Peter J. Campbell, Núria López-Bigas, Gary D. Bader, Jonathan Barenboim, Rameen Beroukhim, Søren Brunak, Ken Chen, Jung Kyoon Choi, Jordi Deu-Pons, J. Lynn Fink
, Joan Frigola, Carlo Gambacorti Passerini, Dale W. Garsed, Gad Getz, Ivo Glynne Gut, David Haan, Arif Ozgun Harmanci, Mohamed Helmy, Ermin Hodzic, José M. G. Izarzugaza, Jong K. Kim, Jan O. Korbel, Erik Larsson, Shantao Li, Xiaotong Li, Shaoke Lou, Kathleen Marchal
, Iñigo Martincorena, Alexander Martínez-Fundichely, Patrick D. McGillivray, William Meyerson, Ferran Muiños, Marta Paczkowska, Kiejung Park, Jakob Skou Pedersen
, Tirso Pons
, Sergio Pulido-Tamayo, Iker Reyes-Salazar, Matthew A. Reyna, Carlota Rubio-Perez, Süleyman Cenk Sahinalp, Leonidas Salichos, Mark Shackleton, Raunak Shrestha, Alfonso Valencia, Miguel Vazquez, Lieven P. C. Verbeke, Jiayin Wang, Jonathan Warrell, Sebastian M. Waszak
, Joachim Weischenfeldt, Guanming Wu, Jun Yu, Xuanping Zhang, Yan Zhang, Zhongming Zhao, Lihua Zou, Kadir C. Akdemir, Eva G. Alvarez, Adrian Baez-Ortega, Paul C. Boutros, David D. L. Bowtell, Benedikt Brors, Kathleen H. Burns, Kin Chan, Isidro Cortés-Ciriano
, Ana Dueso-Barroso, Andrew J. Dunford, Paul A. Edwards, Xavier Estivill, Dariush Etemadmoghadam, Milana Frenkel-Morgenstern
, Dmitry A. Gordenin, Barbara Hutter, David T. W. Jones, Young Seok Ju, Marat D. Kazanov
, Leszek J. Klimczak, Youngil Koh, Eunjung Alice Lee, Jake June-Koo Lee, Andy G. Lynch
, Geoff MacIntyre, Florian Markowetz, Matthew Meyerson, Satoru Miyano, Fabio C. P. Navarro, Stephan Ossowski, Peter J. Park, John V. Pearson, Montserrat Puiggròs, Karsten Rippe, Steven A. Roberts, Bernardo Rodriguez-Martin, Ralph Scully, David Torrents, Izar Villasante, Nicola Waddell, Jeremiah A. Wala, Lixing Yang, Sung-Soo Yoon, Jorge Zamora:
Analyses of non-coding somatic drivers in 2,658 cancer whole genomes. Nat. 578(7793): 102-111 (2020) - Adriana L. Ruiz-Rizzo
, Florian Beissner, Kathrin Finke
, Hermann J. Müller, Claus Zimmer, Lorenzo Pasquini
, Christian Sorg:
Human subsystems of medial temporal lobes extend locally to amygdala nuclei and globally to an allostatic-interoceptive system. NeuroImage 207 (2020) - Georg Rehm, Peter Bourgonje, Stefanie Hegele, Florian Kintzel, Julián Moreno Schneider, Malte Ostendorff, Karolina Zaczynska, Armin Berger, Stefan Grill, Sören Räuchle, Jens Rauenbusch, Lisa Rutenburg, André Schmidt, Mikka Wild, Henry Hoffmann, Julian Fink, Sarah Schulz, Jurica Seva, Joachim Quantz, Joachim Böttger, Josefine Matthey, Rolf Fricke, Jan Thomsen, Adrian Paschke, Jamal Al Qundus, Thomas Hoppe, Naouel Karam, Frauke Weichhardt, Christian Fillies, Clemens Neudecker, Mike Gerber, Kai Labusch, Vahid Rezanezhad, Robin Schaefer, David Zellhöfer, Daniel Siewert, Patrick Bunk, Lydia Pintscher, Elena Aleynikova, Franziska Heine:
QURATOR: Innovative Technologies for Content and Data Curation. Qurator 2020 - Georg Rehm, Peter Bourgonje, Stefanie Hegele, Florian Kintzel, Julián Moreno Schneider, Malte Ostendorff, Karolina Zaczynska, Armin Berger, Stefan Grill, Sören Räuchle, Jens Rauenbusch, Lisa Rutenburg, André Schmidt, Mikka Wild, Henry Hoffmann, Julian Fink, Sarah Schulz, Jurica Seva, Joachim Quantz, Joachim Böttger, Josefine Matthey, Rolf Fricke, Jan Thomsen, Adrian Paschke, Jamal Al Qundus, Thomas Hoppe, Naouel Karam, Frauke Weichhardt, Christian Fillies, Clemens Neudecker
, Mike Gerber, Kai Labusch, Vahid Rezanezhad, Robin Schaefer, David Zellhöfer, Daniel Siewert, Patrick Bunk, Lydia Pintscher, Elena Aleynikova, Franziska Heine:
QURATOR: Innovative Technologies for Content and Data Curation. CoRR abs/2004.12195 (2020) - 2019
- Tobias Englmeier, Florian Fink, Klaus U. Schulz:
A-I-PoCoTo: Combining Automated and Interactive OCR Postcorrection. DATeCH 2019: 19-24 - 2018
- Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. CoRR abs/1804.04487 (2018) - 2017
- Florian Fink, Klaus U. Schulz, Uwe Springmann:
Profiling of OCR'ed Historical Texts Revisited. DATeCH 2017: 61-66 - Florian-Michael Adolf
, Peter Faymonville
, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. RV 2017: 33-49 - Florian Fink, Klaus U. Schulz, Uwe Springmann:
Profiling of OCR'ed Historical Texts Revisited. CoRR abs/1701.05377 (2017) - 2016
- Axel Plinge, Florian Jacob, Reinhold Haeb-Umbach
, Gernot A. Fink:
Acoustic Microphone Geometry Calibration: An overview and experimental evaluation of state-of-the-art algorithms. IEEE Signal Process. Mag. 33(4): 14-29 (2016) - Uwe Springmann, Florian Fink, Klaus U. Schulz:
Automatic quality evaluation and (semi-) automatic improvement of mixed models for OCR on historical documents. CoRR abs/1606.05157 (2016) - 2015
- Maximilian Hadersbeck, Alois Pichler, Florian Fink, Daniel Bruder, Ina Arends, Johannes Baiter:
Wittgensteins Nachlass: Erkenntnisse und Weiterentwicklung der FinderApp WiTTFind. DHd 2015 - Florian Fittkau, Santje Finke, Wilhelm Hasselbring, Jan Waller:
Comparing trace visualizations for program comprehension through controlled experiments. ICPC 2015: 266-276 - 2014
- Florian Vaussard, Julia Fink, Valerie Bauwens, Philippe Rétornaz, David Hamel, Pierre Dillenbourg, Francesco Mondada
:
Lessons learned from robotic vacuum cleaners entering the home ecosystem. Robotics Auton. Syst. 62(3): 376-391 (2014) - Florian Fink, Christoph Ringlstetter, Klaus U. Schulz:
Automated assignment of topics to OCRed historical texts. DATeCH 2014: 23-28 - Max Hadersbeck, Alois Pichler, Florian Fink, Øyvind Liland Gjesdal:
Wittgenstein's Nachlass: WiTTFind and Wittgenstein advanced search tools (WAST). DATeCH 2014: 91-96 - Uwe Springmann, Dietmar Najock, Hermann Morgenroth, Helmut Schmid, Annette Gotscharek, Florian Fink:
OCR of historical printings of Latin texts: problems, prospects, progress. DATeCH 2014: 71-75 - Maximilian Hadersbeck, Florian Fink, Alois Pichler, Øyvind Liland Gjesdal:
Wittgensteins Nachlass: Computerlinguistik und Philosophie: Der Finder wiTTFind und die Wittgenstein Advanced Search Tools (WAST). DHd 2014
skipping 9 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.dagstuhl.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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-27 22:31 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