Joachim Niehren

135
Documents

Publications

Publications

Deposit thumbnail

Linear Programs with Conjunctive Database Queries

Florent Capelli , Nicolas Crosetti , Joachim Niehren , Jan Ramon

Logical Methods in Computer Science, inPress, Volume 20, Issue 1, ⟨10.46298/lmcs-20(1:9)2024⟩

Article dans une revue hal-04317553v1
Deposit thumbnail

Bioinformatics modelling and metabolic engineering of the branched chain amino acid pathway for specific production of mycosubtilin isoforms in Bacillus subtilis

Jean-Sébastien Guez , Françoise Coucheney , Joany Guy , Max Béchet , Pierre Fontanille et al.

Metabolites, 2022, 12 (2), pp.107. ⟨10.3390/metabo12020107⟩

Article dans une revue hal-03498125v1
Deposit thumbnail

Regular Matching and Inclusion on Compressed Tree Patterns with Constrained Context Variables

Iovka Boneva , Joachim Niehren , Momar Sakho

Information and Computation, 2022, 286, ⟨10.1016/j.ic.2021.104776⟩

Article dans une revue hal-03151014v1
Deposit thumbnail

Determinization and Minimization of Automata for Nested Words Revisited

Joachim Niehren , Momar Sakho

Algorithms, 2021, ⟨10.3390/a14030068⟩

Article dans une revue hal-03134596v1
Deposit thumbnail

Computing Difference Abstractions of Linear Equation Systems

Emilie Allart , Joachim Niehren , Cristian Versari

Theoretical Computer Science, 2021, ⟨10.1016/j.tcs.2021.06.030⟩

Article dans une revue hal-03156136v4
Deposit thumbnail

The surfactin-like lipopeptides from <i>Bacillus</i> spp.: natural biodiversity and synthetic biology for a broader application range

Ariane Théatre , Carolina Cano-Prieto , Marco Bartolini , Yoann Laurin , Magali Deleu et al.

Frontiers in Bioengineering and Biotechnology, 2021, ⟨10.3389/fbioe.2021.623701⟩

Article dans une revue hal-03158419v1
Deposit thumbnail

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⟩

Article dans une revue hal-01176763v2
Deposit thumbnail

Simplification of Reaction Networks, Confluence and Elementary Modes

Guillaume Madelaine , Elisa Tonello , Cédric Lhoussaine , Joachim Niehren

Computation, 2017, Multiscale and Hybrid Modeling of the Living Systems

Article dans une revue hal-01471074v1
Deposit thumbnail

Automata for Unordered Trees

Adrien Boiret , Vincent Hugot , Joachim Niehren , Ralf Treinen

Information and Computation, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩

Article dans une revue hal-01179493v1

Genetic engineering of the branched fatty acid metabolic pathway of Bacillus subtilis for the overproduction of surfactin C14 isoform

Debarun Dhali , François Coutte , Anthony Argüelles Arias , Sandrine Auger , Vladimir V. Bidnenko et al.

Biotechnology Journal, 2017, 12 (7), pp.23. ⟨10.1002/biot.201600574⟩

Article dans une revue hal-01502183v1
Deposit thumbnail

Structural simplification of chemical reaction networks in partial steady states

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren , Elisa Tonello

BioSystems, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩

Article dans une revue hal-01350517v1
Deposit thumbnail

Predicting Changes of Reaction Networks with Partial Kinetic Information

Joachim Niehren , Cristian Versari , Mathias John , François Coutte , Philippe Jacques

BioSystems, 2016, Special Issue of CMSB 2015, 149, pp.113-124. ⟨10.1016/j.biosystems.2016.09.003⟩

Article dans une revue hal-01239198v3
Deposit thumbnail

Modeling Leucine’s Metabolic Pathway and Knockout Prediction Improving the Production of Surfactin, a Biosurfactant from Bacillus Subtilis

François Coutte , Joachim Niehren , Debarun Dhali , Mathias John , Cristian Versari et al.

Biotechnology Journal, 2015, 10 (8), pp.1216-34. ⟨10.1002/biot.201400541⟩

Article dans une revue hal-01153704v1
Deposit thumbnail

Early Nested Word Automata for XPath Query Answering on XML Streams

Denis Debarbieux , Olivier Gauwin , Joachim Niehren , Tom Sebastian , Mohamed Zergaoui

Theoretical Computer Science, 2015, 578, pp.100-125. ⟨10.1016/j.tcs.2015.01.017⟩

Article dans une revue hal-00966625v1
Deposit thumbnail

Observational Program Calculi and the Correctness of Translations

Manfred Schmidt-Schauss , David Sabel , Joachim Niehren , Jan Schwinghammer

Theoretical Computer Science, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩

Article dans une revue hal-00824349v1
Deposit thumbnail

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

Article dans une revue inria-00607121v2
Deposit thumbnail

Approximate Membership for Regular Languages modulo the Edit Distance

Antoine Mbaye Ndione , Aurélien Lemay , Joachim Niehren

Theoretical Computer Science, 2013, 487, pp.37-49. ⟨10.1016/j.tcs.2013.03.004⟩

Article dans une revue hal-00801970v1
Deposit thumbnail

Queries on XML Streams with Bounded Delay and Concurrency

Olivier Gauwin , Joachim Niehren , Sophie Tison

Information and Computation, 2011, Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), 209 (3), pp.409-442. ⟨10.1016/j.ic.2010.08.003⟩

Article dans une revue inria-00491495v1
Deposit thumbnail

Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas

Jérôme Champavère , Rémi Gilleron , Aurélien Lemay , Joachim Niehren

Information and Computation, 2009, 207 (11), pp.1181-1208. ⟨10.1016/j.ic.2009.03.003⟩

Article dans une revue inria-00366082v3
Deposit thumbnail

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⟩

Article dans une revue inria-00288445v3
Deposit thumbnail

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⟩

Article dans une revue inria-00094787v1
Deposit thumbnail

Interactive Learning of Node Selecting Tree Transducers

Julien Carme , Rémi Gilleron , Aurélien Lemay , Joachim Niehren

Machine Learning, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩

Article dans une revue inria-00087226v5
Deposit thumbnail

On the Minimization of XML-Schemas and Tree Automata for Unranked Trees

Wim Martens , Joachim Niehren

Journal of Computer and System Sciences, 2007, Journal of Computer and System Science, 73 (4), pp.550-583. ⟨10.1016/j.jcss.2006.10.021⟩

Article dans une revue inria-00088406v2
Deposit thumbnail

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⟩

Article dans une revue inria-00090434v2
Deposit thumbnail

Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch

Céline Kuttler , Joachim Niehren

Transactions on Computational Systems Biology, 2006, Computational Systems Biology, 4230 (VII), pp.24-55. ⟨10.1007/11905455_2⟩

Article dans une revue inria-00089218v2
Deposit thumbnail

Non-Structural Subtype Entailment in Automata Theory

Joachim Niehren , Tim Priesnitz

Information and Computation, 2003, 169 (2), pp.319-354

Article dans une revue inria-00536540v1
Deposit thumbnail

An Efficient Graph Algorithm for Dominance Constraints

Ernst Althaus , Denys Duchier , Alexander Koller , Kurt Mehlhorn , Joachim Niehren et al.

Journal of Algorithms in Cognition, Informatics and Logic, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩

Article dans une revue inria-00536539v1
Deposit thumbnail

Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures

Katrin Erk , Alexander Koller , Joachim Niehren

Journal on Research in Language and Computation, 2002, 1 (1), pp.127--169

Article dans une revue inria-00536796v1
Deposit thumbnail

The Constraint Language for Lambda Structures

Markus Egg , Alexander Koller , Joachim Niehren

Journal of Logic, Language and Information, 2001, 10, pp.457-485

Article dans une revue inria-00536795v1
Deposit thumbnail

The First-Order Theory of Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Ralf Treinen

Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.193-234. ⟨10.46298/dmtcs.267⟩

Article dans une revue inria-00536800v1
Deposit thumbnail

Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Andreas Podelski

Constraints, an International Journal, 2000, 5 (1--2), pp.7--42

Article dans une revue inria-00536799v1
Deposit thumbnail

On Rewrite Constraints and Context Unification

Joachim Niehren , Ralf Treinen , Sophie Tison

Information Processing Letters, 2000, 74 (1-2), pp.35--40

Article dans une revue inria-00536802v1

Relaxing Underspecified Semantic Representations for Reinterpretation

Alexander Koller , Joachim Niehren , Kristina Striegnitz

Grammars, 2000, 3 (2/3), pp.217-241

Article dans une revue inria-00536797v1
Deposit thumbnail

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic

Martin Müller , Joachim Niehren

Information and Computation, 2000, 159 (1/2), pp.22--58

Article dans une revue inria-00536798v1
Deposit thumbnail

Uniform Confluence in Concurrent Computation

Joachim Niehren

Journal on Functional Programming, 2000, 10 (5), pp.453-499

Article dans une revue inria-00536801v1
Deposit thumbnail

Subhedge Projection for Stepwise Hedge Automata

Antonio Al Serhali , Joachim Niehren

24th International Symposium on Fundamentals of Computation Theory, FCT 2023, Sep 2023, Trier, Germany

Communication dans un congrès hal-04165835v3

Bioinformatics Modelling and Metabolic Engineering of the Branched Chain Amino Acid Pathway for Specific Production of Microbial Biosurfactants and Biopesticides

François Coutte , Jean-Sebastien Guez , Joany Castéra-Guy , Cristian Versari , Joachim Niehren et al.

Congrès BIOKET dédié aux procédés et technologies appliqués à la biomasse, May 2023, Trois Rivieres, Canada

Communication dans un congrès hal-04551935v1
Deposit thumbnail

Earliest Query Answering for Deterministic Stepwise Hedge Automata

Antonio Al Serhali , Joachim Niehren

27th International Conference on Implementation and Application of Automata (CIAA), Sep 2023, famagusta, Cyprus

Communication dans un congrès hal-04106420v1
Deposit thumbnail

Linear Programs with Conjunctive Queries

Florent Capelli , Nicolas Crosetti , Joachim Niehren , Jan Ramon

ICDT 2022 - 25th International Conference on Database Theory, Mar 2022, Edinburgh, United Kingdom

Communication dans un congrès hal-01981553v1
Deposit thumbnail

Abstract Simulation of Reaction Networks via Boolean Networks

Joachim Niehren , Athénaïs Vaginay , Cristian Versari

CMSB 2022 - 20th International Conference on Computational Methods in Systems Biology, Sep 2022, Bucarest, Romania

Communication dans un congrès hal-02279942v9
Deposit thumbnail

Schema-Based Automata Determinization

Joachim Niehren , Momar Sakho , Antonio Al Serhali

Gandalf 2022: 13th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain

Communication dans un congrès hal-03536045v2
Deposit thumbnail

Jumping Evaluation of Nested Regular Path Queries

Joachim Niehren , Sylvain Salvati , Rustam Azimov

ICLP 2022 - 38th International Conference on Logic Programming, Jul 2022, Haifa, Israel

Communication dans un congrès hal-02492780v6
Deposit thumbnail

A Benchmark Collection of Deterministic Automata for XPath Queries

Antonio Al Serhali , Joachim Niehren

XML Prague 2022, Jun 2022, Prague, Czech Republic

Communication dans un congrès hal-03527888v4
Deposit thumbnail

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

Communication dans un congrès hal-02532706v2
Deposit thumbnail

Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints

Emilie Allart , Cristian Versari , Joachim Niehren

CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Luca Bortolussi; Guido Sanguinetti, Sep 2019, Trieste, Italy. pp.266-285, ⟨10.1007/978-3-030-31304-3_14⟩

Communication dans un congrès hal-02302463v1
Deposit thumbnail

Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables

Iovka Boneva , Joachim Niehren , Momar Sakho

LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia

Communication dans un congrès hal-01811835v4

Elementary Flux Modes Improve Gene Knockout Predictions

Emilie Allart , Joachim Niehren , Cristian Versari

12th European Symposium on Biochemical Engineering Science, Sep 2018, Lisbon, Portugal

Communication dans un congrès hal-02441405v1
Deposit thumbnail

Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams

Iovka Boneva , Joachim Niehren , Momar Sakho

RP 2018 - 12th International Conference on Reachability Problems, Sep 2018, Marseille, France

Communication dans un congrès hal-01609498v4
Deposit thumbnail

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⟩

Communication dans un congrès hal-01517919v2
Deposit thumbnail

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

Communication dans un congrès hal-01348303v1
Deposit thumbnail

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

Communication dans un congrès hal-01357186v1
Deposit thumbnail

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

Communication dans un congrès hal-01182529v1
Deposit thumbnail

Sublinear DTD Validity

Antoine Mbaye Ndione , Aurélien Lemay , Joachim Niehren

9th International Conference on. Language and Automata Theory and Applications, Mar 2015, Nice, France

Communication dans un congrès hal-00803696v1
Deposit thumbnail

A Uniform Programming Language for Implementing XML Standards

Pavel Labath , Joachim Niehren

41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic

Communication dans un congrès hal-00954692v1
Deposit thumbnail

Logics for Unordered Trees with Data Constraints on Siblings

Adrien Boiret , Vincent Hugot , Joachim Niehren , Ralf Treinen

LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187

Communication dans un congrès hal-01088761v1
Deposit thumbnail

Qualitative Reasoning about Reaction Networks with Partial Kinetic Information

Joachim Niehren , Mathias John , Cristian Versari , François Coutte , Philippe Jacques

Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.157-169

Communication dans un congrès hal-01163391v2
Deposit thumbnail

Structural simplification of chemical reaction networks preserving deterministic semantics

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren

Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144

Communication dans un congrès hal-01168038v1
Deposit thumbnail

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

Communication dans un congrès hal-00912969v1

Directed Biosynthesis of Antifungal and Biosurfactant Lipopeptides from Bacillus subtilis.

Philippe Jacques , François Coutte , Max Béchet , Jean-Sebastien Guez , Valérie Leclère et al.

10th European Symposium of Biochemical Science (ESBES) and 6th International Forum on Industrial Bioprocesses, Sep 2014, Lille, France

Communication dans un congrès hal-03877026v1
Deposit thumbnail

Attractor Equivalence: An Observational Semantics for Reaction Networks

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren

First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101

Communication dans un congrès hal-00990924v1
Deposit thumbnail

Deterministic Automata for Unordered Trees

Adrien Boiret , Vincent Hugot , Joachim Niehren , Ralf Treinen

Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩

Communication dans un congrès hal-01020236v1
Deposit thumbnail

Knockout Prediction for Reaction Networks with Partial Kinetic Information

Mathias John , Mirabelle Nebut , Joachim Niehren

14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.355-374

Communication dans un congrès hal-00692499v1
Deposit thumbnail

Early Nested Word Automata for XPath Query Answering on XML Streams

Denis Debarbieux , Olivier Gauwin , Joachim Niehren , Tom Sebastian , Mohamed Zergaoui

18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. pp.292-305

Communication dans un congrès hal-00676178v2
Deposit thumbnail

Learning Rational Functions

Adrien Boiret , Aurélien Lemay , Joachim Niehren

16th International Conference on Developments of Language Theory, Apr 2012, Taipee, Taiwan

Communication dans un congrès hal-00692341v1

Knockout Prediction for Reaction Networks with Partial Kinetic Information: Application to Surfactin Overproduction in Bacillus subtilis

Mathias John , François Coutte , Mirabelle Nebut , Philippe Jacques , Joachim Niehren

3rd International Symposium on Antimicrobial Peptides, Jun 2012, Lille, France

Communication dans un congrès hal-00702295v1

Synthetic Engineering of Bacillus subtilis to Overproduce Lipopeptide Biosurfactants

François Coutte , Mathias John , Max Béchet , Mirabelle Nebut , Joachim Niehren et al.

9th European Symposium on Biochemical Engineering Science, Sep 2012, Istanbul, Turkey

Communication dans un congrès hal-00717261v1
Deposit thumbnail

Streamable Fragments of Forward XPath

Olivier Gauwin , Joachim Niehren

16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. pp.3-15

Communication dans un congrès inria-00442250v1
Deposit thumbnail

Biochemical Reaction Rules with Constraints

Mathias John , Cédric Lhoussaine , Joachim Niehren , Cristian Versari

20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357

Communication dans un congrès inria-00544387v1
Deposit thumbnail

Normalization of Sequential Top-Down Tree-to-Word Transducers

Grégoire Laurence , Aurélien Lemay , Joachim Niehren , Slawomir Staworko , Marc Tommasi

5th International Conference on Language Automata Theory and Appliciations, May 2011, Tarragona, Spain

Communication dans un congrès inria-00566291v1
Deposit thumbnail

A Learning Algorithm for Top-Down XML Transformations

Aurélien Lemay , Sebastian Maneth , Joachim Niehren

29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2010, Indianapolis, United States. pp.285-296

Communication dans un congrès inria-00460489v2
Deposit thumbnail

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

Communication dans un congrès inria-00390236v2
Deposit thumbnail

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⟩

Communication dans un congrès inria-00422970v1
Deposit thumbnail

Correctly Translating Concurrency Primitives

Jan Schwinghammer , David Sabel , Manfred Schmidt-Schauss , Joachim Niehren

The 2009 SIGPLAN Workshop on ML, Oct 2009, Edinburgh, United Kingdom. pp.27-38

Communication dans un congrès inria-00429239v1
Deposit thumbnail

Equivalence of Deterministic Nested Word to Word Transducers

Slawomir Staworko , Grégoire Laurence , Aurélien Lemay , Joachim Niehren

Fundamentals of Computation Theory, Maciej Gebala and Malgorzata Korzeniowska, Sep 2009, Wroclaw, Poland. pp.310-322, ⟨10.1007/978-3-642-03409-1_28⟩

Communication dans un congrès inria-00423961v1
Deposit thumbnail

Bounded Delay and Concurrency for Earliest Query Answering

Olivier Gauwin , Joachim Niehren , Sophie Tison

3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.350-361, ⟨10.1007/978-3-642-00982-2⟩

Communication dans un congrès inria-00348463v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00309408v2
Deposit thumbnail

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

Communication dans un congrès inria-00336169v1
Deposit thumbnail

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

Communication dans un congrès inria-00192329v6
Deposit thumbnail

Adequacy of compositional translations for observational semantics

Manfred Schmidt-Schauss , Joachim Niehren , Jan Schwinghammer , David Sabel

5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. pp.521-535

Communication dans un congrès inria-00257279v7
Deposit thumbnail

Logics and Automata for Totally Ordered Trees

Marco Kuhlmann , Joachim Niehren

19th International Conference on Rewriting Techniques and Applications, Jun 2008, Linz, Austria. pp.217-231

Communication dans un congrès inria-00610420v1
Deposit thumbnail

The Attributed Pi Calculus

Mathias John , Cédric Lhoussaine , Joachim Niehren , Adelinde Uhrmacher

Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102

Communication dans un congrès inria-00308970v4
Deposit thumbnail

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

Communication dans un congrès inria-00128861v1
Deposit thumbnail

A Stochastic Pi Calculus for Concurrent Objects

Céline Kuttler , Cédric Lhoussaine , Joachim Niehren

Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246

Communication dans un congrès inria-00121104v3
Deposit thumbnail

Polynomial Time Fragments of XPath with Variables

Emmanuel Filiot , Joachim Niehren , Jean-Marc Talbot , Sophie Tison

26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2007, Beijing, China. pp.205-214

Communication dans un congrès inria-00135678v1

Composing Monadic Queries in Trees

Emmanuel Filiot , Joachim Niehren , Jean-Marc Talbot , Sophie Tison

PLAN-X, 2006, Unknown, Unknown Region. pp.61-70, ⟨10.1007/978-3-319-04939-7_13⟩

Communication dans un congrès hal-01196266v1
Deposit thumbnail

Learning n-ary Node Selecting Tree Transducers from Completely Annotated Examples

Aurélien Lemay , Joachim Niehren , Rémi Gilleron

8th International Colloquium on Grammatical Inference, Sep 2006, Tokyo, Japan. pp.253-267

Communication dans un congrès inria-00088077v2
Deposit thumbnail

Describing Lambda Terms in Context Unification

Joachim Niehren , Mateu Villaret

5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. pp.221-237

Communication dans un congrès inria-00536524v1
Deposit thumbnail

Minimizing Tree Automata for Unranked Trees

Wim Martens , Joachim Niehren

10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.232--246

Communication dans un congrès inria-00536521v1
Deposit thumbnail

N-ary Queries by Tree Automata

Joachim Niehren , Laurent Planque , Jean-Marc Talbot , Sophie Tison

10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.217--231

Communication dans un congrès inria-00536522v1
Deposit thumbnail

Complexity of Subtype Satisfiability over Posets

Joachim Niehren , Tim Priesnitz , Zhendong Su

14th European Symposium on Programming, 2005, Edinburgh, United Kingdom. pp.357-373

Communication dans un congrès inria-00536523v1
Deposit thumbnail

Well-nested Context Unification

Jordi Levy , Joachim Niehren , Mateu Villaret

20th International Conference on Automated Deduction, 2005, Tallinn, Estonia. pp.149-163

Communication dans un congrès inria-00536525v1
Deposit thumbnail

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

Communication dans un congrès inria-00536530v1
Deposit thumbnail

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

Communication dans un congrès inria-00536532v1
Deposit thumbnail

Learning Node Selecting Tree Transducer from Completely Annotated Examples

Julien Carme , Aurélien Lemay , Joachim Niehren

7th International Colloquium on Grammatical Inference, 2004, Athens, Greece. pp.91--102

Communication dans un congrès inria-00536528v1
Deposit thumbnail

Querying Unranked Trees with Stepwise Tree Automata

Julien Carme , Joachim Niehren , Marc Tommasi

19th International Conference on Rewriting Techniques and Applications, 2004, Aachen, Georgia. pp.105--118

Communication dans un congrès inria-00536529v1
Deposit thumbnail

A New Algorithm for Normal Dominance Constraints

Manuel Bodirsky , Denys Duchier , Joachim Niehren , Sebastian Miele

ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. pp.59-67

Communication dans un congrès inria-00536536v1
Deposit thumbnail

Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints

Joachim Niehren , Stefan Thater

41st Meeting of the Association of Computational Linguistics (ACL), 2003, Saporo, Japan. pp.367-374

Communication dans un congrès inria-00536543v1
Deposit thumbnail

Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints

Alexander Koller , Joachim Niehren , Stefan Thater

10th Meeting of the European Chapter of the Association of Computational Linguistics, 2003, Budapest, Hungary. pp.195-202

Communication dans un congrès inria-00536542v1
Deposit thumbnail

Well-Nested Parallelism Constraints for Ellipsis Resolution

Katrin Erk , Joachim Niehren

10th Conference of the European Chapter of the Association for Computational Linguistics, Association for Compuational Linguistics, 2003, Budapest, Hungary. pp.115--122

Communication dans un congrès inria-00536541v1
Deposit thumbnail

First-Order Theory of Subtyping Constraints

Zhendong Su , Alex Aiken , Joachim Niehren , Tim Priesnitz , Ralf Treinen

The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002, Portland, United States. pp.203-216

Communication dans un congrès inria-00536828v1
Deposit thumbnail

Parallelism and Tree Regular Constraints

Joachim Niehren , Mateu Villaret

International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2002, Tblisi, Georgia. pp.311--326

Communication dans un congrès inria-00536827v1
Deposit thumbnail

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

Communication dans un congrès inria-00536803v1
Deposit thumbnail

Beta Reduction Constraints

Manuel Bodirsky , Katrin Erk , Alexander Koller , Joachim Niehren

International Conference on Rewriting Techniques and Applications, 2001, Utrecht, Netherlands. pp.31-46

Communication dans un congrès inria-00536804v1
Deposit thumbnail

Dominance Constraints in Context Unification

Joachim Niehren , Alexander Koller

3rd International Conference on Logical Aspects of Computational Linguistics 1998 (Postproceedings 2001), 1998, Heidelberg, France. pp.199-218

Communication dans un congrès inria-00536820v1
Deposit thumbnail

Underspecified Beta Reduction

Manuel Bodirsky , Katrin Erk , Alexander Koller , Joachim Niehren

39th Annual Meeting of the Association for Computational Linguistics, 2001, Toulouse, France. pp.74-81

Communication dans un congrès inria-00536805v1
Deposit thumbnail

Non-Structural Subtype Entailment in Automata Theory

Joachim Niehren , Tim Priesnitz

4th International Symposium on Theoretical Aspects of Computer Software, 2001, Sendai, Japan. pp.360--384

Communication dans un congrès inria-00536514v1
Deposit thumbnail

Dominance Constraints: Algorithms and Complexity

Alexander Koller , Joachim Niehren , Ralf Treinen

Third International Conference on Logical Aspects of Computational Linguistics 1998 (Postproceedings 2001), 1998, Grenoble, France. pp.106-125

Communication dans un congrès inria-00536812v1
Deposit thumbnail

Parallelism Constraints

Katrin Erk , Joachim Niehren

International Conference on Rewriting Techniques and Applications, 2000, Norwich, United Kingdom. pp.110--126

Communication dans un congrès inria-00536808v1
Deposit thumbnail

A Polynomial-Time Fragment of Dominance Constraints

Alexander Koller , Kurt Mehlhorn , Joachim Niehren

38th Annual Meeting of the Association of Computational Linguistics, 2000, Hong Kong, China. pp.368--375

Communication dans un congrès inria-00536809v1
Deposit thumbnail

Dominance Constraints with Set Operators

Denys Duchier , Joachim Niehren

Proceedings of the First International Conference on Computational Logic, 2000, London, United Kingdom. pp.326-341

Communication dans un congrès inria-00536806v1
Deposit thumbnail

On Underspecified Processing of Dynamic Semantics

Alexander Koller , Joachim Niehren

18th International Conference on Computational Linguistics, 2000, Saarbrücken, Georgia. pp.460--466

Communication dans un congrès inria-00536810v1
Deposit thumbnail

Entailment of Non-Structural Subtype Constraints

Joachim Niehren , Tim Priesnitz

Asian Computing Science Conference, 1999, Phuket, Thailand. pp.251--265

Communication dans un congrès inria-00536825v1
Deposit thumbnail

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

Communication dans un congrès inria-00536817v1
Deposit thumbnail

Relaxing Underspecified Semantic Representations for Reinterpretation

Alexander Koller , Joachim Niehren , Kristina Striegnitz

6th Meeting on Mathematics of Language, 1999, Orlando, Florida, United States. pp.74--87

Communication dans un congrès inria-00536811v1
Deposit thumbnail

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

Communication dans un congrès inria-00536807v1
Deposit thumbnail

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic

Martin Müller , Joachim Niehren

9th International Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan. pp.196--210

Communication dans un congrès inria-00536814v1
Deposit thumbnail

The First-Order Theory of Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Ralf Treinen

13th annual IEEE Symposium on Logic in Computer Sience, 1998, Indianapolis, Indiana, United States. pp.432--443

Communication dans un congrès inria-00536818v1
Deposit thumbnail

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

Communication dans un congrès inria-00536821v1
Deposit thumbnail

Inclusion Constraints over Non-Empty Sets of Trees

Martin Müller , Joachim Niehren , Andreas Podelski

Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS, 1997, Lille, France. pp.217-231

Communication dans un congrès inria-00536816v1
Deposit thumbnail

On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting

Joachim Niehren , Manfred Pinkal , Peter Ruhrberg

Proceedings of the International Conference on Automated Deduction, 1997, Townsville, Australia. pp.34-48

Communication dans un congrès inria-00536822v1

Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Andreas Podelski

3rd International Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Linz, Austria. pp.297--311

Communication dans un congrès inria-00536815v1
Deposit thumbnail

Functional Computation as Concurrent Computation

Joachim Niehren

23th ACM Symposium on Principles of Programming Languages, 1996, St. Petersburg Beach, Florida, United States. pp.333--343

Communication dans un congrès inria-00536819v1
Deposit thumbnail

Constraints for Free in Concurrent Computation

Joachim Niehren , Martin Müller

Asian Computing Science Conference, 1995, Pathumthani, Thailand. pp.171--186

Communication dans un congrès inria-00536813v1
Deposit thumbnail

A Confluent Relational Calculus for Higher-Order Programming with Constraints

Joachim Niehren , Gert Smolka

1st International Conference on Constraints in Computational Logics, 1994, Munich, Germany

Communication dans un congrès inria-00536826v1
Deposit thumbnail

Feature Automata and Recognizable Sets of Feature Trees

Joachim Niehren , Andreas Podelski

TAPSOFT: Theory and Practice of Software Development: Joint International Conference CAAP/FASE/TOOLS., 1993, Orsay, France. pp.356--375

Communication dans un congrès inria-00536823v1
Deposit thumbnail

Equational and Membership Constraints for Infinite Trees

Joachim Niehren , Andreas Podelski , Ralf Treinen

5th International Conference on Rewriting Techniques and Applications, 1993, Montreal, Canada. pp.106-120

Communication dans un congrès inria-00536824v1
Deposit thumbnail

The Attributed Pi Calculus with Priorities

Mathias John , Cédric Lhoussaine , Joachim Niehren , Adelinde Uhrmacher

Corrado Priami; Rainer Breitling; David Gilbert; Monika Heiner; Adelinde M. Uhrmacher. Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies, LNBI-5945, Springer, pp.13-76, 2010, Lecture Notes in Bioinformatics (Journal Subline), 978-3-642-11712-1. ⟨10.1007/978-3-642-11712-1_2⟩

Chapitre d'ouvrage inria-00422969v1
Deposit thumbnail

Constraint Programming in Computational Linguistics

Alexander Koller , Joachim Niehren

Dave Barker-Plummer and David I. Beaver and Johan van Benthem and Patrick Scotto di Luzio. Words, Proofs, and Dialog, 141, CSLI Press, pp.95-122, 2002

Chapitre d'ouvrage inria-00536829v1