• 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.

found 44 matches

• 2023
• 
  Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman:
  Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. 7: 2881-2885 (2023)
• 
  Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder:
  COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE 2023: 234-247
• 
  Daniel Hausmann, Mathieu Lehaut, Nir Piterman:
  Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR abs/2305.02793 (2023)
• 
  Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder:
  COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR abs/2305.11015 (2023)
• 
  Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck:
  Fair $ω$-Regular Games. CoRR abs/2310.13612 (2023)
• 
  Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger:
  Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR abs/2311.01315 (2023)
• 2022
• 
  Daniel Hausmann, Nir Piterman:
  A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design 2022: 228-251
• 
  Marco Schweitzer, Bernhard Steger, Alexander Hörbst, Marco Augustin, Bernhard Pfeifer, Ulrich Hausmann, Daniel Baumgarten:
  Data Exchange Standards in Teleophthalmology: Current and Future Developments. dHealth 2022: 270-277
• 
  Daniel Hausmann, Nir Piterman:
  A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR abs/2207.00517 (2022)
• 
  Daniel Hausmann, Lutz Schröder:
  Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. CoRR abs/2212.11055 (2022)
• 2021
• 
  Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder:
  Nominal Büchi Automata with Name Allocation. CONCUR 2021: 4:1-4:16
• 
  Daniel Hausmann, Stefan Milius, Lutz Schröder:
  A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS 2021: 58:1-58:18
• 
  Daniel Hausmann, Lutz Schröder:
  Quasipolynomial Computation of Nested Fixpoints. TACAS (1) 2021: 38-56
• 
  Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder:
  Nominal Büchi Automata with Name Allocation. CoRR abs/2107.03213 (2021)
• 2020
• 
  Daniel Hausmann, Lutz Schröder:
  NP Reasoning in the Monotone μ-Calculus. IJCAR (1) 2020: 482-499
• 
  Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner:
  Cheap CTL Compassion in NuSMV. VMCAI 2020: 248-269
• 
  Daniel Hausmann, Lutz Schröder:
  NP Reasoning in the Monotone $μ$-Calculus. CoRR abs/2002.05075 (2020)
• 
  Daniel Hausmann, Stefan Milius, Lutz Schröder:
  Harnessing LTL With Freeze Quantification. CoRR abs/2010.10912 (2020)
• 2019
• 
  Daniel Hausmann, Lutz Schröder:
  Game-Based Local Model Checking for the Coalgebraic mu-Calculus. CONCUR 2019: 35:1-35:16
• 
  Daniel Hausmann, Lutz Schröder:
  Optimal Satisfiability Checking for Arithmetic \mu -Calculi. FoSSaCS 2019: 277-294
• 
  Daniel Hausmann, Lutz Schröder:
  Optimal Satisfiability Checking for Arithmetic μ-Calculi. CoRR abs/1901.04893 (2019)
• 
  Daniel Hausmann, Lutz Schröder:
  Computing Nested Fixpoints in Quasipolynomial Time. CoRR abs/1907.07020 (2019)
• 2018
• 
  Daniel Hausmann:
  Satisfiability Checking for the Coalgebraic µ-Calculus. University of Erlangen-Nuremberg, Germany, 2018
• 
  Franziska Bocklisch, Daniel Hausmann:
  Multidimensional fuzzy pattern classifier sequences for medical diagnostic reasoning. Appl. Soft Comput. 66: 297-310 (2018)
• 
  Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel:
  Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) 2018: 361-378
• 2017
• 
  Johannes Budjan, Philipp Riffel, Melissa M. Ong, Stefan O. Schönberg, Ulrike I. Attenberger, Daniel Hausmann:
  Rapid Cartesian versus radial acquisition: comparison of two sequences for hepatobiliary phase MRI at 3 tesla in patients with impaired breath-hold capabilities. BMC Medical Imaging 17(1): 32:1-32:8 (2017)
• 
  Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel:
  Permutation Games for the Weakly Aconjunctive mu-Calculus. CoRR abs/1710.08996 (2017)
• 2016
• 
  Daniel Hausmann, Cristina Zulian, Edouard Battegay, Lukas Zimmerli:
  Tracing the decision-making process of physicians with a Decision Process Matrix. BMC Medical Informatics Decis. Mak. 16: 133 (2016)
• 
  Daniel Hausmann, Lutz Schröder, Christoph Egger:
  Global Caching for the Alternation-free μ-Calculus. CONCUR 2016: 34:1-34:15
• 
  Daniel Hausmann, Lutz Schröder, Christoph Egger:
  Global Caching for the Alternation-free μ-Calculus. CoRR abs/1609.06379 (2016)

skipping 14 more matches