Joachim Niehren

Publications

Article dans une revue (35)

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
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 Fontanilleet al. Metabolites, 2022, 12 (2), pp.107. ⟨10.3390/metabo12020107⟩ Article dans une revue hal-03498125v1
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
Determinization and Minimization of Automata for Nested Words Revisited Joachim Niehren,Momar Sakho Algorithms, 2021, ⟨10.3390/a14030068⟩ Article dans une revue hal-03134596v1
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
The surfactin-like lipopeptides from &lt;i&gt;Bacillus&lt;/i&gt; spp.: natural biodiversity and synthetic biology for a broader application range Ariane Théatre,Carolina Cano-Prieto,Marco Bartolini,Yoann Laurin,Magali Deleuet al. Frontiers in Bioengineering and Biotechnology, 2021, ⟨10.3389/fbioe.2021.623701⟩ Article dans une revue hal-03158419v1
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
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
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. Bidnenkoet al. Biotechnology Journal, 2017, 12 (7), pp.23. ⟨10.1002/biot.201600574⟩ Article dans une revue hal-01502183v1
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
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
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 Versariet al. Biotechnology Journal, 2015, 10 (8), pp.1216-34. ⟨10.1002/biot.201400541⟩ Article dans une revue hal-01153704v1
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
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
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
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
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
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
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
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
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
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
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
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
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
An Efficient Graph Algorithm for Dominance Constraints Ernst Althaus,Denys Duchier,Alexander Koller,Kurt Mehlhorn,Joachim Niehrenet 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
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
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
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
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
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
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
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
Uniform Confluence in Concurrent Computation Joachim Niehren Journal on Functional Programming, 2000, 10 (5), pp.453-499 Article dans une revue inria-00536801v1

Communication dans un congrès (92)

Advancing Lignocellulosic Biomass Conversion into Lipopeptides through Knowledge-Driven B. subtilis Engineering Francesco Roppo,Joachim Niehren,Florian Chemarin,Nastassia Kaugarenia,Sigrid Görgenet al. Advanced Fermentation Technology, Jun 2026, Lille, France Communication dans un congrès hal-05591810v1
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 Niehrenet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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èreet 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
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
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
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
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
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 Niehrenet al. 9th European Symposium on Biochemical Engineering Science, Sep 2012, Istanbul, Turkey Communication dans un congrès hal-00717261v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
An Efficient Algorithm for the Configuration Problem of Dominance Graphs Ernst Althaus,Denys Duchier,Alexander Koller,Kurt Mehlhorn,Joachim Niehrenet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (2)

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
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

Autre publication scientifique (1)

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

Pré-publication, Document de travail (5)

Abstract Simulation of Partial Reaction Networks Marie-Eva Fabri,Joachim Niehren,Sara Riva,Cristian Versari 2026 Pré-publication, Document de travail hal-05591762v1
Path Control for Partial Reaction Networks Joachim Niehren 2026 Pré-publication, Document de travail hal-05591757v1
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version) Iovka Boneva,Joachim Niehren,Momar Sakho 2018 Pré-publication, Document de travail hal-01846016v1
A Learning Algorithm for Top-Down Tree Transducers Adrien Boiret,Aurélien Lemay,Joachim Niehren 2017 Pré-publication, Document de travail hal-01357627v1
Learning Top-Down Tree Transformations with Regular Inspection Adrien Boiret,Aurélien Lemay,Joachim Niehren 2016 Pré-publication, Document de travail hal-01357631v1

Rapport (3)

A Functional Language for Hyperstreaming XSLT Pavel Labath,Joachim Niehren [Research Report] inria lille. 2013 Rapport (rapport de recherche) hal-00806343v1
Early = Earliest? Anthony Lick,Joachim Niehren [Research Report] inria lille. 2013 Rapport (rapport de recherche) hal-00873742v1
Constant Delay Enumeration for Acyclic Conjunctive Queries over X-Doublebar Structures Guillaume Bagan,Joachim Niehren [Research Report] 2011 Rapport (rapport de recherche) inria-00609719v1