Correctness of Program Translations for Observational Semantics
(pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft
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
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
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)
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
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
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
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
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
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
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
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.
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
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
Functional Computation as Concurrent Computation
(pdf)
Joachim Niehren
$23^th$ Proceedings of the ACM Symposium on Principles of Programming Languages
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
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
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