| 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
Logical Methods in Computer Science | 2024-03-11 | Paper |
Core SBML and its formal semantics
Computational Methods in Systems Biology | 2024-02-28 | Paper |
Earliest query answering for deterministic stepwise hedge automata
Implementation and Application of Automata | 2024-02-28 | Paper |
Schema-based automata determinization
(available as arXiv preprint) | 2024-02-08 | Paper |
| Schema-based automata determinization | 2024-02-08 | Paper |
Jumping evaluation of nested regular path queries
(available as arXiv preprint) | 2024-01-23 | Paper |
| Jumping evaluation of nested regular path queries | 2024-01-23 | Paper |
| Abstract simulation of reaction networks via Boolean networks | 2023-01-18 | Paper |
Equational and membership constraints for infinite trees
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Feature automata and recognizable sets of feature trees
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata
Computer Science – Theory and Applications | 2022-10-19 | Paper |
A confluent relational calculus for higher-order programming with constraints
Constraints in Computational Logics | 2022-08-16 | Paper |
Regular matching and inclusion on compressed tree patterns with constrained context variables
Information and Computation | 2022-06-13 | Paper |
Computing difference abstractions of linear equation systems
Theoretical Computer Science | 2021-11-01 | Paper |
| scientific article; zbMATH DE number 7362732 (Why is no real title available?) | 2021-06-24 | Paper |
scientific article; zbMATH DE number 7362732 (Why is no real title available?)
(available as arXiv preprint) | 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
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Logics for unordered trees with data constraints
Journal of Computer and System Sciences | 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
Information and Computation | 2017-03-16 | Paper |
Sublinear DTD validity
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Logics for Unordered Trees with Data Constraints on Siblings
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams
Lecture Notes in Computer Science | 2016-03-10 | Paper |
Attractor Equivalence: An Observational Semantics for Reaction Networks
Formal Methods in Macro-Biology | 2015-08-06 | Paper |
| A new algorithm for normal dominance constraints | 2015-08-03 | Paper |
Observational semantics for a concurrent lambda calculus with reference cells and futures
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Early nested word automata for XPath query answering on XML streams
Theoretical Computer Science | 2015-05-18 | Paper |
Observational program calculi and the correctness of translations
Theoretical Computer Science | 2015-04-01 | Paper |
The first-order theory of subtyping constraints
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Knockout prediction for reaction networks with partial kinetic information
Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Query induction with schema-guided pruning strategies | 2014-04-01 | Paper |
Learning sequential tree-to-word transducers
Language and Automata Theory and Applications | 2014-03-31 | Paper |
Approximate membership for regular languages modulo the edit distance
Theoretical Computer Science | 2013-12-11 | Paper |
Early Nested Word Automata for XPath Query Answering on XML Streams
Implementation and Application of Automata | 2013-08-07 | Paper |
Learning rational functions
Developments in Language Theory | 2012-11-02 | Paper |
Streamable fragments of forward XPath
Implementation and Application of Automata | 2011-07-29 | Paper |
Queries on XML streams with bounded delay and concurrency
Information and Computation | 2011-07-27 | Paper |
Normalization of sequential top-down tree-to-word transducers
Language and Automata Theory and Applications | 2011-06-03 | Paper |
Biochemical reaction rules with constraints
Programming Languages and Systems | 2011-05-19 | Paper |
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII | 2011-01-18 | Paper |
Streaming tree automata
Information Processing Letters | 2010-06-09 | Paper |
Dominance constraints in stratified context unification
Information Processing Letters | 2010-01-29 | Paper |
Efficient inclusion checking for deterministic tree automata and XML schemas
Information and Computation | 2009-11-27 | Paper |
Earliest Query Answering for Deterministic Nested Word Automata
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Equivalence of Deterministic Nested Word to Word Transducers
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Rewriting Techniques and Applications
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Bounded Delay and Concurrency for Earliest Query Answering
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples
Grammatical Inference: Algorithms and Applications | 2008-11-27 | Paper |
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
Language and Automata Theory and Applications | 2008-11-20 | Paper |
Schema-Guided Induction of Monadic Queries
Grammatical Inference: Algorithms and Applications | 2008-10-16 | Paper |
Logics and Automata for Totally Ordered Trees
Rewriting Techniques and Applications | 2008-08-28 | Paper |
A Stochastic Pi Calculus for Concurrent Objects
Algebraic Biology | 2007-11-29 | Paper |
On the minimization of XML schemas and tree automata for unranked trees
Journal of Computer and System Sciences | 2007-05-23 | Paper |
A concurrent lambda calculus with futures
Theoretical Computer Science | 2007-01-09 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Grammatical Inference: Algorithms and Applications
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
| Constraint programming in computational linguistics | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 2242596 (Why is no real title available?) | 2006-01-02 | Paper |
Logical Aspects of Computational Linguistics
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Processing underspecified semantic representations in the constraint language for lambda structures
Research on Language and Computation | 2005-03-15 | Paper |
Non-structural subtype entailment in automata theory
Information and Computation | 2004-11-23 | Paper |
An efficient graph algorithm for dominance constraints
Journal of Algorithms | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1980934 (Why is no real title available?) | 2003-09-15 | Paper |
On rewrite constraints and context unification
Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1696805 (Why is no real title available?) | 2002-04-28 | Paper |
| An efficient algorithm for the configuration problem of dominance graphs | 2002-03-24 | Paper |
| scientific article; zbMATH DE number 1722697 (Why is no real title available?) | 2002-03-21 | Paper |
The constraint language for lambda structures
Journal of Logic, Language and Information | 2002-02-19 | Paper |
Relaxing underspecified semantic representations for reinterpretation
Grammars | 2002-01-17 | Paper |
| scientific article; zbMATH DE number 1689581 (Why is no real title available?) | 2002-01-13 | Paper |
| scientific article; zbMATH DE number 1689586 (Why is no real title available?) | 2002-01-13 | Paper |
The first-order theory of ordering constraints over feature trees
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2002-01-07 | Paper |
The first-order theory of ordering constraints over feature trees
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2002-01-07 | Paper |
| scientific article; zbMATH DE number 1615233 (Why is no real title available?) | 2001-07-08 | Paper |
Uniform confluence in concurrent computation
Journal of Functional Programming | 2001-02-22 | Paper |
| scientific article; zbMATH DE number 1500567 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1392315 (Why is no real title available?) | 2000-01-23 | Paper |
