Obserwuj
Joachim Niehren
Joachim Niehren
INRIA Lille
Zweryfikowany adres z inria.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
The constraint language for lambda structures
M Egg, A Koller, J Niehren
Journal of Logic, Language and Information 10, 457-485, 2001
2072001
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1242006
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
1192021
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
1122006
Querying unranked trees with stepwise tree automata
J Carme, J Niehren, M Tommasi
Rewriting Techniques and Applications: 15th International Conference, RTA …, 2004
1082004
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
712015
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
681997
Interactive learning of node selecting tree transducer
J Carme, R Gilleron, A Lemay, J Niehren
Machine Learning 66, 33-67, 2007
642007
Dominance constraints: Algorithms and complexity
A Koller, J Niehren, R Treinen
Logical Aspects of Computational Linguistics: Third International Conference …, 2001
622001
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
602017
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
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
592010
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
552010
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20