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

• 2024
• 
  Yannick Forster, Dominik Kirst, Niklas Mück:
  The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. CSL 2024: 29:1-29:20
• 
  Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli:
  Separating Markov's Principles. LICS 2024: 28:1-28:14
• 
  Leon Eisemann, Mirjam Fehling-Kaschek, Silke Forkert, Andreas Forster, Henrik Gommel, Susanne Guenther, Stephan Hammer, David Hermann, Marvin Klemp, Benjamin Lickert, Florian Lüttner, Robin Moss, Nicole Neis, Maria Pohle, Dominik Schreiber, Cathrina Sowa, Daniel Stadler, Janina Stompe, Michael Strobelt, David Unger, Jens R. Ziehn:
  A Joint Approach Towards Data-Driven Virtual Testing for Automated Driving: The AVEAS Project. CoRR abs/2405.06286 (2024)
• 2023
• 
  Yannick Forster, Dominik Kirst, Niklas Mück:
  Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. APLAS 2023: 155-181
• 
  Yannick Forster, Dominik Kirst, Niklas Mück:
  Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. CoRR abs/2307.15543 (2023)
• 2022
• 
  Joschua Schulte-Tigges, Marco Förster, Gjorgji Nikolovski, Michael Reke, Alexander Ferrein, Daniel Kaszner, Dominik Matheis, Thomas Walter:
  Benchmarking of Various LiDAR Sensors for Use in Self-Driving Vehicles in Real-World Environments. Sensors 22(19): 7146 (2022)
• 2021
• 
  Yannick Forster, Dominik Kirst, Dominik Wehr:
  Completeness theorems for first-order logic analysed in constructive type theory. J. Log. Comput. 31(1): 112-151 (2021)
• 2020
• 
  Yannick Forster, Dominik Kirst, Dominik Wehr:
  Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory. LFCS 2020: 47-74
• 
  Yannick Forster, Dominik Kirst, Dominik Wehr:
  Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version). CoRR abs/2006.04399 (2020)
• 2019
• 
  Yannick Forster, Dominik Kirst, Gert Smolka:
  On synthetic undecidability in coq, with an application to the entscheidungsproblem. CPP 2019: 38-51
• 
  Matthias Hille, Matthias Lederer, Dominik Forster:
  Revitalizing established Industrial Companies: State of the Art and Success Principles of Digital Corporate Incubators. Wirtschaftsinformatik 2019: 1784-1788
• 
  Claas Flint, Katharina Förster, Sophie A. Koser, Carsten Konrad, Pienie Zwitserlood, Klaus Berger, Marco Hermesdorf, Tilo Kircher, Igor Nenadic, Axel Krug, Bernhard T. Baune, Katharina Dohm, Ronny Redlich, Nils Opel, Tim Hahn, Xiaoyi Jiang, Udo Dannlowski, Dominik Grotegerd:
  Biological sex classification with structural MRI data shows increased misclassification in transgender women. CoRR abs/1911.10617 (2019)
• 2016
• 
  Jan Förster, Winfred Kuipers, Christian Koch, Christian Lenz, Steffen Ziesche, Dominik Jurkow:
  Miniaturised Flame Ionisation Detector for Explosion Protection in Civil Sewerage Networks. S-CUBE 2016: 163-174
• 
  Johannes M. Schleicher, Michael Vögler, Christian Inzinger, Sara Fritz, Manuel Ziegler, Thomas Kaufmann, Dominik Bothe, Julia Forster, Schahram Dustdar:
  A Holistic, Interdisciplinary Decision Support System for Sustainable Smart City Design. Smart-CT 2016: 1-10
• 2014
• 
  Michael Theodor, Dominic Ruh, Martin Ocker, Dominik Spether, Katharina Förster, Claudia Heilmann, Friedhelm Beyersdorf, Yiannos Manoli, Hans Zappe, Andreas Seifert:
  Implantable Impedance Plethysmography. Sensors 14(8): 14858-14872 (2014)