Search - Archive ouverte HAL Access content directly

Filter your results

133 Results
Image document

Determinization and Minimization of Automata for Nested Words Revisited

Joachim Niehren , Momar Sakho
Algorithms, 2021, ⟨10.3390/a14030068⟩
Journal articles hal-03134596v1
Image document

Query Induction with Schema-Guided Pruning Strategies

Joachim Niehren , Jérôme Champavère , Rémi Gilleron , Aurélien Lemay
Journal of Machine Learning Research, 2013, 14 (1), pp.927−964
Journal articles inria-00607121v2
Image document

Dominance Constraints in Stratified Context Unification

Katrin Erk , Joachim Niehren
Information Processing Letters, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩
Journal articles inria-00094787v1
Image document

Schema-Guided Induction of Monadic Queries

Jérôme Champavère , Rémi Gilleron , Aurélien Lemay , Joachim Niehren
9th International Colloquium on Grammatical Inference, Sep 2008, Saint-Malo, France. pp.15-28, ⟨10.1007/978-3-540-88009-7_2⟩
Conference papers inria-00309408v2
Image document

Complexity of Earliest Query Answering with Streaming Tree Automata

Olivier Gauwin , Anne-Cécile Caron , Joachim Niehren , Sophie Tison
ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States
Conference papers inria-00336169v1
Image document

The Constraint Language for Lambda Structures

Markus Egg , Alexander Koller , Joachim Niehren
Journal of Logic, Language and Information, 2001, 10, pp.457-485
Journal articles inria-00536795v1
Image document

Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Andreas Podelski
Constraints, an International Journal, 2000, 5 (1--2), pp.7--42
Journal articles inria-00536799v1
Image document

An Efficient Algorithm for the Configuration Problem of Dominance Graphs

Ernst Althaus , Denys Duchier , Alexander Koller , Kurt Mehlhorn , Joachim Niehren , et al.
Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, Washington, DC, United States. pp.815--824
Conference papers inria-00536803v1
Image document

Constraints over Lambda-Structures in Semantic Underspecification

Markus Egg , Joachim Niehren , Peter Ruhrberg , Feiyu Xu
Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98), 1998, Montreal, Canada. pp.353--359
Conference papers inria-00536807v1
Image document

A Uniform Approach to Underspecification and Parallelism

Joachim Niehren , Manfred Pinkal , Peter Ruhrberg
35th Annual Meeting of the Association of Computational Linguistics, 1997, Madrid, Spain. pp.410-417
Conference papers inria-00536821v1
Image document

The XDG Grammar Development Kit

Ralph Debusmann , Denys Duchier , Joachim Niehren
2nd International Conference on Multiparadigm Programming in {Mozart/Oz}, 2004, Charleroi, Belgium. pp.190--201
Conference papers inria-00536530v1
Image document

Logics for Unordered Trees with Data Constraints

Adrien Boiret , Vincent Hugot , Joachim Niehren , Ralf Treinen
Journal of Computer and System Sciences, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
Journal articles hal-01176763v2
Image document

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Joachim Niehren , David Sabel , Manfred Schmidt-Schauss , Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics, Apr 2007, New Orleans, United States. pp.313-337
Conference papers inria-00128861v1
Image document

A Concurrent Lambda Calculus with Futures

Joachim Niehren , Jan Schwinghammer , Gert Smolka
Theoretical Computer Science, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
Journal articles inria-00090434v2
Image document

Efficient Inclusion Checking for Deterministic Tree Automata and DTDs

Jérôme Champavère , Rémi Gilleron , Aurélien Lemay , Joachim Niehren
2nd International Conference on Language and Automata Theory and Applications, Mar 2008, Tarragona, Spain. pp.184-195
Conference papers inria-00192329v6
Image document

Streaming Tree Automata

Olivier Gauwin , Joachim Niehren , Yves Roos
Information Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩
Journal articles inria-00288445v3
Image document

Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata

Iovka Boneva , Joachim Niehren , Momar Sakho
CSR 2020 - 15th International Computer Science Symposium in Russia, Jun 2020, Ekaterinburg, Russia
Conference papers hal-02532706v2
Image document

Normalizing Chemical Reaction Networks by Confluent Structural Simplification

Guillaume Madelaine , Elisa Tonello , Cédric Lhoussaine , Joachim Niehren
14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom
Conference papers hal-01348303v1
Image document

Equivalence of Symbolic Tree Transducers

Vincent Hugot , Adrien Boiret , Joachim Niehren
DLT 2017 - Developments in Language Theory, Aug 2017, Liege, Belgium. pp.12, ⟨10.1007/978-3-642-29709-0_32⟩
Conference papers hal-01517919v2

Learning Top-Down Tree Transformations with Regular Inspection

Adrien Boiret , Aurélien Lemay , Joachim Niehren
Preprints, Working Papers, ... hal-01357631v1
Image document

Learning Top-Down Tree Transducers with Regular Domain Inspection

Adrien Boiret , Aurélien Lemay , Joachim Niehren
International Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands
Conference papers hal-01357186v1
Image document

Non-Structural Subtype Entailment in Automata Theory

Joachim Niehren , Tim Priesnitz
Information and Computation, 2003, 169 (2), pp.319-354
Journal articles inria-00536540v1
Image document

Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis

Ruth Fuchss , Alexander Koller , Joachim Niehren , Stefan Thater
42th Meeting of the Association for Computational Linguistics, 2004, Barcelona, Spain. pp.247-254
Conference papers inria-00536532v1
Image document

Entailment of Atomic Set Constraints is PSPACE-Complete

Joachim Niehren , Martin Müller , Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience, 1999, Trento, Italy. pp.285--294
Conference papers inria-00536817v1
Image document

Entailment of Non-Structural Subtype Constraints

Joachim Niehren , Tim Priesnitz
Asian Computing Science Conference, 1999, Phuket, Thailand. pp.251--265
Conference papers inria-00536825v1
Image document

Earliest Query Answering for Deterministic Nested Word Automata

Olivier Gauwin , Joachim Niehren , Sophie Tison
17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. pp.121-132
Conference papers inria-00390236v2
Image document

Dynamic Compartments in the Imperative Pi Calculus

Mathias John , Cédric Lhoussaine , Joachim Niehren
Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩
Conference papers inria-00422970v1
Image document

Learning Sequential Tree-to-Word Transducers

Grégoire Laurence , Aurélien Lemay , Joachim Niehren , Slawomir Staworko , Marc Tommasi
8th International Conference on Language and Automata Theory and Applications, Mar 2014, Madrid, Spain
Conference papers hal-00912969v1
Image document

Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams

Tom Sebastian , Joachim Niehren
International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Conference papers hal-01182529v1
Image document

Linear Programs with Conjunctive Queries

Florent Capelli , Nicolas Crosetti , Joachim Niehren , Jan Ramon
ICDT 2022 - 25th Internationcal Conference on Database Theory, Mar 2022, Edinburgh, United Kingdom
Conference papers hal-01981553v1