• 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 63 matches

• 2024
• 
  Peter Kießling, Florian Funke, Sven Hofmann:
  Entwicklung und Evaluation einer KI-Assistenz zur didaktisch-pädagogischen Unterstützung des Lernprozesses mit Programmieraufgaben. DeLFI 2024
• 
  Lukas Berner, Johannes Erwerle, Stefan Funke, Claudius Proissl, Florian Rieg, Sabine Storandt:
  Improved Lightweight Rendering of Road Networks based on Contraction Hierarchies. PacificVis 2024: 202-211
• 2023
• 
  Luca A. Lanzendörfer, Florian Grötschla, Emil Funke, Roger Wattenhofer:
  DISCO-10M: A Large-Scale Music Dataset. NeurIPS 2023
• 
  Luca A. Lanzendörfer, Florian Grötschla, Emil Funke, Roger Wattenhofer:
  DISCO-10M: A Large-Scale Music Dataset. CoRR abs/2306.13512 (2023)
• 2022
• 
  Thoralf Reis, Tim Funke, Sebastian Bruchhaus, Florian Freund, Marco X. Bornschlegl, Matthias L. Hemmje:
  Supporting Meteorologists in Data Analysis through Knowledge-Based Recommendations. Big Data Cogn. Comput. 6(4): 103 (2022)
• 
  Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier:
  Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18(3): 347-367 (2022)
• 
  Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
  Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 27-45
• 
  Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
  Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR 2022: 10:1-10:16
• 
  Florian Barth, Stefan Funke, Claudius Proissl:
  An Upper Bound on the Number of Extreme Shortest Paths in Arbitrary Dimensions. ESA 2022: 14:1-14:12
• 
  Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
  On probability-raising causality in Markov decision processes. FoSSaCS 2022: 40-60
• 
  Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
  On probability-raising causality in Markov decision processes. CoRR abs/2201.08768 (2022)
• 2021
• 
  Christel Baier, Florian Funke, Rupak Majumdar:
  Responsibility Attribution in Parameterized Markovian Models. AAAI 2021: 11734-11743
• 
  Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
  Probabilistic Causes in Markov Chains. ATVA 2021: 205-221
• 
  Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
  Causality-Based Game Solving. CAV (1) 2021: 894-917
• 
  Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
  The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR 2021: 28:1-28:17
• 
  Florian Funke, Sven Hofmann, Peter Kießling:
  Digitale Bildung in verschiedenen Phasen der Aus- und Weiterbildung von Lehrkräften. DELFI 2021: 325-330
• 
  Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
  From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20
• 
  Christel Baier, Florian Funke, Rupak Majumdar:
  A Game-Theoretic Account of Responsibility Allocation. IJCAI 2021: 1773-1779
• 
  Florian Barth, Stefan Funke, Claudius Proissl:
  Preference-Based Trajectory Clustering - An Application of Geometric Hitting Sets. ISAAC 2021: 15:1-15:14
• 
  Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer:
  Responsibility and verification: Importance value in temporal logics. LICS 2021: 1-14
• 
  Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer:
  Responsibility and verification: Importance value in temporal logics. CoRR abs/2102.06655 (2021)
• 
  Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
  The Orbit Problem for Parametric Linear Dynamical Systems. CoRR abs/2104.10634 (2021)
• 
  Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
  Probabilistic causes in Markov chains. CoRR abs/2104.13604 (2021)
• 
  Christel Baier, Florian Funke, Rupak Majumdar:
  A Game-Theoretic Account of Responsibility Allocation. CoRR abs/2105.09129 (2021)
• 
  Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
  From Verification to Causality-based Explications. CoRR abs/2105.09533 (2021)
• 
  Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
  Causality-Based Game Solving. CoRR abs/2105.14247 (2021)
• 2020
• 
  Simon Jantsch, Florian Funke, Christel Baier:
  Minimal Witnesses for Probabilistic Timed Automata. ATVA 2020: 501-517
• 
  Florian Funke, Sven Hofmann:
  Digitalisierung von Analyse- und Auswertungsstrukturen im Kontext schulischer Wettbewerbsszenarien. DeLFI 2020: 307-312
• 
  Simon Jantsch, Hans Harder, Florian Funke, Christel Baier:
  Switss: Computing Small Witnessing Subsystems. FMCAD 2020: 236-244
• 
  Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland:
  Reachability in Dynamical Systems with Rounding. FSTTCS 2020: 36:1-36:17

skipping 33 more matches