Joachim Niehren
Joachim Niehren
Dirección de correo verificada de - Página principal
Citado por
Citado por
The constraint language for lambda structures
M Egg, A Koller, J Niehren
Journal of Logic, Language and Information 10, 457-485, 2001
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
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
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
Querying unranked trees with stepwise tree automata
J Carme, J Niehren, M Tommasi
Rewriting Techniques and Applications: 15th International Conference, RTA …, 2004
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
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
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
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
Interactive learning of node selecting tree transducer
J Carme, R Gilleron, A Lemay, J Niehren
Machine Learning 66, 33-67, 2007
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
Dominance constraints: Algorithms and complexity
A Koller, J Niehren, R Treinen
Logical Aspects of Computational Linguistics: Third International Conference …, 2001
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
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
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
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
The attributed pi calculus
M John, C Lhoussaine, J Niehren, AM Uhrmacher
International Conference on Computational Methods in Systems Biology, 83-102, 2008
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
Biochemical reaction rules with constraints
M John, C Lhoussaine, J Niehren, C Versari
European symposium on programming, 338-357, 2011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20