Follow
Joachim Niehren
Joachim Niehren
INRIA Lille
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
The constraint language for lambda structures
M Egg, A Koller, J Niehren
Journal of Logic, Language and Information 10, 457-485, 2001
2042001
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1252006
Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch
C Kuttler, J Niehren
Transactions on computational systems biology VII, 24-55, 2006
1092006
Querying unranked trees with stepwise tree automata
J Carme, J Niehren, M Tommasi
Rewriting Techniques and Applications: 15th International Conference, RTA …, 2004
1062004
The Surfactin-Like Lipopeptides From Bacillus spp.: Natural Biodiversity and Synthetic Biology for a Broader Application Range
A Théatre, C Cano-Prieto, M Bartolini, Y Laurin, M Deleu, J Niehren, ...
Frontiers in Bioengineering and Biotechnology 9, 623701, 2021
952021
On the minimization of XML schemas and tree automata for unranked trees
W Martens, J Niehren
Journal of Computer and System Sciences 73 (4), 550-583, 2007
952007
Constraints over lambda-structures in semantic underspecification
M Egg, J Niehren, P Ruhrberg, F Xu
Joined 17th International Conference on Computational Linguistics and 36th …, 1998
811998
On equality up-to constraints over finite trees, context unification, and one-step rewriting
J Niehren, M Pinkal, P Ruhrberg
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
761997
Modeling leucine's metabolic pathway and knockout prediction improving the production of surfactin, a biosurfactant from Bacillus subtilis
F Coutte, J Niehren, D Dhali, M John, C Versari, P Jacques
Biotechnology journal 10 (8), 1216-1234, 2015
672015
Interactive learning of node selecting tree transducer
J Carme, R Gilleron, A Lemay, J Niehren
Machine Learning 66, 33-67, 2007
662007
A uniform approach to underspecification and parallelism
J Niehren, M Pinkal, P Ruhrberg
35th Annual Meeting of the Association of Computational Linguistics, 410-417, 1997
651997
Dominance constraints: Algorithms and complexity
A Koller, J Niehren, R Treinen
Logical Aspects of Computational Linguistics: Third International Conference …, 2001
632001
A learning algorithm for top-down XML transformations
A Lemay, S Maneth, J Niehren
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on …, 2010
622010
An efficient graph algorithm for dominance constraints
E Althaus, D Duchier, A Koller, K Mehlhorn, J Niehren, S Thiel
Journal of Algorithms 48 (1), 194-219, 2003
592003
Bridging the gap between underspecification formalisms: Hole semantics as dominance constraints
A Koller, J Niehren, S Thater
10th Meeting of the European Chapter of the Association of Computational …, 2003
582003
Genetic engineering of the branched fatty acid metabolic pathway of Bacillus subtilis for the overproduction of surfactin C14 isoform
D Dhali, F Coutte, AA Arias, S Auger, V Bidnenko, G Chataigné, M Lalk, ...
Biotechnology journal 12 (7), 1600574, 2017
562017
The attributed pi-calculus with priorities
M John, C Lhoussaine, J Niehren, AM Uhrmacher
Transactions on Computational Systems Biology XII: Special Issue on Modeling …, 2010
562010
The attributed pi calculus
M John, C Lhoussaine, J Niehren, AM Uhrmacher
International Conference on Computational Methods in Systems Biology, 83-102, 2008
562008
Biochemical reaction rules with constraints
M John, C Lhoussaine, J Niehren, C Versari
European symposium on programming, 338-357, 2011
482011
The first-order theory of subtyping constraints
Z Su, A Aiken, J Niehren, T Priesnitz, R Treinen
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
472002
The system can't perform the operation now. Try again later.
Articles 1–20