Joachim Niehren's publications

Iovka Boneva, Joachim Niehren, Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Constrained Context Variables. Information and Computation, Elsevier, 2022, 286, ⟨10.1016/j.ic.2021.104776⟩. ⟨hal-03151014⟩

Jean Sébastien Guez, Francoise Coucheney, Joany Castéra-Guy, Max Béchet, Pierre Fontanille, et al.. Bioinformatics modelling and metabolic engineering of the branched chain amino acid pathway for specific production of mycosubtilin isoforms in Bacillus subtilis. Metabolites, MDPI, 2022, 12 (2), ⟨10.3390/metabo12020107⟩. ⟨hal-03498125⟩

Emilie Allart, Joachim Niehren, Cristian Versari. Computing Difference Abstractions of Linear Equation Systems. Theoretical Computer Science, Elsevier, 2021, ⟨10.1016/j.tcs.2021.06.030⟩. ⟨hal-03156136v3⟩

Ariane Théatre, Carolina Cano-Prieto, Marco Bartolini, Yoann Laurin, Magali Deleu, et al.. The surfactin-like lipopeptides from Bacillus spp.: natural biodiversity and synthetic biology for a broader application range. Frontiers in Bioengineering and Biotechnology, Frontiers, 2021, ⟨10.3389/fbioe.2021.623701⟩. ⟨hal-03158419⟩

Joachim Niehren, Momar Sakho. Determinization and Minimization of Automata for Nested Words Revisited. Algorithms, MDPI, 2021, ⟨10.3390/a14030068⟩. ⟨hal-03134596⟩

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints. Journal of Computer and System Sciences, Elsevier, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩. ⟨hal-01176763v2⟩

Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Simplification of Reaction Networks, Confluence and Elementary Modes. Computation, MDPI, 2017, Multiscale and Hybrid Modeling of the Living Systems. ⟨hal-01471074⟩

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Automata for Unordered Trees. Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩. ⟨hal-01179493⟩

Debarun Dhali, François Coutte, Anthony Argüelles Arias, Sandrine S. Auger, Vladimir V. Bidnenko, et al.. Genetic engineering of the branched fatty acid metabolic pathway of Bacillus subtilis for the overproduction of surfactin C14 isoform. Biotechnology Journal, Wiley-VCH Verlag, 2017, 12 (7), pp.23. ⟨10.1002/biot.201600574⟩. ⟨hal-01502183⟩

Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello. Structural simplification of chemical reaction networks in partial steady states. BioSystems, Elsevier, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩. ⟨hal-01350517⟩

Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques. Predicting Changes of Reaction Networks with Partial Kinetic Information. BioSystems, Elsevier, 2016, Special Issue of CMSB 2015, 149, pp.113-124. ⟨10.1016/j.biosystems.2016.09.003⟩. ⟨hal-01239198v3⟩

Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui. Early Nested Word Automata for XPath Query Answering on XML Streams. Theoretical Computer Science, Elsevier, 2015, pp.100-125. ⟨10.1016/j.tcs.2015.01.017⟩. ⟨hal-00966625⟩

Manfred Schmidt-Schauss, David Sabel, Joachim Niehren, Jan Schwinghammer. Observational Program Calculi and the Correctness of Translations. Theoretical Computer Science, Elsevier, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩. ⟨hal-00824349⟩

François Coutte, Joachim Niehren, Debarun Dhali, Mathias John, Cristian Versari, et al.. Modeling Leucine’s Metabolic Pathway and Knockout Prediction Improving the Production of Surfactin, a Biosurfactant from Bacillus Subtilis. Biotechnology Journal, Wiley-VCH Verlag, 2015, 10 (8), pp.1216-34. ⟨10.1002/biot.201400541⟩. ⟨hal-01153704⟩

Antoine Mbaye Ndione, Aurélien Lemay, Joachim Niehren. Approximate Membership for Regular Languages modulo the Edit Distance. Theoretical Computer Science, Elsevier, 2013, 487, pp.37-49. ⟨10.1016/j.tcs.2013.03.004⟩. ⟨hal-00801970⟩

Joachim Niehren, Jérôme Champavère, Rémi Gilleron, Aurélien Lemay. Query Induction with Schema-Guided Pruning Strategies. Journal of Machine Learning Research, Microtome Publishing, 2013, 14 (1), pp.927−964. ⟨inria-00607121v2⟩

Olivier Gauwin, Joachim Niehren, Sophie Tison. Queries on XML Streams with Bounded Delay and Concurrency. Information and Computation, Elsevier, 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⟩. ⟨inria-00491495⟩

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus with Priorities. Transactions on Computational Systems Biology, Springer, 2010, Lecture Notes in Computer Science, XII (5945), pp.13-76. ⟨10.1007/978-3-642-11712-1_2⟩. ⟨inria-00422969⟩

Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas. Information and Computation, Elsevier, 2009, 207 (11), pp.1181-1208. ⟨10.1016/j.ic.2009.03.003⟩. ⟨inria-00366082v3⟩

Olivier Gauwin, Joachim Niehren, Yves Roos. Streaming Tree Automata. Information Processing Letters, Elsevier, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩. ⟨inria-00288445v3⟩

Julien Carme, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Interactive Learning of Node Selecting Tree Transducers. Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩. ⟨inria-00087226v5⟩

Wim Martens, Joachim Niehren. On the Minimization of XML-Schemas and Tree Automata for Unranked Trees. Journal of Computer and System Sciences, Elsevier, 2007, Journal of Computer and System Science, 73 (4), pp.550-583. ⟨10.1016/j.jcss.2006.10.021⟩. ⟨inria-00088406v2⟩

Katrin Erk, Joachim Niehren. Dominance Constraints in Stratified Context Unification. Information Processing Letters, Elsevier, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩. ⟨inria-00094787⟩

Céline Kuttler, Joachim Niehren. Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. Transactions on Computational Systems Biology, Springer, 2006, Computational Systems Biology, 4230 (VII), pp.24-55. ⟨10.1007/11905455_2⟩. ⟨inria-00089218v2⟩

Joachim Niehren, Jan Schwinghammer, Gert Smolka. A Concurrent Lambda Calculus with Futures. Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩. ⟨inria-00090434v2⟩

Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, et al.. An Efficient Graph Algorithm for Dominance Constraints. Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩. ⟨inria-00536539⟩

Joachim Niehren, Tim Priesnitz. Non-Structural Subtype Entailment in Automata Theory. Information and Computation, Elsevier, 2003, 169 (2), pp.319-354. ⟨inria-00536540⟩

Katrin Erk, Alexander Koller, Joachim Niehren. Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures. Journal on Research in Language and Computation, Elsevier, 2002, 1 (1), pp.127--169. ⟨inria-00536796⟩

Martin Müller, Joachim Niehren, Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, Vol. 4 no. 2 (2), pp.193-234. ⟨10.46298/dmtcs.267⟩. ⟨inria-00536800⟩

Markus Egg, Alexander Koller, Joachim Niehren. The Constraint Language for Lambda Structures. Journal of Logic, Language and Information, Springer Verlag, 2001, 10, pp.457-485. ⟨inria-00536795⟩

Joachim Niehren, Ralf Treinen, Sophie Tison. On Rewrite Constraints and Context Unification. Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40. ⟨inria-00536802⟩

Joachim Niehren. Uniform Confluence in Concurrent Computation. Journal on Functional Programming, Elsevier, 2000, 10 (5), pp.453-499. ⟨inria-00536801⟩

Alexander Koller, Joachim Niehren, Kristina Striegnitz. Relaxing Underspecified Semantic Representations for Reinterpretation. Grammars, Springer Verlag, 2000, 3 (2/3), pp.217-241. ⟨inria-00536797⟩

Martin Müller, Joachim Niehren. Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic. Information and Computation, Elsevier, 2000, 159 (1/2), pp.22--58. ⟨inria-00536798⟩

Martin Müller, Joachim Niehren, Andreas Podelski. Ordering Constraints over Feature Trees. Constraints, an International Journal, Elsevier, 2000, 5 (1--2), pp.7--42. ⟨inria-00536799⟩

Joachim Niehren, Athénaïs Vaginay, Cristian Versari. Abstract Simulation of Reaction Networks via Boolean Networks. CMSB2022: 20th International Conference on Computational Methods in Systems Biology, Sep 2022, Bucarest, Romania. ⟨hal-02279942v9⟩

Joachim Niehren, Sylvain Salvati, Rustam Azimov. Jumping Evaluation of Nested Regular Path Queries. 38th International Conference on Logic Programming (ICLP'2022), Jul 2022, Haifa, Israel. ⟨hal-02492780v6⟩

Joachim Niehren, Momar Sakho, Antonio Al Serhali. Schema-Based Automata Determinization. Gandalf 2022: 13th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨hal-03536045v2⟩

Antonio Al Serhali, Joachim Niehren. A Benchmark Collection of Deterministic Automata for XPath Queries. XML Prague 2022, Jun 2022, Prague, Czech Republic. ⟨hal-03527888v4⟩

Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon. Linear Programs with Conjunctive Queries. 25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom. ⟨hal-01981553⟩

Iovka Boneva, Joachim Niehren, Momar Sakho. Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata. CSR 2020 - 15th International Computer Science Symposium in Russia, Jun 2020, Ekaterinburg, Russia. ⟨hal-02532706v2⟩

Emilie Allart, Cristian Versari, Joachim Niehren. Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. 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⟩. ⟨hal-02302463⟩

Iovka Boneva, Joachim Niehren, Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia. ⟨hal-01811835v4⟩

Emilie Allart, Joachim Niehren, Cristian Versari. Elementary Flux Modes Improve Gene Knockout Predictions. 12th European Symposium on Biochemical Engineering Science, Sep 2018, Lisbon, Portugal. ⟨hal-02441405⟩

Iovka Boneva, Joachim Niehren, Momar Sakho. Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams. RP 2018 - 12th International Conference on Reachability Problems, Sep 2018, Marseille, France. ⟨hal-01609498v4⟩

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

Adrien Boiret, Aurélien Lemay, Joachim Niehren. Learning Top-Down Tree Transducers with Regular Domain Inspection. International Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands. ⟨hal-01357186⟩

Tom Sebastian, Joachim Niehren. Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams . International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic. ⟨hal-01182529⟩

Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Normalizing Chemical Reaction Networks by Confluent Structural Simplification. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom. ⟨hal-01348303⟩

Antoine Mbaye Ndione, Aurélien Lemay, Joachim Niehren. Sublinear DTD Validity. 9th International Conference on. Language and Automata Theory and Applications, Mar 2015, Nice, France. ⟨hal-00803696⟩

Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques. Qualitative Reasoning about Reaction Networks with Partial Kinetic Information. Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.157-169. ⟨hal-01163391v2⟩

Pavel Labath, Joachim Niehren. A Uniform Programming Language for Implementing XML Standards. 41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. ⟨hal-00954692⟩

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints on Siblings. LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187. ⟨hal-01088761⟩

Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Structural simplification of chemical reaction networks preserving deterministic semantics. Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144. ⟨hal-01168038⟩

Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Attractor Equivalence: An Observational Semantics for Reaction Networks. First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101. ⟨hal-00990924⟩

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Deterministic Automata for Unordered Trees. Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩. ⟨hal-01020236⟩

Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi. Learning Sequential Tree-to-Word Transducers. 8th International Conference on Language and Automata Theory and Applications, Mar 2014, Madrid, Spain. ⟨hal-00912969⟩

Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui. Early Nested Word Automata for XPath Query Answering on XML Streams. 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. pp.292-305. ⟨hal-00676178v2⟩

Mathias John, Mirabelle Nebut, Joachim Niehren. Knockout Prediction for Reaction Networks with Partial Kinetic Information. 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.355-374. ⟨hal-00692499⟩

Mathias John, François Coutte, Mirabelle Nebut, Philippe Jacques, Joachim Niehren. Knockout Prediction for Reaction Networks with Partial Kinetic Information: Application to Surfactin Overproduction in Bacillus subtilis. 3rd International Symposium on Antimicrobial Peptides, Jun 2012, Lille, France. ⟨hal-00702295⟩

Adrien Boiret, Aurélien Lemay, Joachim Niehren. Learning Rational Functions. 16th International Conference on Developments of Language Theory, Apr 2012, Taipee, Taiwan. ⟨hal-00692341⟩

François Coutte, Mathias John, Max Béchet, Mirabelle Nebut, Joachim Niehren, et al.. Synthetic Engineering of Bacillus subtilis to Overproduce Lipopeptide Biosurfactants. 9th European Symposium on Biochemical Engineering Science, Sep 2012, Istanbul, Turkey. ⟨hal-00717261⟩

Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi. Normalization of Sequential Top-Down Tree-to-Word Transducers. 5th International Conference on Language Automata Theory and Appliciations, May 2011, Tarragona, Spain. ⟨inria-00566291⟩

Olivier Gauwin, Joachim Niehren. Streamable Fragments of Forward XPath. 16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. pp.3-15. ⟨inria-00442250⟩

Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari. Biochemical Reaction Rules with Constraints. 20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357. ⟨inria-00544387⟩

Aurélien Lemay, Sebastian Maneth, Joachim Niehren. A Learning Algorithm for Top-Down XML Transformations. 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2010, Indianapolis, United States. pp.285-296. ⟨inria-00460489v2⟩

Olivier Gauwin, Joachim Niehren, Sophie Tison. Bounded Delay and Concurrency for Earliest Query Answering. 3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.350-361, ⟨10.1007/978-3-642-00982-2⟩. ⟨inria-00348463⟩

Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren. Equivalence of Deterministic Nested Word to Word Transducers. Fundamentals of Computation Theory, Maciej Gebala and Malgorzata Korzeniowska, Sep 2009, Wroclaw, Poland. pp.310-322, ⟨10.1007/978-3-642-03409-1_28⟩. ⟨inria-00423961⟩

Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauss, Joachim Niehren. Correctly Translating Concurrency Primitives. The 2009 SIGPLAN Workshop on ML, Oct 2009, Edinburgh, United Kingdom. pp.27-38. ⟨inria-00429239⟩

Olivier Gauwin, Joachim Niehren, Sophie Tison. Earliest Query Answering for Deterministic Nested Word Automata. 17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. pp.121-132. ⟨inria-00390236v2⟩

Mathias John, Cédric Lhoussaine, Joachim Niehren. Dynamic Compartments in the Imperative Pi Calculus. Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩. ⟨inria-00422970⟩

Manfred Schmidt-Schauss, Joachim Niehren, Jan Schwinghammer, David Sabel. Adequacy of compositional translations for observational semantics. 5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. pp.521-535. ⟨inria-00257279v7⟩

Marco Kuhlmann, Joachim Niehren. Logics and Automata for Totally Ordered Trees. 19th International Conference on Rewriting Techniques and Applications, Jun 2008, Linz, Austria. pp.217-231. ⟨inria-00610420⟩

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus. Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102. ⟨inria-00308970v4⟩

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

Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison. Complexity of Earliest Query Answering with Streaming Tree Automata. ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States. ⟨inria-00336169⟩

Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Efficient Inclusion Checking for Deterministic Tree Automata and DTDs. 2nd International Conference on Language and Automata Theory and Applications, Mar 2008, Tarragona, Spain. pp.184-195. ⟨inria-00192329v6⟩

Céline Kuttler, Cédric Lhoussaine, Joachim Niehren. A Stochastic Pi Calculus for Concurrent Objects. Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246. ⟨inria-00121104v3⟩

Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. Polynomial Time Fragments of XPath with Variables. 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2007, Beijing, China. pp.205-214. ⟨inria-00135678⟩

Joachim Niehren, David Sabel, Manfred Schmidt-Schauss, Jan Schwinghammer. Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. 23rd Conference on Mathematical Foundations of Programming Semantics, Apr 2007, New Orleans, United States. pp.313-337. ⟨inria-00128861⟩

Aurélien Lemay, Joachim Niehren, Rémi Gilleron. Learning n-ary Node Selecting Tree Transducers from Completely Annotated Examples. 8th International Colloquium on Grammatical Inference, Sep 2006, Tokyo, Japan. pp.253-267. ⟨inria-00088077v2⟩

Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. Composing Monadic Queries in Trees. PLAN-X, 2006, Unknown, Unknown Region. pp.61-70, ⟨10.1007/978-3-319-04939-7_13⟩. ⟨hal-01196266⟩

Wim Martens, Joachim Niehren. Minimizing Tree Automata for Unranked Trees. 10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.232--246. ⟨inria-00536521⟩

Joachim Niehren, Mateu Villaret. Describing Lambda Terms in Context Unification. 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. pp.221-237. ⟨inria-00536524⟩

Joachim Niehren, Tim Priesnitz, Zhendong Su. Complexity of Subtype Satisfiability over Posets. 14th European Symposium on Programming, 2005, Edinburgh, United Kingdom. pp.357-373. ⟨inria-00536523⟩

Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison. N-ary Queries by Tree Automata. 10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.217--231. ⟨inria-00536522⟩

Jordi Levy, Joachim Niehren, Mateu Villaret. Well-nested Context Unification. 20th International Conference on Automated Deduction, 2005, Tallinn, Estonia. pp.149-163. ⟨inria-00536525⟩

Manuel Bodirsky, Denys Duchier, Joachim Niehren, Sebastian Miele. A New Algorithm for Normal Dominance Constraints. ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. pp.59-67. ⟨inria-00536536⟩

Julien Carme, Aurélien Lemay, Joachim Niehren. Learning Node Selecting Tree Transducer from Completely Annotated Examples. 7th International Colloquium on Grammatical Inference, 2004, Athens, Greece. pp.91--102. ⟨inria-00536528⟩

Julien Carme, Joachim Niehren, Marc Tommasi. Querying Unranked Trees with Stepwise Tree Automata. 19th International Conference on Rewriting Techniques and Applications, 2004, Aachen, Georgia. pp.105--118. ⟨inria-00536529⟩

Ralph Debusmann, Denys Duchier, Joachim Niehren. The XDG Grammar Development Kit. 2nd International Conference on Multiparadigm Programming in , 2004, Charleroi, Belgium. pp.190--201. ⟨inria-00536530⟩

Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater. Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis. 42th Meeting of the Association for Computational Linguistics, 2004, Barcelona, Spain. pp.247-254. ⟨inria-00536532⟩

Katrin Erk, Joachim Niehren. Well-Nested Parallelism Constraints for Ellipsis Resolution. 10th Conference of the European Chapter of the Association for Computational Linguistics, Association for Compuational Linguistics, 2003, Budapest, Hungary. pp.115--122. ⟨inria-00536541⟩

Joachim Niehren, Stefan Thater. Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints. 41st Meeting of the Association of Computational Linguistics (ACL), 2003, Saporo, Japan. pp.367-374. ⟨inria-00536543⟩

Alexander Koller, Joachim Niehren, Stefan Thater. Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints. 10th Meeting of the European Chapter of the Association of Computational Linguistics, 2003, Budapest, Hungary. pp.195-202. ⟨inria-00536542⟩

Zhendong Su, Alex Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. First-Order Theory of Subtyping Constraints. The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002, Portland, United States. pp.203-216. ⟨inria-00536828⟩

Joachim Niehren, Mateu Villaret. Parallelism and Tree Regular Constraints. International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2002, Tblisi, Georgia. pp.311--326. ⟨inria-00536827⟩

Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren. Beta Reduction Constraints. International Conference on Rewriting Techniques and Applications, 2001, Utrecht, Netherlands. pp.31-46. ⟨inria-00536804⟩

Joachim Niehren, Tim Priesnitz. Non-Structural Subtype Entailment in Automata Theory. 4th International Symposium on Theoretical Aspects of Computer Software, 2001, Sendai, Japan. pp.360--384. ⟨inria-00536514⟩

Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren. Underspecified Beta Reduction. 39th Annual Meeting of the Association for Computational Linguistics, 2001, Toulouse, France. pp.74-81. ⟨inria-00536805⟩

Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, et al.. An Efficient Algorithm for the Configuration Problem of Dominance Graphs. Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, Washington, DC, United States. pp.815--824. ⟨inria-00536803⟩

Katrin Erk, Joachim Niehren. Parallelism Constraints. International Conference on Rewriting Techniques and Applications, 2000, Norwich, United Kingdom. pp.110--126. ⟨inria-00536808⟩

Denys Duchier, Joachim Niehren. Dominance Constraints with Set Operators. Proceedings of the First International Conference on Computational Logic, 2000, London, United Kingdom. pp.326-341. ⟨inria-00536806⟩

Alexander Koller, Kurt Mehlhorn, Joachim Niehren. A Polynomial-Time Fragment of Dominance Constraints. 38th Annual Meeting of the Association of Computational Linguistics, 2000, Hong Kong, China. pp.368--375. ⟨inria-00536809⟩

Alexander Koller, Joachim Niehren. On Underspecified Processing of Dynamic Semantics. 18th International Conference on Computational Linguistics, 2000, Saarbrücken, Georgia. pp.460--466. ⟨inria-00536810⟩

Alexander Koller, Joachim Niehren, Kristina Striegnitz. Relaxing Underspecified Semantic Representations for Reinterpretation. 6th Meeting on Mathematics of Language, 1999, Orlando, Florida, United States. pp.74--87. ⟨inria-00536811⟩

Joachim Niehren, Tim Priesnitz. Entailment of Non-Structural Subtype Constraints. Asian Computing Science Conference, 1999, Phuket, Thailand. pp.251--265. ⟨inria-00536825⟩

Joachim Niehren, Martin Müller, Jean-Marc Talbot. Entailment of Atomic Set Constraints is PSPACE-Complete. Fourteenth Annual IEEE Symposium on Logic in Computer Sience, 1999, Trento, Italy. pp.285--294. ⟨inria-00536817⟩

Alexander Koller, Joachim Niehren, Ralf Treinen. Dominance Constraints: Algorithms and Complexity. Third International Conference on Logical Aspects of Computational Linguistics 1998 (Postproceedings 2001), 1998, Grenoble, France. pp.106-125. ⟨inria-00536812⟩

Martin Müller, Joachim Niehren. Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic. 9th International Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan. pp.196--210. ⟨inria-00536814⟩

Joachim Niehren, Alexander Koller. Dominance Constraints in Context Unification. 3rd International Conference on Logical Aspects of Computational Linguistics 1998 (Postproceedings 2001), 1998, Heidelberg, France. pp.199-218. ⟨inria-00536820⟩

Martin Müller, Joachim Niehren, Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees. 13th annual IEEE Symposium on Logic in Computer Sience, 1998, Indianapolis, Indiana, United States. pp.432--443. ⟨inria-00536818⟩

Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu. Constraints over Lambda-Structures in Semantic Underspecification. 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. ⟨inria-00536807⟩

Martin Müller, Joachim Niehren, Andreas Podelski. Inclusion Constraints over Non-Empty Sets of Trees. Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS, 1997, Lille, France. pp.217-231. ⟨inria-00536816⟩

Martin Müller, Joachim Niehren, Andreas Podelski. Ordering Constraints over Feature Trees. 3rd International Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Linz, Austria. pp.297--311. ⟨inria-00536815⟩

Joachim Niehren, Manfred Pinkal, Peter Ruhrberg. On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting. Proceedings of the International Conference on Automated Deduction, 1997, Townsville, Australia. pp.34-48. ⟨inria-00536822⟩

Joachim Niehren, Manfred Pinkal, Peter Ruhrberg. A Uniform Approach to Underspecification and Parallelism. 35th Annual Meeting of the Association of Computational Linguistics, 1997, Madrid, Spain. pp.410-417. ⟨inria-00536821⟩

Joachim Niehren. Functional Computation as Concurrent Computation. 23th ACM Symposium on Principles of Programming Languages, 1996, St. Petersburg Beach, Florida, United States. pp.333--343. ⟨inria-00536819⟩

Joachim Niehren, Martin Müller. Constraints for Free in Concurrent Computation. Asian Computing Science Conference, 1995, Pathumthani, Thailand. pp.171--186. ⟨inria-00536813⟩

Joachim Niehren, Gert Smolka. A Confluent Relational Calculus for Higher-Order Programming with Constraints. 1st International Conference on Constraints in Computational Logics, 1994, Munich, Germany. ⟨inria-00536826⟩

Joachim Niehren, Andreas Podelski. Feature Automata and Recognizable Sets of Feature Trees. TAPSOFT: Theory and Practice of Software Development: Joint International Conference CAAP/FASE/TOOLS., 1993, Orsay, France. pp.356--375. ⟨inria-00536823⟩

Joachim Niehren, Andreas Podelski, Ralf Treinen. Equational and Membership Constraints for Infinite Trees. 5th International Conference on Rewriting Techniques and Applications, 1993, Montreal, Canada. pp.106-120. ⟨inria-00536824⟩

Alexander Koller, Joachim Niehren. Constraint Programming in Computational Linguistics. 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. ⟨inria-00536829⟩

Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi. Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning. 2015. ⟨hal-01186993⟩

Iovka Boneva, Joachim Niehren, Momar Sakho. Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version). 2018. ⟨hal-01846016⟩

Adrien Boiret, Aurélien Lemay, Joachim Niehren. A Learning Algorithm for Top-Down Tree Transducers. 2017. ⟨hal-01357627⟩

Adrien Boiret, Aurélien Lemay, Joachim Niehren. Learning Top-Down Tree Transformations with Regular Inspection. 2016. ⟨hal-01357631⟩

Pavel Labath, Joachim Niehren. A Functional Language for Hyperstreaming XSLT. [Research Report] inria lille. 2013. ⟨hal-00806343⟩

Anthony Lick, Joachim Niehren. Early = Earliest?. [Research Report] inria lille. 2013. ⟨hal-00873742⟩

Guillaume Bagan, Joachim Niehren. Constant Delay Enumeration for Acyclic Conjunctive Queries over X-Doublebar Structures. [Research Report] 2011. ⟨inria-00609719⟩