| Publication | Date of Publication | Type |
|---|
| Subhedge projection for stepwise hedge automata | 2024-05-29 | Paper |
| Linear programs with conjunctive queries | 2024-04-25 | Paper |
| Linear programs with conjunctive queries | 2024-04-23 | Paper |
| Linear Programs with Conjunctive Database Queries | 2024-03-11 | Paper |
| Core SBML and its formal semantics | 2024-02-28 | Paper |
| Earliest query answering for deterministic stepwise hedge automata | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191006 | 2024-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6142035 | 2024-01-23 | Paper |
| Abstract simulation of reaction networks via Boolean networks | 2023-01-18 | Paper |
| Equational and membership constraints for infinite trees | 2022-12-09 | Paper |
| Feature automata and recognizable sets of feature trees | 2022-11-02 | Paper |
| Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata | 2022-10-19 | Paper |
| A confluent relational calculus for higher-order programming with constraints | 2022-08-16 | Paper |
| Regular matching and inclusion on compressed tree patterns with constrained context variables | 2022-06-13 | Paper |
| Computing difference abstractions of linear equation systems | 2021-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995369 | 2021-06-24 | Paper |
| Regular matching and inclusion on compressed tree patterns with context variables | 2019-12-04 | Paper |
| Computing difference abstractions of metabolic networks under kinetic constraints | 2019-10-10 | Paper |
| On equality up-to constraints over finite trees, context unification, and one-step rewriting | 2019-10-01 | Paper |
| Logics for unordered trees with data constraints | 2019-06-25 | Paper |
| Certain query answering on compressed string patterns: from streams to hyperstreams | 2018-10-23 | Paper |
| Normalizing chemical reaction networks by confluent structural simplification | 2018-03-22 | Paper |
| Equivalence of symbolic tree transducers | 2017-10-13 | Paper |
| Automata for unordered trees | 2017-03-16 | Paper |
| Sublinear DTD Validity | 2016-04-08 | Paper |
| Logics for Unordered Trees with Data Constraints on Siblings | 2016-04-08 | Paper |
| Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams | 2016-03-10 | Paper |
| Attractor Equivalence: An Observational Semantics for Reaction Networks | 2015-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5501243 | 2015-08-03 | Paper |
| Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures | 2015-07-10 | Paper |
| Early nested word automata for XPath query answering on XML streams | 2015-05-18 | Paper |
| Observational program calculi and the correctness of translations | 2015-04-01 | Paper |
| The first-order theory of subtyping constraints | 2015-03-17 | Paper |
| Knockout Prediction for Reaction Networks with Partial Kinetic Information | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5405274 | 2014-04-01 | Paper |
| Learning Sequential Tree-to-Word Transducers | 2014-03-31 | Paper |
| Approximate membership for regular languages modulo the edit distance | 2013-12-11 | Paper |
| Early Nested Word Automata for XPath Query Answering on XML Streams | 2013-08-07 | Paper |
| Learning Rational Functions | 2012-11-02 | Paper |
| Streamable Fragments of Forward XPath | 2011-07-29 | Paper |
| Queries on XML streams with bounded delay and concurrency | 2011-07-27 | Paper |
| Normalization of Sequential Top-Down Tree-to-Word Transducers | 2011-06-03 | Paper |
| Biochemical Reaction Rules with Constraints | 2011-05-19 | Paper |
| The Attributed Pi-Calculus with Priorities | 2011-01-18 | Paper |
| Streaming tree automata | 2010-06-09 | Paper |
| Dominance constraints in stratified context unification | 2010-01-29 | Paper |
| Efficient inclusion checking for deterministic tree automata and XML schemas | 2009-11-27 | Paper |
| Earliest Query Answering for Deterministic Nested Word Automata | 2009-10-20 | Paper |
| Equivalence of Deterministic Nested Word to Word Transducers | 2009-10-20 | Paper |
| Rewriting Techniques and Applications | 2009-04-30 | Paper |
| Bounded Delay and Concurrency for Earliest Query Answering | 2009-04-02 | Paper |
| Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples | 2008-11-27 | Paper |
| Efficient Inclusion Checking for Deterministic Tree Automata and DTDs | 2008-11-20 | Paper |
| Schema-Guided Induction of Monadic Queries | 2008-10-16 | Paper |
| Logics and Automata for Totally Ordered Trees | 2008-08-28 | Paper |
| A Stochastic Pi Calculus for Concurrent Objects | 2007-11-29 | Paper |
| On the minimization of XML schemas and tree automata for unranked trees | 2007-05-23 | Paper |
| A concurrent lambda calculus with futures | 2007-01-09 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| Grammatical Inference: Algorithms and Applications | 2006-10-20 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367299 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714449 | 2006-01-02 | Paper |
| Logical Aspects of Computational Linguistics | 2005-11-23 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Processing underspecified semantic representations in the constraint language for lambda structures | 2005-03-15 | Paper |
| Non-structural subtype entailment in automata theory | 2004-11-23 | Paper |
| An efficient graph algorithm for dominance constraints | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428308 | 2003-09-15 | Paper |
| On rewrite constraints and context unification | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767066 | 2002-04-28 | Paper |
| An efficient algorithm for the configuration problem of dominance graphs | 2002-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778869 | 2002-03-21 | Paper |
| The constraint language for lambda structures | 2002-02-19 | Paper |
| Relaxing underspecified semantic representations for reinterpretation | 2002-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762872 | 2002-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762878 | 2002-01-13 | Paper |
| The first-order theory of ordering constraints over feature trees | 2002-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723895 | 2001-07-08 | Paper |
| Uniform confluence in concurrent computation | 2001-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501588 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936155 | 2000-01-23 | Paper |
