| Publication | Date of Publication | Type |
|---|
| Pebble-intervals automata and \(\text{FO}^2\) with two orders | 2020-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227061 | 2019-08-05 | Paper |
| Introduction to Model Checking | 2018-07-20 | Paper |
| On the Automated Verification of Web Applications with Embedded SQL | 2018-07-18 | Paper |
| Parameterized model checking of rendezvous systems | 2018-06-01 | Paper |
| Extending ALCQIO with Trees | 2018-04-23 | Paper |
| Local linearizability for concurrent container-type data structures | 2018-03-21 | Paper |
| On compiling Boolean circuits optimized for secure multi-party computation | 2018-02-14 | Paper |
| Complexity and resource bound analysis of imperative programs using difference constraints | 2017-08-15 | Paper |
| Monadic Second Order Finite Satisfiability and Unbounded Tree-Width | 2017-07-19 | Paper |
| Datalog LITE | 2017-06-13 | Paper |
| Empirical software metrics for benchmarking of verification tools | 2017-05-15 | Paper |
| On the Structure and Complexity of Rational Sets of Regular Languages | 2017-02-21 | Paper |
| Languages represented by Boolean formulas | 2016-06-01 | Paper |
| Counterexample-guided abstraction refinement for symbolic model checking | 2015-11-12 | Paper |
| Closure properties and complexity of rational sets of regular languages | 2015-10-30 | Paper |
| On the distributivity of LTL specifications | 2015-09-17 | Paper |
| A Logic-Based Framework for Verifying Consensus Algorithms | 2015-01-13 | Paper |
| On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | 2014-10-14 | Paper |
| Parameterized Model Checking of Rendezvous Systems | 2014-09-15 | Paper |
| Information Reuse for Multi-goal Reachability Analyses | 2013-08-05 | Paper |
| An Introduction to Test Specification in FQL | 2011-04-06 | Paper |
| Second order logic and the weak exponential hierarchies | 2010-06-17 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Encoding Treewidth into SAT | 2009-07-07 | Paper |
| An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries | 2009-02-10 | Paper |
| Query-Driven Program Testing | 2009-02-10 | Paper |
| On the Notion of Vacuous Truth | 2008-05-15 | Paper |
| Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems | 2008-04-11 | Paper |
| State/Event Software Verification for Branching-Time Specifications | 2007-11-29 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| The first order definability of graphs: Upper bounds for quantifier depth | 2007-01-09 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| An Iterative Framework for Simulation Conformance | 2005-10-18 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427894 | 2003-09-14 | Paper |
| Complexity of t-tautologies | 2003-03-06 | Paper |
| On the complexity of data disjunctions. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787240 | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754081 | 2001-11-11 | Paper |
| Linear time Datalog and branching time logic | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721191 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501677 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944902 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955352 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263811 | 2000-03-29 | Paper |
| Interpolation in fuzzy logic | 2000-01-04 | Paper |
| Succinctness as a source of complexity in logical formalisms | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4258578 | 1999-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218100 | 1999-03-02 | Paper |
| Succinct representation, leaf languages, and projection reductions | 1998-11-10 | Paper |
