Joachim Niehren
Joachim Niehren
INRIA Lille
Adresse e-mail validée de inria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
The constraint language for lambda structures
M Egg, A Koller, J Niehren
Journal of Logic, Language and Information 10 (4), 457-485, 2001
2052001
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1112006
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
1052006
Querying unranked trees with stepwise tree automata
J Carme, J Niehren, M Tommasi
International Conference on Rewriting Techniques and Applications, 105-118, 2004
912004
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
802007
Constraints over lambda-structures in semantic underspecification
M Egg, J Niehren, P Ruhrberg, F Xu
751998
On equality up-to constraints over finite trees, context unification, and one-step rewriting
J Niehren, M Pinkal, P Ruhrberg
International Conference on Automated Deduction, 34-48, 1997
731997
Interactive learning of node selecting tree transducer
J Carme, R Gilleron, A Lemay, J Niehren
Machine Learning 66 (1), 33-67, 2007
612007
A uniform approach to underspecification and parallelism
J Niehren, M Pinkal, P Ruhrberg
611997
Dominance constraints: Algorithms and complexity
A Koller, J Niehren, R Treinen
International Conference on Logical Aspects of Computational Linguistics …, 1998
601998
An efficient graph algorithm for dominance constraints
E Althaus, D Duchier, A Koller, K Mehlhorn, J Niehren, S Thiel
592003
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
572010
Bridging the gap between underspecification formalisms: Hole semantics as dominance constraints
A Koller, J Niehren, S Thater
552003
The attributed pi-calculus with priorities
M John, C Lhoussaine, J Niehren, AM Uhrmacher
Transactions on Computational Systems Biology XII, 13-76, 2010
482010
The attributed pi calculus
M John, C Lhoussaine, J Niehren, AM Uhrmacher
International Conference on Computational Methods in Systems Biology, 83-102, 2008
462008
N-ary queries by tree automata
J Niehren, L Planque, JM Talbot, S Tison
International Workshop on Database Programming Languages, 217-231, 2005
442005
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
432002
Observational semantics for a concurrent lambda calculus with reference cells and futures
J Niehren, D Sabel, M Schmidt-Schauß, J Schwinghammer
Electronic Notes in Theoretical Computer Science 173, 313-337, 2007
412007
Functional computation as concurrent computation
J Niehren
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
411996
Constraints for free in concurrent computation
J Niehren, M Müller
Asian Computing Science Conference, 171-186, 1995
411995
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20