| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Queries on Xml streams with bounded delay and concurrency.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
Normalization of Sequential Top-Down Tree-to-Word Transducers. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren |
Streamable Fragments of Forward XPath. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari |
Biochemical Reaction Rules with Constraints. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher |
The Attributed Pi-Calculus with Priorities. |
T. Comp. Sys. Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélien Lemay, Sebastian Maneth, Joachim Niehren |
A learning algorithm for top-down XML transformations. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
myhill-nerode equivalence, tree transformation, minimization, learning algorithm, top-down, transducer |
| 1 | Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Efficient inclusion checking for deterministic tree automata and XML Schemas. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Bounded Delay and Concurrency for Earliest Query Answering. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Earliest Query Answering for Deterministic Nested Word Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren |
Equivalence of Deterministic Nested Word to Word Transducers. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
XML, Trees, automata, context-free grammars, transducers |
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren |
Dynamic Compartments in the Imperative pi-Calculus. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren |
Streaming Tree Automata and XPath. |
NCMA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Yves Roos |
Streaming tree automata. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher |
The Attributed Pi Calculus. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Kuhlmann, Joachim Niehren |
Logics and Automata for Totally Ordered Trees. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Schema-Guided Induction of Monadic Queries. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison |
Complexity of Earliest Query Answering with Streaming Tree Automata. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Katrin Erk, Joachim Niehren |
Dominance constraints in stratified context unification. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Carme, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Interactive learning of node selecting tree transducer. |
Machine Learning |
2007 |
DBLP DOI BibTeX RDF |
Monadic queries, Tree automata, Grammatical inference, Wrapper induction, Web information extraction |
| 1 | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer |
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Joachim Niehren |
On the minimization of XML Schemas and tree automata for unranked trees. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Polynomial time fragments of XPath with variables. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
N-ary queries, XML, logic, XPath |
| 1 | Céline Kuttler, Cédric Lhoussaine, Joachim Niehren |
A Stochastic Pi Calculus for Concurrent Objects. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A concurrent lambda calculus with futures. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Céline Kuttler, Joachim Niehren |
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélien Lemay, Joachim Niehren, Rémi Gilleron |
Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Composing Monadic Queries in Trees. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joachim Niehren, Mateu Villaret |
Describing Lambda Terms in Context Unification. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
second-order unification, dominance constraints, underspecified semantics, computational linguistics |
| 1 | Jordi Levy, Joachim Niehren, Mateu Villaret |
Well-Nested Context Unification. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison |
N-ary Queries by Tree Automata. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A Concurrent Lambda Calculus with Futures. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison |
N-Ary Queries by Tree Automata. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
XML, databases, information extraction, pattern, logic, types, automata |
| 1 | Wim Martens, Joachim Niehren |
Minimizing Tree Automata for Unranked Trees. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Tim Priesnitz, Zhendong Su |
Complexity of Subtype Satisfiability over Posets. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren |
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen. |
|
2004 |
RDF |
|
| 1 | Manuel Bodirsky, Denys Duchier, Joachim Niehren, Sebastian Miele |
A new algorithm for normal dominance constraints. |
SODA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater |
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis. |
ACL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ralph Debusmann, Denys Duchier, Joachim Niehren |
The XDG Grammar Development Kit. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Carme, Joachim Niehren, Marc Tommasi |
Querying Unranked Trees with Stepwise Tree Automata. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Carme, Aurélien Lemay, Joachim Niehren |
Learning Node Selecting Tree Transducer from Completely Annotated Examples. |
ICGI |
2004 |
DBLP DOI BibTeX RDF |
tree automata and logics, grammatical inference, Web information extraction |
| 1 | Joachim Niehren, Tim Priesnitz |
Non-structural subtype entailment in automata theory. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel |
An efficient graph algorithm for dominance constraints. |
J. Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Stefan Thater |
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints. |
ACL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Katrin Erk, Joachim Niehren |
Well-Nested Parallelism Constraints for Ellipsis Resolution. |
EACL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Koller, Joachim Niehren, Stefan Thater |
Underspecification formalisms: Hole semantics as dominance constraints. |
EACL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Joachim Niehren, Mateu Villaret |
Parallelism and Tree Regular Constraints. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
unification, tree automata, computational logic |
| 1 | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
The first-order theory of subtyping constraints. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Ralf Treinen |
The first-order theory of ordering constraints over feature trees. |
Discrete Mathematics & Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Markus Egg, Alexander Koller, Joachim Niehren |
The Constraint Language for Lambda Structures. |
Journal of Logic, Language and Information |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel |
An efficient algorithm for the configuration problem of dominance graphs. |
SODA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Tim Priesnitz |
Non-structural Subtype Entailment in Automata Theory. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren |
Underspecified Beta Reduction. |
ACL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren |
Beta Reduction Constraints. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Sophie Tison, Ralf Treinen |
On rewrite constraints and context unification. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Ordering Constraints over Feature Trees. |
Constraints |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Koller, Joachim Niehren, Kristina Striegnitz |
Relaxing Underspecified Semantic Representations for Reinterpretation. |
Grammars |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren |
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren |
Uniform confluence in concurrent computation. |
J. Funct. Program. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Koller, Kurt Mehlhorn, Joachim Niehren |
A Polynomial-Time Fragment of Dominance Constraints. |
ACL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Koller, Joachim Niehren |
On Underspecified Processing of Dynamic Semantics. |
COLING |
2000 |
DBLP BibTeX RDF |
|
| 1 | Katrin Erk, Joachim Niehren |
Parallelism Constraints. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Denys Duchier, Joachim Niehren |
Dominance Constraints with Set Operators. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Tim Priesnitz |
Entailment of Non-structural Subtype Constraints. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Martin Müller, Jean-Marc Talbot |
Entailment of Atomic Set Constraints is PSPACE-Complete. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Alexander Koller |
Dominance Constraints in Context Unification. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
tree descriptions, unification theory, Computational linguistics, computational logics, underspecification |
| 1 | Alexander Koller, Joachim Niehren, Ralf Treinen |
Dominance Constraints: Algorithms and Complexity. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
Dominance constraints, complexity, constraint programming, computational linguistics, underspecification |
| 1 | Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu |
Constraints over Lambda-Structures in Semantic Underspecification. |
COLING-ACL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren |
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Ralf Treinen |
The First-Order Theory of Ordering Constraints over Feature Trees. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Manfred Pinkal, Peter Ruhrberg |
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language |
| 1 | Joachim Niehren, Manfred Pinkal, Peter Ruhrberg |
A Uniform Approach to Underspecification and Parallelism. |
ACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Inclusion Constraints over Non-empty Sets of Trees. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Ordering Constraints over Feature Trees. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren |
Functional Computation as Concurrent Computation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren |
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm |
CoRR |
1995 |
DBLP BibTeX RDF |
|
| 1 | Joachim Niehren, Martin Müller |
Constraints for Free in Concurrent Computation. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Gert Smolka |
A Confluent Relational Calculus for Higher-Order Programming with Constraints. |
CCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Andreas Podelski |
Feature Automata and Recognizable Sets of Feature Trees. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Andreas Podelski, Ralf Treinen |
Equational and Membership Constraints for Finite Trees. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")