Seguir
Joachim Niehren
Joachim Niehren
INRIA Lille
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
The constraint language for lambda structures
M Egg, A Koller, J Niehren
Journal of Logic, Language and Information 10, 457-485, 2001
2082001
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
1112006
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
1102021
Querying unranked trees with stepwise tree automata
J Carme, J Niehren, M Tommasi
Rewriting Techniques and Applications: 15th International Conference, RTA …, 2004
1072004
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
962007
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
692015
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
661997
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
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
602003
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
592017
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
The attributed pi calculus
M John, C Lhoussaine, J Niehren, AM Uhrmacher
International Conference on Computational Methods in Systems Biology, 83-102, 2008
572008
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
Biochemical reaction rules with constraints
M John, C Lhoussaine, J Niehren, C Versari
European symposium on programming, 338-357, 2011
512011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20