The constraint language for lambda structures M Egg, A Koller, J Niehren Journal of Logic, Language and Information 10, 457-485, 2001 | 211 | 2001 |
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 | 137 | 2021 |
A concurrent lambda calculus with futures J Niehren, J Schwinghammer, G Smolka Theoretical Computer Science 364 (3), 338-356, 2006 | 126 | 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 | 112 | 2006 |
Querying unranked trees with stepwise tree automata J Carme, J Niehren, M Tommasi Rewriting Techniques and Applications: 15th International Conference, RTA …, 2004 | 109 | 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 | 96 | 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 | 82 | 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 | 78 | 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 | 72 | 2015 |
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 | 68 | 1997 |
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 | 67 | 2017 |
Interactive learning of node selecting tree transducer J Carme, R Gilleron, A Lemay, J Niehren Machine Learning 66, 33-67, 2007 | 65 | 2007 |
Dominance constraints: Algorithms and complexity A Koller, J Niehren, R Treinen Logical Aspects of Computational Linguistics: Third International Conference …, 2001 | 63 | 2001 |
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 | 61 | 2003 |
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 | 60 | 2010 |
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 | 58 | 2003 |
The attributed pi calculus M John, C Lhoussaine, J Niehren, AM Uhrmacher International Conference on Computational Methods in Systems Biology, 83-102, 2008 | 56 | 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 | 55 | 2010 |
Biochemical reaction rules with constraints M John, C Lhoussaine, J Niehren, C Versari European symposium on programming, 338-357, 2011 | 51 | 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 | 47 | 2002 |