Programming Systems Lab: Publications by Joachim Niehren

Saarland University Computer Science

Select author:

2010

Correctness of Program Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft

2009

Correctly Translating Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
2009 ACM SIGPLAN Workshop on ML (ML'09)

On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

2008

On Proving the Equivalence of Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

Adequacy of Compositional Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
5th IFIP International Conference on Theoretical Computer Science

2007

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII)

2006

Program Equivalence for a Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report, Revised version appeared Proc. of Mathematical Foundations of Programming Semantics (23rd MFPS), April 2007

A Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
Theoretical Computer Science

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems

2005

The Complexity of Subtype Satisfiability over Posets   (pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming

A Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
5th International Workshop on Frontiers in Combining Systems

2004

The XDG Grammar Development Kit   (pdf)
Ralph Debusmann, Denys Duchier, Joachim Niehren
2nd International Conference on Multiparadigm Programming in Mozart/Oz

Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis   (pdf)
Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater
42th Meeting of the Association for Computational Linguistics

A New Algorithm for Normal Dominance Constraints   (pdf)
Manuel Bodirsky, Denys Duchier, Sebastian Miele, Joachim Niehren
ACM-SIAM Symposium on Discrete Algorithms

2003

Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints   (pdf)
Alexander Koller, Joachim Niehren, Stefan Thater
Meeting of the European Chapter of the Association of Computational Linguistics

Well-Nested Parallelism Constraints for Ellipsis Resolution   (pdf)
Katrin E. Erk, Joachim Niehren
11th Conference of the European Chapter of the Association of Computational Linguistics

Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints   (pdf)
Joachim Niehren, Stefan Thater
41st Meeting of the Association of Computational Linguistics

An Efficient Graph Algorithm for Dominance Constraints   (pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Journal of Algorithms

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Information and Computation

2002

Parallelism and Tree Regular Constraints   (pdf)
Joachim Niehren, Mateu Villaret
International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Constraint Programming in Computational Linguistics   (pdf)
Alexander Koller, Joachim Niehren
Words, Proofs, and Dialog

Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures   (pdf)
Katrin E. Erk, Alexander Koller, Joachim Niehren
Journal of Research on Language and Computation

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

2001

Dominance Constraints in Context Unification   (pdf)
Joachim Niehren, Alexander Koller
Proceedings of the 3$^rm rd$ International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)

Dominance Constraints: Algorithms and Complexity   (pdf)
Alexander Koller, Joachim Niehren, Ralf Treinen
Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)

An Efficient Algorithm for the Configuration Problem of Dominance Graphs   (pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Fourth International Symposium on Theoretical Aspects of Computer Software

Beta Reduction Constraints   (pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Underspecified Beta Reduction   (pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
39th Annual Meeting of the Association for Computational Linguistics

The Constraint Language for Lambda Structures   (pdf)
Markus Egg, Alexander Koller, Joachim Niehren
Journal of Logic, Language, and Information

2000

Uniform Confluence in Concurrent Computation   (pdf)
Joachim Niehren
Journal of Functional Programming

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
Information and Computation

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Constraints, an International Journal

On Rewrite Constraints and Context Unification   (pdf)
Joachim Niehren, Ralf Treinen, Sophie Tison
Information Processing Letters

On Underspecified Processing of Dynamic Semantics   (pdf)
Alexander Koller, Joachim Niehren
Proceedings of the 18th International Conference on Computational Linguistics

Parallelism Constraints   (pdf)
Katrin E. Erk, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Dominance Constraints with Set Operators   (pdf)
Denys Duchier, Joachim Niehren
Proceedings of the First International Conference on Computational Logic (CL2000)

Relaxing Underspecified Semantic Representations for Reinterpretation   (pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Grammars

A Polynomial-Time Fragment of Dominance Constraints   (pdf)
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
Proceedings of the 38th Annual Meeting of the Association of Computational Linguistics

1999

Relaxing Underspecified Semantic Representations for Reinterpretation   (pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Proceedings of the Sixth Meeting on Mathematics of Language (MOL6)

Entailment of Non-Structural Subtype Constraints   (pdf)
Joachim Niehren, Tim Priesnitz
Asian Computing Science Conference

Entailment of Atomic Set Constraints is PSPACE-Complete   (pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience

Scope Underspecification and Processing   (pdf)
Alexander Koller, Joachim Niehren
Reader for the ESSLLI summer school.

1998

Concurrent Constraint Programming in Oz for Natural Language Processing
Denys Duchier, Claire Gardent, Joachim Niehren
Available at \urlhttp://www.ps.uni-sb.de/~niehren/Web/Vorlesungen/Oz-NL-SS01/BookHomePage.html

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Constraints over Lambda-Structures in Semantic Underspecification   (pdf)
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics

1997

Inclusion Constraints over Non-Empty Sets of Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

A Uniform Approach to Underspecification and Parallelism   (pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL)

On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting   (pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the International Conference on Automated Deduction

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming

1996

Functional Computation as Concurrent Computation   (pdf)
Joachim Niehren
$23^th$ Proceedings of the ACM Symposium on Principles of Programming Languages

1995

Functional Computation as Concurrent Computation   (pdf)
Joachim Niehren
Technical Report, shorter version appeared in: \em Proceedings of POPL'96\/, The ACM Press

A Type is a Type is a Type   (pdf)
Martin Müller, Joachim Niehren
Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing

Constraints for Free in Concurrent Computation   (pdf)
Martin Müller, Joachim Niehren
Asian Computing Science Conference

1994

Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen   (pdf)
Joachim Niehren
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

A Confluent Relational Calculus for Higher-Order Programming with Constraints   (pdf)
Joachim Niehren, Gert Smolka
1st International Conference on Constraints in Computational Logics

1993

Feature Automata and Recognizable Sets of Feature Trees   (pdf)
Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

Equational and Membership Constraints for Infinite Trees   (pdf)
Joachim Niehren, Andreas Podelski, Ralf Treinen
5th International Conference on Rewriting Techniques and Applications


Login to edit


Legal notice, Privacy policy