BibSonomy :: author  ::

bookmarks

publications

(68)

• Efficient Inclusion Checking for Deterministic Tree Automata and DTDs.
  Jérôme Champavère and Rémi Gilleron and Aurélien Lemay and Joachim Niehren LATA 184-195 (2008)
  to dblp by dblp on 2008-10-22 00:00:00
  | URL | BibTeX  
• The Attributed Pi Calculus.
  Mathias John and Cédric Lhoussaine and Joachim Niehren and Adelinde M. Uhrmacher CMSB 83-102 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• Schema-Guided Induction of Monadic Queries.
  Jérôme Champavère and Rémi Gilleron and Aurélien Lemay and Joachim Niehren ICGI 15-28 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Adequacy of Compositional Translations for Observational Semantics.
  Manfred Schmidt-Schauß and Joachim Niehren and Jan Schwinghammer and David Sabel IFIP TCS 521-535 (2008)
  to dblp by dblp on 2008-09-15 00:00:00
  | URL | BibTeX  
• Logics and Automata for Totally Ordered Trees.
  Marco Kuhlmann and Joachim Niehren RTA 217-231 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Complexity of Earliest Query Answering with Streaming Tree Automata.
  Olivier Gauwin and Anne-Cécile Caron and Joachim Niehren and Sophie Tison PLAN-X (2008)
  to dblp by dblp on 2008-01-21 00:00:00
  | URL | BibTeX  
• Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm
  Martin Müller and Joachim Niehren CoRR abs/cmp-lg/9506002 (1995)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Constraint Programming Technology in Computational Linguistics
  Alexander Koller and Joachim Niehren Proc. LLC8 (1999)
  to DG constraint_programming underspecification by diego_ma on 2007-12-14 02:41:42
  | URL | BibTeX  
• A Stochastic Pi Calculus for Concurrent Objects.
  Céline Kuttler and Cédric Lhoussaine and Joachim Niehren AB 232-246 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Polynomial time fragments of XPath with variables.
  Emmanuel Filiot and Joachim Niehren and Jean-Marc Talbot and Sophie Tison PODS 205-214 (2007)
  to dblp by dblp and 1 other person on 2007-06-13 00:00:00
  | URL | BibTeX