Access content directly

Joachim Niehren

135
Documents

Publications

Image document

Linear Programs with Conjunctive Database Queries

Florent Capelli , Nicolas Crosetti , Joachim Niehren , Jan Ramon
Logical Methods in Computer Science, In press, Volume 20, Issue 1, ⟨10.46298/lmcs-20(1:9)2024⟩
Journal articles hal-04317553v1
Image document

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⟩
Journal articles hal-03151014v1
Image document

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
Metabolites, 2022, 12 (2), pp.107. ⟨10.3390/metabo12020107⟩
Journal articles hal-03498125v1
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

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

Ariane Théatre , Carolina Cano-Prieto , Marco Bartolini , Yoann Laurin , Magali Deleu
Frontiers in Bioengineering and Biotechnology, 2021, ⟨10.3389/fbioe.2021.623701⟩
Journal articles hal-03158419v1
Image document

Computing Difference Abstractions of Linear Equation Systems

Emilie Allart , Joachim Niehren , Cristian Versari
Theoretical Computer Science, 2021, ⟨10.1016/j.tcs.2021.06.030⟩
Journal articles hal-03156136v3
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

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
Journal articles hal-01471074v1
Image document

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⟩
Journal articles 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 S. Auger , Vladimir V. Bidnenko
Biotechnology Journal, 2017, 12 (7), pp.23. ⟨10.1002/biot.201600574⟩
Journal articles hal-01502183v1
Image document

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⟩
Journal articles hal-01350517v1
Image document

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⟩
Journal articles hal-01239198v3
Image document

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
Biotechnology Journal, 2015, 10 (8), pp.1216-34. ⟨10.1002/biot.201400541⟩
Journal articles hal-01153704v1
Image document

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⟩
Journal articles hal-00966625v1
Image document

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⟩
Journal articles hal-00824349v1
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

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⟩
Journal articles hal-00801970v1
Image document

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⟩
Journal articles inria-00491495v1
Image document

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⟩
Journal articles inria-00366082v3
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

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

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⟩
Journal articles inria-00087226v5
Image document

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⟩
Journal articles inria-00088406v2
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

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⟩
Journal articles inria-00089218v2
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

An Efficient Graph Algorithm for Dominance Constraints

Ernst Althaus , Denys Duchier , Alexander Koller , Kurt Mehlhorn , Joachim Niehren
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⟩
Journal articles inria-00536539v1
Image document

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
Journal articles inria-00536796v1
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

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⟩
Journal articles inria-00536800v1
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

On Rewrite Constraints and Context Unification

Joachim Niehren , Ralf Treinen , Sophie Tison
Information Processing Letters, 2000, 74 (1-2), pp.35--40
Journal articles inria-00536802v1

Relaxing Underspecified Semantic Representations for Reinterpretation

Alexander Koller , Joachim Niehren , Kristina Striegnitz
Grammars, 2000, 3 (2/3), pp.217-241
Journal articles inria-00536797v1
Image document

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
Journal articles inria-00536798v1
Image document

Uniform Confluence in Concurrent Computation

Joachim Niehren
Journal on Functional Programming, 2000, 10 (5), pp.453-499
Journal articles inria-00536801v1
Image document

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
Conference papers hal-04165835v3

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

Jean-Sébastien Guez , Françoise Coucheney , Joany Guy , Max Béchet , Pierre Fontanille
BIOKET, Aug 2023, Montreal, Canada. pp.107, ⟨10.3390/metabo12020107⟩
Conference papers hal-04278771v1
Image document

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
Conference papers hal-04106420v1
Image document

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
Conference papers hal-01981553v1
Image document

Jumping Evaluation of Nested Regular Path Queries

Joachim Niehren , Sylvain Salvati , Rustam Azimov
ICPL 2022 - 38th International Conference on Logic Programming, Jul 2022, Haifa, Israel
Conference papers hal-02492780v6
Image document

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
Conference papers hal-03536045v2
Image document

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
Conference papers hal-02279942v9
Image document

A Benchmark Collection of Deterministic Automata for XPath Queries

Antonio Al Serhali , Joachim Niehren
XML Prague 2022, Jun 2022, Prague, Czech Republic
Conference papers hal-03527888v4
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

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⟩
Conference papers hal-02302463v1
Image document

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
Conference papers 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
Conference papers hal-02441405v1
Image document

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
Conference papers hal-01609498v4
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
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

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

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

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
Conference papers hal-00954692v1
Image document

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
Conference papers hal-00803696v1
Image document

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
Conference papers hal-01088761v1
Image document

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
Conference papers hal-01163391v2
Image document

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
Conference papers hal-01168038v1

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
10th European Symposium of Biochemical Science (ESBES) and 6th International Forum on Industrial Bioprocesses, Sep 2014, Lille, France
Conference papers hal-03877026v1
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

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⟩
Conference papers hal-01020236v1
Image document

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
Conference papers hal-00990924v1
Image document

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
Conference papers hal-00692499v1
Image document

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
Conference papers hal-00676178v2
Image document

Learning Rational Functions

Adrien Boiret , Aurélien Lemay , Joachim Niehren
16th International Conference on Developments of Language Theory, Apr 2012, Taipee, Taiwan
Conference papers 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
Conference papers hal-00702295v1

Synthetic Engineering of Bacillus subtilis to Overproduce Lipopeptide Biosurfactants

François Coutte , Mathias John , Max Béchet , Mirabelle Nebut , Joachim Niehren
9th European Symposium on Biochemical Engineering Science, Sep 2012, Istanbul, Turkey
Conference papers hal-00717261v1
Image document

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
Conference papers inria-00442250v1
Image document

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
Conference papers inria-00566291v1
Image document

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
Conference papers inria-00544387v1
Image document

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
Conference papers inria-00460489v2
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

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

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⟩
Conference papers inria-00423961v1
Image document

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
Conference papers inria-00429239v1
Image document

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⟩
Conference papers inria-00348463v1
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

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

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
Conference papers inria-00257279v7
Image document

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
Conference papers inria-00610420v1
Image document

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
Conference papers inria-00308970v4
Image document

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
Conference papers inria-00135678v1
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 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
Conference papers inria-00121104v3

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⟩
Conference papers hal-01196266v1
Image document

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
Conference papers inria-00088077v2
Image document

Minimizing Tree Automata for Unranked Trees

Wim Martens , Joachim Niehren
10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.232--246
Conference papers inria-00536521v1
Image document

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
Conference papers inria-00536524v1
Image document

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
Conference papers inria-00536522v1
Image document

Complexity of Subtype Satisfiability over Posets

Joachim Niehren , Tim Priesnitz , Zhendong Su
14th European Symposium on Programming, 2005, Edinburgh, United Kingdom. pp.357-373
Conference papers inria-00536523v1
Image document

Well-nested Context Unification

Jordi Levy , Joachim Niehren , Mateu Villaret
20th International Conference on Automated Deduction, 2005, Tallinn, Estonia. pp.149-163
Conference papers inria-00536525v1
Image document

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
Conference papers inria-00536528v1
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

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

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
Conference papers inria-00536529v1
Image document

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
Conference papers inria-00536536v1
Image document

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
Conference papers inria-00536543v1
Image document

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
Conference papers inria-00536542v1
Image document

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
Conference papers inria-00536541v1
Image document

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
Conference papers inria-00536827v1
Image document

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
Conference papers inria-00536828v1
Image document

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
Conference papers inria-00536805v1
Image document

An Efficient Algorithm for the Configuration Problem of Dominance Graphs

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

Beta Reduction Constraints

Manuel Bodirsky , Katrin Erk , Alexander Koller , Joachim Niehren
International Conference on Rewriting Techniques and Applications, 2001, Utrecht, Netherlands. pp.31-46
Conference papers inria-00536804v1
Image document

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
Conference papers inria-00536514v1
Image document

Parallelism Constraints

Katrin Erk , Joachim Niehren
International Conference on Rewriting Techniques and Applications, 2000, Norwich, United Kingdom. pp.110--126
Conference papers inria-00536808v1
Image document

On Underspecified Processing of Dynamic Semantics

Alexander Koller , Joachim Niehren
18th International Conference on Computational Linguistics, 2000, Saarbrücken, Georgia. pp.460--466
Conference papers inria-00536810v1
Image document

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
Conference papers inria-00536806v1
Image document

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
Conference papers inria-00536809v1
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

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
Conference papers inria-00536811v1
Image document

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
Conference papers inria-00536820v1
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

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
Conference papers inria-00536814v1
Image document

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
Conference papers inria-00536812v1
Image document

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
Conference papers inria-00536818v1
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

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
Conference papers inria-00536815v1
Image document

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
Conference papers inria-00536822v1
Image document

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
Conference papers inria-00536816v1
Image document

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
Conference papers inria-00536819v1
Image document

Constraints for Free in Concurrent Computation

Joachim Niehren , Martin Müller
Asian Computing Science Conference, 1995, Pathumthani, Thailand. pp.171--186
Conference papers inria-00536813v1
Image document

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
Conference papers inria-00536826v1
Image document

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
Conference papers inria-00536823v1
Image document

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
Conference papers inria-00536824v1
Image document

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⟩
Book sections inria-00422969v1
Image document

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
Book sections inria-00536829v1