sign in · help · news · about ·

BibSonomy :: author :: Niehren ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(80)

<< < 1 | 2 | 3 > >>

Entailment of Atomic Set Constraints is PSPACE-Complete.
Joachim Niehren, Martin Müller, and Jean-Marc Talbot LICS, page 285-294. IEEE Computer Society, (1999)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
The First-Order Theory of Ordering Constraints over Feature Trees.
Martin Müller, Joachim Niehren, and Ralf Treinen LICS, page 432-443. IEEE Computer Society, (1998)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis.
Ruth Fuchss, Alexander Koller, Joachim Niehren, and Stefan Thater ACL, page 247-254. ACL, (2004)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints.
Joachim Niehren, and Stefan Thater ACL, page 367-374. ACL, (2003)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Polynomial-Time Fragment of Dominance Constraints.
Alexander Koller, Kurt Mehlhorn, and Joachim Niehren ACL, ACL, (2000)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Underspecified Beta Reduction.
Manuel Bodirsky, Katrin Erk, Alexander Koller, and Joachim Niehren ACL, page 74-81. Morgan Kaufmann Publishers, (2001)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Uniform Approach to Underspecification and Parallelism.
Joachim Niehren, Manfred Pinkal, and Peter Ruhrberg ACL, page 410-417. Morgan Kaufmann Publishers / ACL, (1997)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
An efficient algorithm for the configuration problem of dominance graphs.
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, and Sven Thiel SODA, page 815-824. ACM/SIAM, (2001)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm
Martin Müller, and Joachim Niehren CoRR (1995)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Streaming Tree Automata and XPath.
Joachim Niehren NCMA, volume 256 of books@ocg.at, page 15-16. Austrian Computer Society, (2009)
to dblp by dblp on Oct 21, 2011, 12:00 AM
URL | BibTeX
Streamable Fragments of Forward XPath.
Olivier Gauwin, and Joachim Niehren CIAA, volume 6807 of Lecture Notes in Computer Science, page 3-15. Springer, (2011)
to dblp by dblp on Aug 16, 2011, 12:00 AM
URL | BibTeX
Learning Node Selecting Tree Transducer from Completely Annotated Examples.
Julien Carme, Aurélien Lemay, and Joachim Niehren ICGI, volume 3264 of Lecture Notes in Computer Science, page 91-102. Springer, (2004)
to dblp by dblp and 2 other users on Aug 10, 2011, 12:00 AM
URL | BibTeX
Complexity of Subtype Satisfiability over Posets.
Joachim Niehren, Tim Priesnitz, and Zhendong Su ESOP, volume 3444 of Lecture Notes in Computer Science, page 357-373. Springer, (2005)
to dblp by dblp and 1 other user on Aug 8, 2011, 12:00 AM
URL | BibTeX
The XDG Grammar Development Kit.
Ralph Debusmann, Denys Duchier, and Joachim Niehren MOZ, volume 3389 of Lecture Notes in Computer Science, page 188-199. Springer, (2004)
to dblp by dblp and 1 other user on Aug 8, 2011, 12:00 AM
URL | BibTeX
Querying Unranked Trees with Stepwise Tree Automata.
Julien Carme, Joachim Niehren, and Marc Tommasi RTA, volume 3091 of Lecture Notes in Computer Science, page 105-118. Springer, (2004)
to dblp by dblp and 1 other user on Jul 7, 2011, 12:00 AM
URL | BibTeX
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic.
Martin Müller, and Joachim Niehren Inf. Comput. 159(1-2):22-58 (2000)
to dblp by dblp and 1 other user on Jul 6, 2011, 12:00 AM
URL | BibTeX
Parallelism and Tree Regular Constraints.
Joachim Niehren, and Mateu Villaret LPAR, volume 2514 of Lecture Notes in Computer Science, page 311-326. Springer, (2002)
to dblp by dblp and 1 other user on Jul 4, 2011, 12:00 AM
URL | BibTeX
Non-structural Subtype Entailment in Automata Theory.
Joachim Niehren, and Tim Priesnitz TACS, volume 2215 of Lecture Notes in Computer Science, page 360-384. Springer, (2001)
to dblp by dblp and 1 other user on Jun 28, 2011, 12:00 AM
URL | BibTeX
Dominance Constraints: Algorithms and Complexity.
Alexander Koller, Joachim Niehren, and Ralf Treinen LACL, volume 2014 of Lecture Notes in Computer Science, page 106-125. Springer, (1998)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Dominance Constraints in Context Unification.
Joachim Niehren, and Alexander Koller LACL, volume 2014 of Lecture Notes in Computer Science, page 199-218. Springer, (1998)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper