MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Joachim Niehren – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

67 documents found, showing 1 through 10. Next 10 →

ATOM

Uniform Confluence in Concurrent Computation
by Joachim Niehren — 1999
… in Concurrent Computation (Unabridged) Joachim Niehren Programming Systems Lab, Universitat des Saarlandes…
Cited by 3 (1 self) – Add To MetaCart

Functional Computation as Concurrent Computation
by Joachim Niehren — 1995
…Functional Computation as Concurrent Computation Joachim Niehren Programming Systems Lab German…
Cited by 15 (3 self) – Add To MetaCart

Subtype Constraints in Modal Logic
by Joachim Niehren, Tim Priesnitz — 2005
…Subtype Constraints in Modal Logic Joachim Niehren 1 Tim Priesnitz 2 1 Programming Systems Lab…
Add To MetaCart

Complexity of Subtype Satisfiability over Posets
by Joachim Niehren, Tim Priesnitz — 2005 — in "14th European Symposium on Programming", LNCS
…Abstract Joachim Niehren INRIA Futurs Lille, France Complexity of Subtype Satisfiability over…
Cited by 5 (0 self) – Add To MetaCart

Describing Lambda Terms in Context Unification
by Joachim Niehren, Mateu Villaret — 2005 — in "5th International Conference on Logical Aspects in Computational Linguistics", LNAI, vol. 3492, SV
…Describing Lambda Terms in Context Unification Joachim Niehren 1 and Mateu Villaret 2 1…
Cited by 3 (0 self) – Add To MetaCart

Well-Nested Parallelism Constraints for Ellipsis Resolution
by Katrin Erk, Joachim Niehren — 2003 — IN 11TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION OF COMPUTATIONAL LINGUISTICS
…Well-Nested Parallelism Constraints for Ellipsis Resolution Katrin Erk and Joachim Niehren…
Cited by 4 (2 self) – Add To MetaCart

Parallelism constraints
by Katrin Erk, Joachim Niehren — 2000 — IN INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS, LECTURE NOTES IN COMPUTER SCIENCE
…Parallelism Constraints Katrin Erk ? Joachim Niehren ?? Programming Systems Lab, Universitat…
Cited by 10 (7 self) – Add To MetaCart

Dominance Constraints in Context Unification
by Joachim Niehren, Alexander Koller — 1998
…Dominance Constraints in Context Unication Joachim Niehren Alexander Koller Programming Systems…
Cited by 13 (9 self) – Add To MetaCart

Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
by Céline Kuttler, Joachim Niehren — 2004 — in "Transactions on Computational Systems Biology", vol. 4230, n o VII
… and Joachim Niehren 2 1 Interdisciplinary Research Institute, Lille, France ⋆ 2 INRIA Futurs, Lille, France…
Cited by 11 (2 self) – Add To MetaCart

Dominance Constraints in Stratified Context Unification
by Katrin Erk, Joachim Niehren — 2007 — INFORMATION PROCESSING LETTERS
…Abstract Dominance Constraints in Stratified Context Unification Katrin Erk 2 Joachim Niehren 1 1…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB