BibTex

Joachim Niehren`s Publications on Programming Languages

concurrent * concurrency * subtype * subtyping * simulation Oz * Mozart * pi calculus * lambda calculus * programming language *futures * pi-calculus * lambda-calculus niehren

---

International Journals

1. [2010] Mathias John and Cédric Lhoussaine and Joachim Niehren and Adelinde Uhrmacher, The Attributed Pi Calculus with Priorities, Transactions on Computational Systems Biology XII 5945, 13-76
2. [2006] Joachim Niehren and Jan Schwinghammer and Gert Smolka, A Concurrent Lambda Calculus with Futures, Theoretical Computer Science 3 364, 338-356
3. [2006] Céline Kuttler and Joachim Niehren, Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch, Transactions on Computational Systems Biology VII 4220, 24-55
4. [2003] Joachim Niehren and Tim Priesnitz, Non-Structural Subtype Entailment in Automata Theory, Information and Computation 2 169, 319-354
5. [2000] Joachim Niehren, Uniform Confluence in Concurrent Computation, Journal of Functional Programming 5 10, 453-499

International Conferences

1. [2008] Mathias John and Cédric Lhoussaine and Joachim Niehren and Adelinde Uhrmacher, The Attributed Pi Calculus, Computational Methods in Systems Biology, 6th International Conference, Lecture Notes in Computer Science 5307, 83-102
2. [2008] Manfred Schmidt-Schauß and Joachim Niehren and David Sabel and Jan Schwinghammer, Adequacy of Compositional Translations for Observational Semantics, 5th IFIP International Conference on Theoretical Computer Science 273, 521-535
3. [2007] Joachim Niehren and David Sabel and Manfred Schmidt-Schauß and Jan Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, 23rd Conference on Mathematical Foundations of Programming Semantics, Electronical notes in theoretical computer science 173, 313-337
4. [2007] Céline Kuttler and Cédric Lhoussaine and Joachim Niehren, A Stochastic Pi Calculus for Concurrent Objects, Second International Conference on Algebraic Biology, Lecture Notes in Computer Science 4545, 232-246
5. [2002] Zhendong Su and Alexander Aiken and Joachim Niehren and Tim Priesnitz and Ralf Treinen, First-Order Theory of Subtyping Constraints, The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
6. [2001] Joachim Niehren and Tim Priesnitz, Non-Structural Subtype Entailment in Automata Theory, Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), 360--384
7. [2001] Alexander Koller and Joachim Niehren and Ralf Treinen, Dominance Constraints: Algorithms and Complexity, Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France), Lecture Notes in Computer Science 2014, 106-125
8. [1997] Martin Müller and Joachim Niehren and Andreas Podelski, Inclusion Constraints over Non-Empty Sets of Trees, Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS, Lecture Notes in Computer Science 1214, 217-231
9. [1996] Joachim Niehren, Functional Computation as Concurrent Computation, 23th Proceedings of the ACM Symposium on Principles of Programming Languages, 333--343
10. [1995] Martin Müller and Joachim Niehren, Constraints for Free in Concurrent Computation, Asian Computing Science Conference, Lecture Notes in Computer Science 1023, 171--186
11. [1994] Joachim Niehren and Gert Smolka, A Confluent Relational Calculus for Higher-Order Programming with Constraints, 1st International Conference on Constraints in Computational Logics, Lecture Notes in Computer Science 845

International Workshops

1. [2009] Jan Schwinghammer and David Sabel and Manfred Schmidt-Schauss and Joachim Niehren, Correctly Translating Concurrency Primitives, Workshop on ML, 27-38
2. [2006] Céline Kuttler and Cédric Lhoussaine and Joachim Niehren, A Stochastic Pi Calculus for Concurrent Objects, 1st International Workshop on Probabilistic Automata and Logics
3. [2005] Joachim Niehren and Jan Schwinghammer and Gert Smolka, A Concurrent Lambda Calculus with Futures, 5th International Workshop on Frontiers in Combining Systems, Lecture Notes in Artificial Intelligence 3717, 248-263

Books or Book Chapters

1. [1998] Denys Duchier and Claire Gardent and Joachim Niehren, Concurrent Constraint Programming in Oz for Natural Language Processing

Phd and Habilitation thesis

1. [1994] Joachim Niehren, Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen, Universität des Saarlandes, Fachbereich Informatik