| Publication | Date of Publication | Type |
|---|
| Prenex universal first-order safety properties | 2024-06-07 | Paper |
| Checking in polynomial time whether or not a regular tree language is deterministic top-down | 2024-03-26 | Paper |
| Functionality of compositions of top-down tree transducers is decidable | 2024-01-18 | Paper |
| Clustered relational thread-modular abstract interpretation with local traces | 2023-11-24 | Paper |
| On the Balancedness of Tree-to-Word Transducers | 2023-08-15 | Paper |
| Definability Results for Top-Down Tree Transducers | 2023-08-15 | Paper |
| How to decide functionality of compositions of top-down tree transducers | 2023-07-26 | Paper |
| Deciding origin equivalence of weakly self-nesting macro tree transducers | 2023-01-30 | Paper |
| When is a functional tree transduction deterministic? | 2022-11-02 | Paper |
| Equivalence of Linear Tree Transducers with Output in the Free Group | 2022-10-13 | Paper |
| On the Balancedness of Tree-to-Word Transducers | 2022-10-13 | Paper |
| Deciding equivalence of finite tree automata | 2022-08-16 | Paper |
| Three improvements to the top-down solver | 2022-06-24 | Paper |
| Improving thread-modular abstract interpretation | 2022-06-17 | Paper |
| Definability results for top-down tree transducers | 2022-03-25 | Paper |
| An even faster solver for general systems of equations | 2022-02-16 | Paper |
| Counterexample- and simulation-guided floating-point loop invariant synthesis | 2021-10-18 | Paper |
| Stratified guarded first-order transition systems | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3304147 | 2020-08-05 | Paper |
| Incremental Abstract Interpretation | 2020-07-20 | Paper |
| Deciding equivalence of separated non-nested attribute systems in polynomial time | 2020-01-28 | Paper |
| Least solutions of equations over N | 2019-04-29 | Paper |
| Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable | 2018-12-06 | Paper |
| Paths, tree homomorphisms and disequalities for -clauses | 2018-10-25 | Paper |
| Enforcing termination of interprocedural analysis | 2018-10-04 | Paper |
| Enforcing termination of interprocedural analysis | 2018-08-27 | Paper |
| Balancedness of MSO transductions in polynomial time | 2018-03-16 | Paper |
| Flat and one-variable clauses | 2017-07-12 | Paper |
| Inter-procedural Two-Variable Herbrand Equalities | 2017-05-16 | Paper |
| Reachability for Dynamic Parametric Processes | 2017-02-21 | Paper |
| Inter-procedural Two-Variable Herbrand Equalities | 2016-04-26 | Paper |
| Enhancing Top-Down Solving with Widening and Narrowing | 2016-03-23 | Paper |
| Look-ahead removal for total deterministic top-down tree transducers | 2016-01-21 | Paper |
| Precise interprocedural analysis through linear algebra | 2015-11-11 | Paper |
| On optimal slicing of parallel programs | 2015-02-27 | Paper |
| Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs | 2015-01-13 | Paper |
| How to Remove the Look-Ahead of Top-Down Tree Transducers | 2014-10-14 | Paper |
| Numerical invariants through convex relaxation and max-strategy iteration | 2014-06-30 | Paper |
| Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol | 2014-04-10 | Paper |
| Interprocedural Information Flow Analysis of XML Processors | 2014-03-31 | Paper |
| Cryptographic analysis in cubic time | 2013-07-24 | Paper |
| Extending \(H_1\)-clauses with disequalities | 2013-04-04 | Paper |
| Type Checking of Tree Walking Transducers | 2013-02-26 | Paper |
| Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses | 2012-09-20 | Paper |
| Earliest normal form and minimization for bottom-up tree transducers | 2012-08-29 | Paper |
| Abstract interpretation meets convex optimization | 2012-07-13 | Paper |
| Extending ${\cal H}_1$ -Clauses with Path Disequalities | 2012-06-22 | Paper |
| Model Checking Information Flow in Reactive Systems | 2012-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3092707 | 2011-09-20 | Paper |
| Compiler Design | 2011-06-23 | Paper |
| Normalization of Linear Horn Clauses | 2011-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086934 | 2011-03-30 | Paper |
| Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation | 2011-02-15 | Paper |
| Compiler design. Syntactic and semantic analysis | 2011-02-14 | Paper |
| Bottom-Up Tree Automata with Term Constraints | 2010-10-12 | Paper |
| Verifying a local generic solver in Coq | 2010-10-01 | Paper |
| Computing relaxed abstract semantics w.r.t. quadratic zones precisely | 2010-10-01 | Paper |
| Compiler design. Virtual machines. | 2010-09-28 | Paper |
| What is a pure functional? | 2010-09-07 | Paper |
| Minimization of deterministic bottom-up tree transducers | 2010-08-31 | Paper |
| Compiler design. Vol. 3: Analysis and transformation. | 2010-01-21 | Paper |
| Shape analysis of low-level C with overlapping structures | 2010-01-14 | Paper |
| Polynomial Precise Interval Analysis Revisited | 2009-11-12 | Paper |
| Region Analysis for Race Detection | 2009-08-18 | Paper |
| Computing polynomial program invariants | 2009-07-21 | Paper |
| Macro forest transducers | 2009-07-09 | Paper |
| Games through Nested Fixpoints | 2009-06-30 | Paper |
| Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case | 2009-06-30 | Paper |
| Deciding equivalence of top-down XML transformations in polynomial time | 2009-06-08 | Paper |
| Übersetzerbau | 2009-06-03 | Paper |
| Precise Relational Invariants Through Strategy Iteration | 2009-03-05 | Paper |
| Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ | 2008-08-28 | Paper |
| Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations | 2008-08-28 | Paper |
| Computing Game Values for Crash Games | 2008-07-03 | Paper |
| Upper Adjoints for Fast Inter-procedural Variable Equalities | 2008-04-11 | Paper |
| Interprocedurally Analyzing Polynomial Identities | 2008-03-19 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses | 2007-09-24 | Paper |
| Interprocedurally Analysing Linear Inequality Relations | 2007-09-04 | Paper |
| Precise Fixpoint Computation Through Strategy Iteration | 2007-09-04 | Paper |
| Übersetzerbau | 2007-07-16 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| Infinite-state high-level MSCs: model-checking and realizability | 2006-06-30 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654726 | 2005-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4828479 | 2004-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4826114 | 2004-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737197 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738360 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411947 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411948 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771057 | 2002-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778878 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763677 | 2002-01-21 | Paper |
| Transforming XML Documents using fxt | 2002-01-01 | Paper |
| Constraint-based inter-procedural analysis of parallel programs | 2001-10-21 | Paper |
| Interprocedural analyses: a comparison | 2000-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518888 | 2000-12-03 | Paper |
| A faster solver for general systems of equations | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945246 | 2000-09-20 | Paper |
| On Distributive Fixed-Point Expressions | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230923 | 1999-08-17 | Paper |
| The Fork95 programming language: Design, implementation, application. | 1997-08-07 | Paper |
| Fast and simple nested fixpoints | 1997-02-27 | Paper |
| Haskell overloading is DEXPTIME-complete | 1996-04-16 | Paper |
| Tree automata for code selection | 1995-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273672 | 1994-01-13 | Paper |
| Finite tree automata with cost functions | 1994-01-01 | Paper |
| Single-valuedness of tree transducers is decidable in polynomial time | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027634 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974881 | 1992-06-26 | Paper |
| On the degree of ambiguity of finite automata | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3979266 | 1992-06-26 | Paper |
| On finitely generated monoids of matrices with entries in $\mathbb {N}$ | 1991-01-01 | Paper |
| Deciding Equivalence of Finite Tree Automata | 1990-01-01 | Paper |
| On the finite degree of ambiguity of finite tree automata | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789091 | 1988-01-01 | Paper |
| Parameter-reduction of higher level grammars | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727438 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692892 | 1985-01-01 | Paper |
