Publications of the Programming Systems Lab
Saarland University
Computer Science
Programming Systems
Publications
Overview
Edit entries
Alice
Mozart
SFB 378
- Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
- Cut-Simulation and Impredicativity
- Logical Methods in Computer Science:1-21
- Catalin Hritcu, Jan Schwinghammer
- A Step-indexed Semantics of Imperative Objects
- Logical Methods in Computer Science
- Mark Kaminski, Gert Smolka
- Hybrid Tableaux for the Difference Modality
- M4M5 2007, ENTCS 231:241-257, Cachan, France, Elsevier
- Jan Schwinghammer
- Coherence of Subsumption for Monadic Types
- Journal of Functional Programming:157-172
- Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
- Maintaining State in Propagation Solvers
- Proceedings of the 15th international conference on principles and practice of constraint programming, Springer
- Christian Schulte, Guido Tack
- Weakly Monotonic Propagators
- Proceedings of the 15th international conference on principles and practice of constraint programming, Springer
- Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
- Correctly Translating Concurrency Primitives
- 2009 ACM SIGPLAN Workshop on ML (ML'09), ACM
- Christian Doczkal, Jan Schwinghammer
- Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage
- 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09), ACM
- Mark Kaminski, Gert Smolka
- Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
- DL 2009, CEUR-WS.org
- Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
- Nested Hoare Triples and Frame Rules for Higher-Order Store
- Computer Science Logic (CSL'09):440-454, Springer
- Chad E. Brown, Gert Smolka
- Extended First-Order Logic
- TPHOLs 2009, Springer LNCS 5674
- Mathias Möhl, Sebastian Will, Rolf Backofen
- Lifting Prediction to Alignment of RNA Pseudoknots
- Proceedings of the 13th Annual International Conferences on Computational Molecular Biology (RECOMB'09)
- Mark Kaminski, Sigurd Schneider, Gert Smolka
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- TABLEAUX 2009, Springer LNCS 5607
- Chad E. Brown, Gert Smolka
- Complete Cut-Free Tableaux for Equational Simple Type Theory
- Daniel Götzmann, Mark Kaminski, Gert Smolka
- Spartacus: A Tableau Prover for Hybrid Logic
- Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
- On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures
- Chad E. Brown, Gert Smolka
- Terminating Tableaux for the Basic Fragment of Simple Type Theory
- TABLEAUX 2009:138-151, Springer LNCS 5607
- Daniel Götzmann
- Spartacus: A Tableau Prover for Hybrid Logic
- M.Sc. Thesis
- Guido Tack
- Constraint Propagation -- Models, Techniques, Implementation
- Doctoral Thesis
- Mark Kaminski, Gert Smolka
- Terminating Tableau Systems for Hybrid Logic with Difference and Converse
- To appear in Journal of Logic, Language and Information, 2009
- Christian Schulte, Guido Tack
- Perfect Derived Propagators
- 14th International Conference on Principles and Practice of Constraint Programming:571-575, Springer
- Mark Kaminski, Gert Smolka
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- IJCAR 2008:210-225, Sydney, Australia, Springer
- Mathias Möhl, Sebastian Will, Rolf Backofen
- Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
- Proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching (CPM 2008)
- Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
- Adequacy of Compositional Translations for Observational Semantics
- 5th IFIP International Conference on Theoretical Computer Science
- Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
- A Simple Model of Separation Logic for Higher-order Store
- ICALP 2008:348-360, Springer
- Jan Schwinghammer
- On Normalization by Evaluation for Object Calculi
- TYPES 2007:173-187, Springer
- Catalin Hritcu, Jan Schwinghammer
- A Step-indexed Semantics of Imperative Objects (Extended Abstract)
- Workshop Proceedings Foundations of Object-Oriented Languages (FOOL'08):1-13
- Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
- On Proving the Equivalence of Concurrency Primitives
- Mark Kaminski, Gert Smolka
- A Minimal Propositional Type Theory
- Chad E. Brown
- M-set Models
- Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
- Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
- Cut Elimination with xi-Functionality
- Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
- Mark Kaminski, Gert Smolka
- A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus
- Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
- Mark Kaminski, Gert Smolka
- Terminating Tableau Systems for Modal Logic with Equality
- Guido Tack, Christian Schulte
- Perfect Derived Propagators
- Martin Mann, Guido Tack, Sebastian Will
- Decomposition During Search for Propagation-Based Constraint Solvers
- Ralph Debusmann, Marco Kuhlmann
- Dependency Grammar: Classification and Exploration
- Moritz Hardt, Gert Smolka
- Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
- Electronic Notes in Theoretical Computer Science:15-27
- Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
- MiniZinc: Towards a Standard CP Modelling Language
- 13th International Conference on Principles and Practice of Constraint Programming:529-543, Springer
- Ralph Debusmann
- Scrambling as the Combination of Relaxed Context-Free Grammars in a Model-Theoretic Grammar Formalism
- Model-Theoretic Syntax at 10, ESSLLI 2007
- Andreas Rossberg, Guido Tack, Leif Kornstaedt
- Status Report: HOT Pickles, and how to serve them
- 2007 ACM SIGPLAN Workshop on ML:25-36
- Marco Kuhlmann, Mathias Möhl
- The string-generative capacity of regular dependency languages
- Twelfth Conference on Formal Grammar (FG), Dublin, Ireland
- Marco Kuhlmann, Mathias Möhl
- Mildly Context-Sensitive Dependency Languages
- 45th Annual Meeting of the Association for Computational Linguistics (ACL), Prague, Czech Republic
- Mark Kaminski, Gert Smolka
- A Straightforward Saturation-Based Decision Procedure for Hybrid Logic
- International Workshop on Hybrid Logic 2007 (HyLo 2007), Dublin, Ireland
- Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
- 23rd Conference on Mathematical Foundations of Programming Semantics, New Orleans
- Christian Doczkal, Jan Schwinghammer
- A Proof of Strong Normalization for Call-by-push-value
- Christian Doczkal
- Strong Normalization of Call-by-push-value
- B.Sc. Thesis
- Jochen Setz
- A Principle Compiler for Extensible Dependency Grammar
- Catalin Hritcu, Jan Schwinghammer
- A Step-indexed Semantics of Imperative Objects (Extended Version)
- Marco Kuhlmann
- Dependency Structures and Lexicalized Grammars
- Doctoral Thesis
- Catalin Hritcu
- A Step-indexed Semantic Model of Types for the Functional Object Calculus
- M.Sc. Thesis
- Andreas Rossberg
- Typed Open Programming -- A higher-order, typed approach to dynamic modularity and distribution
- Doctoral Thesis
- Guido Tack, Leif Kornstaedt, Gert Smolka
- Generic Pickling and Minimization
- Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005):79-103, Elsevier
- Joachim Niehren, Jan Schwinghammer, Gert Smolka
- A Concurrent Lambda Calculus with Futures
- Theoretical Computer Science:338-356
- Bernhard Reus, Jan Schwinghammer
- Denotational Semantics for a Program Logic of Objects
- Mathematical Structures in Computer Science:313-358
- Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
- First-Order Theory of Subtyping Constraints
- ACM Transactions on Programming Languages and Systems
- Marco Kuhlmann, Mathias Möhl
- Extended cross-serial dependencies in Tree Adjoining Grammars
- Eighth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+8), Sydney, Australia
- Marco Kuhlmann, Joakim Nivre
- Mildly Non-Projective Dependency Structures
- 22nd International Conference on Computational Linguistics and 43rd Annual Meeting of the Association for Computational Linguistics (COLING-ACL), Companion Volume, Sydney, Australia
- Bernhard Reus, Jan Schwinghammer
- Separation Logic for Higher-order Store
- Computer Science Logic (CSL'06), Springer
- Guido Tack, Christian Schulte, Gert Smolka
- Generating Propagators for Finite Set Constraints
- 12th International Conference on Principles and Practice of Constraint Programming:575-589, Springer
- Andreas Rossberg
- The Missing Link - Dynamic Components for ML
- 11th International Conference on Functional Programming, Portland, Oregon, USA, ACM Press
- Christian Schulte, Guido Tack
- Views and Iterators for Generic Constraint Implementations
- Recent Advances in Constraints, 2005:118-132, Springer
- Ralph Debusmann, Gert Smolka
- Multi-dimensional Dependency Grammar as Multigraph Description
- Proceedings of FLAIRS-19, AAAI
- Murat Baktiev
- Permutation Semantics of Separation Logic
- Master Thesis
- Mark Kaminski
- Completeness Results for Higher-Order Equational Logic
- Master's Thesis
- Dieter Brunotte
- Effectful Computation in Moggi's Calculus with Records and Subtyping
- Bachelor's Thesis
- Andi Scharfstein
- A Sandboxing Infrastructure for Alice ML
- Jan Schwinghammer
- Reasoning about Denotations of Recursive Objects
- Doctoral Thesis
- Georg Neis
- A Semantics For Lazy Types
- Leif Kornstaedt
- Design and Implementation of a Programmable Middleware
- Doctoral Thesis
- Matthias Horbach
- Proof Nets for Intuitionistic Logic
- Master Thesis
- Andreas Rossberg
- The Missing Link - Dynamic Components for ML (Extended)
- Robert Grabowski, Marco Kuhlmann, Mathias Möhl
- Lexicalised Configuration Grammars (Extended Version)
- Ralph Debusmann
- Extensible Dependency Grammar --- A Modular Grammar Formalism Based On Multigraph Description
- Doctoral Thesis
- Robert Grabowski
- Computational Aspects of Non-Projective Dependency Grammars
- Diploma thesis
- Christian Müller
- Run-Time Byte Code Compilation, Optimization, and Interpretation for Alice
- Master Thesis
- Mathias Möhl
- Drawings as Models of Syntactic Structure: Theory and Algorithms
- Diploma thesis
- Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
- Alice Through the Looking Glass
- Bernhard Reus, Jan Schwinghammer
- Denotational Semantics for Abadi and Leino's Logic of Objects
- The European Symposium on Programming:264-279
- Jan Schwinghammer
- A Typed Semantics of Higher-Order Store and Subtyping
- Proceedings ICTCS'05:390-405, Springer
- Robert Grabowski, Marco Kuhlmann, Mathias Möhl
- Lexicalised Configuration Grammars
- Second International Workshop on Constraint Solving and Language Processing (CSLP 2005), Sitges, Spain
- Christian Schulte, Guido Tack
- Views and Iterators for Generic Constraint Implementations (poster version)
- 11th International Conference on Principles and Practice of Constraint Programming:817-821, Springer
- Christian Schulte, Guido Tack
- Views and Iterators for Generic Constraint Implementations
- Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)
- Ralph Debusmann, Denys Duchier, Andreas Rossberg
- Modular Grammar Design with Typed Parametric Principles
- 10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language, Edinburgh, Scotland, UK
- Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
- Well-Nested Drawings as Models of Syntactic Structure
- 10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language, Edinburgh, Scotland, UK
- Joachim Niehren, Tim Priesnitz, Zhendong Su
- The Complexity of Subtype Satisfiability over Posets
- 14th European Symposium on Programming:357-373, Springer Verlag
- Ralph Debusmann, Oana Postolache, Maarika Traat
- A Modular Account of Information Structure in Extensible Dependency Grammar
- Proceedings of the CICLING 2005 Conference
- Joachim Niehren, Jan Schwinghammer, Gert Smolka
- A Concurrent Lambda Calculus with Futures
- 5th International Workshop on Frontiers in Combining Systems:248-263
- Mark Kaminski
- Studies in Higher-Order Equational Logic, Bachelor's Thesis
- Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
- Well-Nested Drawings as Models of Syntactic Structure (Extended Version)
- Andreas Rossberg
- The Definition of Standard ML with Packages
- Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
- Alice Through the Looking Glass (Extended Mix)
- Martin Henz, Tobias Müller, Sven Thiel
- Global Constraints for Round Robin Tournament Scheduling
- European Journal for Operational Research:92-101
- Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz
- Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game
- Manuel Bodirsky, Tobias Gärtner, Timo vonOertzen, Jan Schwinghammer
- Efficiently Computing the Density of Regular Languages
- LATIN 2004: Theoretical Informatics: 6th Latin American Symposium:262-270, Springer
- Guido Tack, Didier Le Botlan
- Compositional Abstractions for Search Factories
- 2nd International Conference on Multiparadigm Programming in Mozart/Oz:211-232, Springer Verlag
- Ralph Debusmann, Denys Duchier, Marco Kuhlmann
- Multi-dimensional Graph Configuration for Natural Language Processing
- Proceedings of the International Workshop on Constraint Solving and Language Processing:59-73, Roskilde, Denmark
- Ralph Debusmann, Denys Duchier, Joachim Niehren
- The XDG Grammar Development Kit
- 2nd International Conference on Multiparadigm Programming in Mozart/Oz:190-201, Springer Verlag
- Ralph Debusmann
- Multiword expressions as dependency subgraphs
- Proceedings of the ACL 2004 Workshop on Multiword Expressions: Integrating Processing
- Ralph Debusmann, Denys Duchier, Geert-Jan M. Kruijff
- Extensible Dependency Grammar: A New Methodology
- Proceedings of the COLING 2004 Workshop on Recent Advances in Dependency Grammar
- Ralph Debusmann, Denys Duchier, Alexander Koller, Marco Kuhlmann, Gert Smolka, Stefan Thater
- A Relational Syntax-Semantics Interface Based on Dependency Grammar
- Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004), Geneva, Switzerland
- Ralph Debusmann, Denys Duchier, Marco Kuhlmann, Stefan Thater
- TAG Parsing as Model Enumeration
- Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), Vancouver, Canada
- Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater
- Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis
- 42th Meeting of the Association for Computational Linguistics:247-254
- Manuel Bodirsky, Denys Duchier, Sebastian Miele, Joachim Niehren
- A New Algorithm for Normal Dominance Constraints
- ACM-SIAM Symposium on Discrete Algorithms:54-78, The ACM Press
- Chad E. Brown
- Set Comprehension in Church's Type Theory
- Doctoral Thesis
- Renjini Narendranath
- Evaluation of the Stochastic Extension of a Constraint-Based Dependency Parser
- Bachelor's Thesis
- Tim Priesnitz
- Subtype Satisfiability and Entailment
- Doctoral Thesis
- François Lamarche, Lutz Straßburger
- From Proof Nets to the Free *-Autonomous Category
- François Lamarche, Lutz Straßburger
- Naming Proofs in Classical Propositional Logic
- Alexander Koller
- Constraint-based and graph-based resolution of ambiguities in natural language
- Doctoral Thesis
- Sven Thiel
- Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions
- Doctoral Thesis
- Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
- An Efficient Graph Algorithm for Dominance Constraints
- Journal of Algorithms:194-219
- Joachim Niehren, Tim Priesnitz
- Non-Structural Subtype Entailment in Automata Theory
- Information and Computation:319-354
- Alexander Koller, Joachim Niehren, Stefan Thater
- Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints
- Meeting of the European Chapter of the Association of Computational Linguistics:195-202
- Péter Dienes, Alexander Koller, Marco Kuhlmann
- Statistical A-Star Dependency Parsing
- Prospects and Advances of the Syntax/Semantics Interface:85-89
- Ralph Debusmann
- Dependency Grammar as Graph Description
- Prospects and Advances of the Syntax/Semantics Interface:79-84
- Ralph Debusmann
- A Parser System for Extensible Dependency Grammar
- Prospects and Advances of the Syntax/Semantics Interface:103-106
- Andreas Rossberg
- Generativity and Dynamic Opacity for Abstract Types
- Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Uppsala, Sweden, ACM Press
- Katrin E. Erk, Joachim Niehren
- Well-Nested Parallelism Constraints for Ellipsis Resolution
- 11th Conference of the European Chapter of the Association of Computational Linguistics:115-122
- Joachim Niehren, Stefan Thater
- Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints
- 41st Meeting of the Association of Computational Linguistics:367-374
- Andreas Rossberg
- Generativity and Dynamic Opacity for Abstract Types (Extended Version)
- Guido Tack
- Linearisation, Minimisation and Transformation of Data Graphs with Transients
- Diploma thesis
- Thorsten Brunklaus, Leif Kornstaedt
- Open Programming Services for Virtual Machines: The Design of Mozart and SEAM
- Katrin E. Erk, Alexander Koller, Joachim Niehren
- Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
- Journal of Research on Language and Computation:127-169
- Joachim Niehren, Mateu Villaret
- Parallelism and Tree Regular Constraints
- International Conference on Logic for Programming, Artificial Intelligence
and Reasoning:311-326, springer
- Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
- First-Order Theory of Subtyping Constraints
- The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, USA, The ACM Press
- Christian Korthals, Ralph Debusmann
- Linking syntactic and semantic arguments in a dependency-based formalism
- Proceedings of COLING 2002
- Guido Tack
- IOzSeF - The Integrated Oz Search Factory
- Martin Sulzmann, Andreas Rossberg
- A Theory of Overloading Part II: Semantics and Coherence
- Martin Homik
- Ressourcenoptimierung von Workflow Problemen
- Master Thesis
- Alexander Koller, Joachim Niehren
- Constraint Programming in Computational Linguistics
- Words, Proofs, and Dialog:95-122, CSLI Press
- Jan Schwinghammer
- A Concurrent Lambda-Calculus with Promises and Futures
- Master Thesis
- Katrin E. Erk
- Parallelism Constraints in Underspecified Semantics
- Doctoral Thesis
- Marco Kuhlmann
- Towards a Constraint Parser for Categorial Type Logics
- Master Thesis
- Andreas Rossberg
- Dynamic Opacity for Abstract Types
- Andreas Rossberg, Martin Sulzmann
- Beyond Type Classes
- Thorsten Brunklaus, Leif Kornstaedt
- A Virtual Machine for Multi-Language Execution
- Martin Müller, Joachim Niehren, Ralf Treinen
- The First-Order Theory of Ordering Constraints over Feature Trees
- Discrete Mathematics and Theoretical Computer Science:193-234
- Markus Egg, Alexander Koller, Joachim Niehren
- The Constraint Language for Lambda Structures
- Journal of Logic, Language, and Information:457-485
- Joachim Niehren, Alexander Koller
- Dominance Constraints in Context Unification
- Proceedings of the 3rm rd International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France):199-218, Heidelberg, Springer-Verlag
- Alexander Koller, Joachim Niehren, Ralf Treinen
- Dominance Constraints: Algorithms and Complexity
- Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France):106-125, Heidelberg, Springer-Verlag
- Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
- An Efficient Algorithm for the Configuration Problem of Dominance Graphs
- Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms:815-824, Washington, DC
- Joachim Niehren, Tim Priesnitz
- Non-Structural Subtype Entailment in Automata Theory
- Fourth International Symposium on Theoretical Aspects of Computer Software:360-384, Sendai, Japan, springer
- Denys Duchier, Ralph Debusmann
- Topological Dependency Trees: A Constraint-based Account of Linear Precedence
- Proceedings of ACL 2001, Toulouse, France
- Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
- Beta Reduction Constraints
- International Conference on Rewriting Techniques and Applications:31-46, Utrecht, The Netherlands, Springer-Verlag, Berlin
- Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
- QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces
- 8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01), Toronto, Canada, Springer-Verlag
- Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
- Underspecified Beta Reduction
- 39th Annual Meeting of the Association for Computational Linguistics:74-81, Toulouse, France
- Markus Egg, Katrin E. Erk
- A compositional account of VP ellipsis
- 8th International Conference on Head-Driven Phrase Structure Grammar, Trondheim, Norway
- Denys Duchier
- Lexicalized Syntax and Topology for Non-projective Dependency Grammar
- Joint Conference on Formal Grammars and Mathematics of Language FGMOL'01, Helsinki
- Christian Schulte, Peter J. Stuckey
- When Do Bounds and Domain Propagation Lead to the Same Search Space
- Third International Conference on Principles and Practice of Declarative Programming, Florence, Italy, ACM Press
- Leif Kornstaedt
- Alice in the Land of Oz -- An Interoperability-based Implementation of a Functional Language on Top of a Relational Language
- Proceedings of the First Workshop on Multi-language Infrastructure and Interoperability (BABEL'01), Electronic Notes
in Computer Science, Firenze, Italy, Elsevier Science Publishers
- Donatien Grolaux, Peter Van Roy
- QTk -- An Integrated Model-Based Approach to Designing Executable User Interfaces
- 8th Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 2001), Glasgow, Scotland, Springer-Verlag
- Andreas Rossberg
- Defects in the Revised Definition of Standard ML
- Ralph Debusmann
- A Declarative Grammar Formalism For Dependency Grammar
- Master Thesis
- Manuel Bodirsky
- Beta Reduction Constraints
- Master Thesis
- Katrin E. Erk, Alexander Koller
- VP Ellipsis by Tree Surgery
- Denys Duchier, Claire Gardent
- Tree Descriptions, Constraints and Incrementality
- Computing Meaning, Volume 2:205-227, Dordrecht, Kluwer Academic Publishers
- Tobias Müller
- Constraint Propagation in Mozart
- Doctoral Thesis
- Joachim Niehren
- Uniform Confluence in Concurrent Computation
- Journal of Functional Programming:453-499
- Martin Müller, Joachim Niehren
- Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
- Information and Computation:22-58
- Martin Müller, Joachim Niehren, Andreas Podelski
- Ordering Constraints over Feature Trees
- Constraints, an International Journal:7-42
- Joachim Niehren, Ralf Treinen, Sophie Tison
- On Rewrite Constraints and Context Unification
- Information Processing Letters:35-40
- Alexander Koller, Joachim Niehren, Kristina Striegnitz
- Relaxing Underspecified Semantic Representations for Reinterpretation
- Grammars:217-241
- Klaus Schild, Jörg Würtz
- Scheduling of Time-Triggered Real-Time Systems
- Constraints:335-357
- Martin Müller, Susumu Nishimura
- Type Inference for First-Class Messages with Feature Constraints
- International Journal of Foundations of Computer Science:29-63
- Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet
- A Lightweight Reliable Object Migration Protocol
- Christian Schulte
- Programming Deep Concurrent Constraint Combinators
- Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000:215-229, Boston, MA, USA, Springer-Verlag
- Alexander Koller, Joachim Niehren
- On Underspecified Processing of Dynamic Semantics
- Proceedings of the 18th International Conference on Computational Linguistics:460-466, Saarbrücken, Germany
- Katrin E. Erk, Joachim Niehren
- Parallelism Constraints
- International Conference on Rewriting Techniques and Applications:110-126, Norwich, U.K., Springer-Verlag, Berlin
- Denys Duchier, Joachim Niehren
- Dominance Constraints with Set Operators
- Proceedings of the First International Conference on Computational Logic (CL2000):326-341, Springer
- Erica Melis, Jürgen Zimmer, Tobias Müller
- Integrating Constraint Solving into Proof Planning
- Frontiers of Combining Systems - Third International Workshop, FroCos 2000:32-46, Nancy, France, springer
- Martin Henz, Tobias Müller
- An Overview of Finite Domain Constraint Programming
- Proceedings of the Fifth Conference of
the Association of Asia-Pacific Operational
Research Societies, Singapore
- Alexander Koller, Kurt Mehlhorn, Joachim Niehren
- A Polynomial-Time Fragment of Dominance Constraints
- Proceedings of the 38th Annual Meeting of the Association of Computational Linguistics:368-375, Hong Kong
- Denys Duchier
- A Model-Eliminative Treatment of Quantifier-free Tree Descriptions
- Algebraic Methods in Language Processing, AMILP~2000, TWLT~16:55-66, Iowa City, USA, Universiteit Twente, Faculteit Informatica
- Tobias Müller
- Promoting Constraints to First-class Status
- Proceedings of the First International Conference on Computational Logic - CL2000:429-447, London, UK, springer
- Tobias Müller
- Practical Investigation of Constraints with Graph Views
- Proceedings of the Sixth International Conference on Principles and Practice of Constraint
Programming - CP 2000:320-336, Singapore, springer
- Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
- GIFT: a Generic Interface for Reusing Filtering Algorithms.
- Proceedings of the Workshop on Techniques for Implementing
Constraint Programming Systems - TRICS:86-100, Singapore
- Erica Melis, Jürgen Zimmer, Tobias Müller
- Extensions of Constraint Solving for Proof Planning
- Proceedings of the 14th European Conference on Artificial Intelligence:229-233, Berlin, IOS Press
- Katrin E. Erk
- Die Verarbeitung von Parallelismus-Constraints
- Informatik 2000 - 30. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, Springer-Verlag, Berlin
- Iliès Alouini, Peter Van Roy
- Fault-Tolerant Mobile Agents in Mozart
- 2nd International Symposium on Agent Systems and Applications (ASA2000) and 4th International Symposium on
Mobile Agents (MA2000), Zurich, Switzerland
- Andreas Walter
- An Implementation of the Programming Language DML in Java: Compiler
- Master Thesis
- Daniel Simon
- An Implementation of the Programming Language DML in Java: Runtime Environment
- Master Thesis
- Tim Priesnitz
- Entailment von nicht-strukturellen Teiltyp-Constraints
- Master Thesis
- Denys Duchier
- Constraint Programming For Natural Language Processing
- Christian Schulte
- Parallel Search Made Simple
- Thorsten Brunklaus
- Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter
- Master Thesis
- Denys Duchier
- Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
- Gerhard Schneider
- ML mit Typklassen
- Master Thesis
- Denys Duchier
- Configuration Of Labeled Trees Under Lexicalized Constraints And Principles
- Christian Schulte
- Programming Constraint Services
- Doctoral Thesis
- Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
- Efficient Logic Variables for Distributed Computing
- ACM Transactions on Programming Languages and Systems:569-626
- Tobias Müller, Jörg Würtz
- Embedding Propagators in a Concurrent Constraint Language
- The Journal of Functional and Logic Programming:Article 8
- Denys Duchier, Claire Gardent
- A Constraint-Based Treatment of Descriptions
- Third International Workshop on Computational Semantics (IWCS-3):71-85, Tilburg, NL
- Iliès Alouini, Peter Van Roy
- Le protocole r'eparti de Distributed Oz (in French)
- Colloque Francophone sur l'Ing'enierie des Protocoles (CFIP 99)
- Alexander Koller, Joachim Niehren, Kristina Striegnitz
- Relaxing Underspecified Semantic Representations for Reinterpretation
- Proceedings of the Sixth Meeting on Mathematics of Language (MOL6):74-87, Orlando, Florida, University of Central Florida
- Denys Duchier
- Taming Complexity: Constraint-Based Dependency Parsing
- Submitted to 6th Meeting on the Mathematics of Language
- Andreas Podelski, Witold Charatonik, Martin Müller
- Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
- Proceedings of ESOP'99, the European Symposium of Programmin, Amsterdam, Springer-Verlag
- Joachim Niehren, Tim Priesnitz
- Entailment of Non-Structural Subtype Constraints
- Asian Computing Science Conference:251-265, Phuket, Thailand, springer
- Henry Kautz, Joachim Paul Walser
- State-space Planning by Integer Optimization
- Proceedings Fifteenth National Conference on Artificial Intelligence (AAAI-99)
- Martin Müller, Joachim Niehren, Jean-Marc Talbot
- Entailment of Atomic Set Constraints is PSPACE-Complete
- Fourteenth Annual IEEE Symposium on Logic in Computer Sience:285-294, Trento, Italy, IEEE Press
- Tobias Müller
- Practical Investigation of Constraints with Graph Views
- Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)
- Denys Duchier
- Set Constraints in Computational Linguistics -- Solving Tree Descriptions
- Workshop on Declarative Programming with Sets (DPS'99):91-98
- Denys Duchier
- Axiomatizing Dependency Parsing Using Set Constraints
- Sixth Meeting on Mathematics of Language:115-126, Orlando, Florida
- Denys Duchier, Stefan Thater
- Parsing with Tree Descriptions: a constraint-based approach
- Sixth International Workshop on Natural Language Understanding and Logic Programming (NLULP'99):17-32, Las Cruces, New Mexico
- Mustapha Hadim, Peter Van Roy
- A new mobile state protocol for Distributed Oz
- ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS 99)
- Peter Van Roy
- Logic Programming in Oz with Mozart
- International Conference on Logic Programming:38-51, Las Cruces, NM, USA, The MIT Press
- Christian Schulte
- Comparing Trailing and Copying for Constraint Programming
- Proceedings of the Sixteenth International Conference on Logic Programming:275-289, Las Cruces, NM, USA, The MIT Press
- Katrin E. Erk
- Simulating Boolean circuits by finite splicing
- Proc. Congress on Evolutionary Computation (CEC '99):1279-1285
- Peter Van Roy, Seif Haridi
- Mozart: A Programming System for Agent Applications
- International Workshop on Distributed and Internet Programming with
Logic and Constraint Languages
- Martin Henz, Tobias Müller, Ka Boon Ng
- Figaro: Yet Another Constraint Programming Library
- Workshop on Parallelism and Implementation Technology for Constraint Logic Programming
- Alexander Koller
- Constraint Languages for Semantic Underspecification
- Diplom thesis
- Michael Mehl
- The Oz Virtual Machine - Records, Transients, and Deep Guards
- Doctoral Thesis
- Benjamin Lorenz
- Ein Debugger für Oz
- Master Thesis
- Alexander Koller, Joachim Niehren
- Scope Underspecification and Processing
- Reader for the ESSLLI summer school.
- Peter Van Roy
- On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart
- Denys Duchier, Claire Gardent, Joachim Niehren
- Concurrent Constraint Programming in Oz for Natural Language Processing
- Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
- Programming Languages for Distributed Applications
- New Generation Computing:223-261
- Martin Müller, Joachim Niehren, Ralf Treinen
- The First-Order Theory of Ordering Constraints over Feature Trees
- Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98):432-443, Indianapolis, Indiana, IEEE Press
- Martin Müller, Joachim Niehren
- Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
- International Conference on Rewriting Techniques and Applications:196-210, Tsukuba, Japan, Springer-Verlag, Berlin
- Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
- Constraints over Lambda-Structures in Semantic Underspecification
- Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting
of the Association for Computational Linguistics
:353-359, Montreal, Canada
- Gert Smolka
- Concurrent Constraint Programming Based on Functional Programming
- Programming Languages and Systems:1-11, Lisbon, Portugal, Springer-Verlag
- Tobias Müller
- Solving Set Partitioning Problems with Constraint Programming
- Proceedings of the Sixth International Conference on the Practical Application of Prolog and the Forth
International Conference on the
Practica:313-332, London, UK, The Practical Application Company Ltd
- Joachim Paul Walser, Ramesh Iyer, Narayan Venkatasubramanyan
- An Integer Local Search Method with Application to Capacitated Production Planning
- Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98:373-379, AAAI press/MIT press
- James M. Crawford, Mukesh Dalal, Joachim Paul Walser
- Abstract Local Search
- Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search
- Klaus Schild, Jörg Würtz
- Off-Line Scheduling of a Real-Time System
- Proceedings of the 1998 ACM Symposium on Applied Computing, SAC98:29-38, Atlanta, Georgia, ACM Press
- Per Brand, Nils Franzen, Erik Klintskog, Seif Haridi
- A Platform for Constructing Virtual Spaces
- Proceedings of the Virtual Worlds and Simulation Conference:97-106
- Martin Müller, Susumu Nishimura
- Type Inference for First-Class Messages with Feature Constraints
- Asian Computer Science Conference (ASIAN 98):169-187, Manila, The Philippines, Springer-Verlag
- Jörg Würtz
- Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz
- Doctoral Thesis
- Martin Henz
- Scheduling a Major College Basketball Conference - Revisited
- Martin Müller
- Set-based Failure Diagnosis for Concurrent Constraint Programming
- Doctoral Thesis
- Michael Mehl, Christian Schulte, Gert Smolka
- Futures and By-need Synchronization
- Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka
- A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
- Joachim Paul Walser
- Domain-Independent Local Search for Linear Integer Optimization
- Doctoral Thesis
- Ralf Scheidhauer
- Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz
- Doctoral Thesis
- Hubert Comon, Ralf Treinen
- The First-Order Theory of Lexicographic Path Orderings is Undecidable
- Theoretical Computer Science
- Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
- Mobile Objects in Distributed Oz
- ACM Transactions on Programming Languages and Systems:804-851
- Martin Müller, Joachim Niehren, Andreas Podelski
- Inclusion Constraints over Non-Empty Sets of Trees
- Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS:217-231, springer
- Christian Schulte
- Oz Explorer: A Visual Constraint Programming Tool
- Proceedings of the Fourteenth International Conference on Logic Programming:286-300, Leuven, Belgium, The MIT Press
- Joachim Paul Walser
- Solving Linear Pseudo-Boolean Constraint Problems with Local Search
- Proceedings of the fourteenth National Conference on Artificial Intelligence (AAAI '97)
- Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
- A Uniform Approach to Underspecification and Parallelism
- Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL):410-417, Madrid, Spain
- Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
- On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
- Proceedings of the International Conference on Automated Deduction:34-48, Townsville, Australia, Springer-Verlag
- Christian Schulte
- Programming Constraint Inference Engines
- Proceedings of the Third International Conference on Principles and Practice of Constraint Programming:519-533, Schloss Hagenberg, Linz, Austria, Springer-Verlag
- Martin Müller, Joachim Niehren, Andreas Podelski
- Ordering Constraints over Feature Trees
- Proceedings of the Third International Conference on Principles and Practice of Constraint Programming:297-311, Schloss Hagenberg, Linz, Austria, Springer-Verlag
- Tobias Müller, Jörg Würtz
- Extending a Concurrent Constraint Language by Propagators
- Proceedings of the International Logic Programming Symposium:149-163, The MIT Press
- Tobias Müller, Martin Müller
- Finite Set Constraints in Oz
- 13. Workshop Logische Programmierung:104-115, Technische Universität München
- Seif Haridi, Peter Van Roy, Gert Smolka
- An Overview of the Design of Distributed Oz
- Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97):176-187, Maui, Hawaii, USA, ACM Press
- Konstantin Popov
- A Parallel Abstract Machine for the Thread-Based Concurrent Constraint Language Oz
- Workshop On Parallism and Implementation Technology for (Constraint) Logic Programming Languages
- Jörg Würtz
- Constraint-Based Scheduling in Oz
- Operations Research Proceedings 1996:218-223, Berlin, Heidelberg, New York, Springer-Verlag
- Andreas Podelski, Witold Charatonik, Martin Müller
- Set-based Error Diagnosis of Concurrent Constraint Programs
- P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
- Smallest Horn Clause Programs
- Journal of Logic Programming:227-267
- Martin Henz, Jörg Würtz
- Constraint-based Time Tabling---A Case Study
- Applied Artificial Intelligence:439-453
- Martin Müller, Gert Smolka
- Oz: Nebenläufige Programmierung mit Constraints
- KI - K\"unstliche Intelligenz:55-61
- Gert Smolka
- Problem Solving with Constraints and Programming
- ACM Computing Surveys
- Martin Henz, Jörg Würtz
- Using Oz for College Time Tabling
- The Practice and Theory of Automated Time Tabling: The Selected Proceedings of the 1st International Conference
on the Practice and Theory of Automated Time Tabling, Edinburgh 1995:162-177
- Joachim Niehren
- Functional Computation as Concurrent Computation
- 23th Proceedings of the ACM Symposium on Principles of Programming Languages:333-343, The ACM Press
- A.J. Parkes, Joachim Paul Walser
- Tuning local search for satisfiability testing
- Proceedings of the thirteenth national conference on artificial intelligence (AAAI '96)
- Joachim Paul Walser
- Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions
- Proceedings of the Workshop on Constraint Programming Applications,
in conjunction with the Second International
Conference on Principles and Practi, Cambridge, Massachusetts, USA
- Martin Henz
- Don't Be Puzzled!
- Proceedings of the Workshop on Constraint Programming Applications,
in conjunction with the Second International
Conference on Principles and Practi, Cambridge, Massachusetts, USA
- Jörg Würtz, Tobias Müller
- Constructive Disjunction Revisited
- 20th German Annual Conference on Artificial Intelligence:377-386, Dresden, Germany, Springer-Verlag
- Peter Van Roy, Michael Mehl, Ralf Scheidhauer
- Integrating Efficient Records into Concurrent Constraint Programming
- International Symposium on Programming Languages, Implementations, Logics, and Programs, Aachen, Germany, Springer-Verlag
- Martin Henz, Stefan Lauer, Detlev Zimmermann
- COMPOzE --- Intention-based Music Composition through Constraint Programming
- Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence:118-121, Toulouse, France, IEEE Computer Society Press
- Jörg Würtz
- Oz Scheduler: A Workbench for Scheduling Problems
- Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence:132-139, Toulouse, France, IEEE Computer Society Press
- Tobias Müller, Jörg Würtz
- Interfacing Propagators with a Concurrent Constraint Language
- JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology
for (Constraint) Logic Programming Languages:195-206
- Ralf Treinen
- Feature Trees over Arbitrary Structures
- Specifying Syntactic Structures, CSLI Publications
- Leif Kornstaedt
- Definition und Implementierung eines Front-End-Generators für Oz
- Master Thesis
- Rolf Backofen, Gert Smolka
- A Complete and Recursive Feature Theory
- Theoretical Computer Science:243-268
- Tobias Müller
- Adding Constraint Systems to DFKI Oz
- WOz'95, International Workshop on Oz Programming, Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland
- Martin Müller, Tobias Müller, Peter Van Roy
- Multi-Paradigm Programming in Oz
- Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog, Portland, Oregon
- Tobias Müller, Jörg Würtz
- Constructive Disjunction in Oz
- 11. Workshop Logische Programmierung, Technische Universität Wien, GMD--Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin
- Martin Müller, Joachim Niehren
- A Type is a Type is a Type
- Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, Scotland
- Martin Müller, Joachim Niehren
- Constraints for Free in Concurrent Computation
- Asian Computing Science Conference:171-186, Phuket, Thailand, springer
- Andreas Podelski, Gert Smolka
- Operational Semantics of Constraint Logic Programs with Coroutining
- Proceedings of the 1995 International Conference on Logic Programming:449-463, Kanagawa, Japan, The MIT Press
- Jana Koehler, Ralf Treinen
- Constraint Deduction in an Interval-based Temporal Logic
- Executable Modal and Temporal Logics:103-117, Springer-Verlag
- Andreas Podelski, Gert Smolka
- Situated Simplification
- Proceedings of the 1st Conference on Principles and Practice of Constraint Programming:328-344, Cassis, France, Springer-Verlag
- Joachim Niehren
- Functional Computation as Concurrent Computation
- Gert Smolka
- The Oz Programming Model
- Computer Science Today:324-343, Berlin, Springer-Verlag
- Michael Mehl, Ralf Scheidhauer, Christian Schulte
- An Abstract Machine for Oz
- Gert Smolka, Martin Henz, Jörg Würtz
- Object-Oriented Concurrent Constraint Programming in Oz
- Principles and Practice of Constraint Programming:29-48, The MIT Press
- Gert Smolka
- The Definition of Kernel Oz
- Constraints: Basics and Trends:251-292, Springer-Verlag
- Peter Van Roy
- 1983-1993: The Wonder Years of Sequential Prolog Implementation
- Journal of Logic Programming
- Gert Smolka, Ralf Treinen
- Records for Logic Programming
- Journal of Logic Programming:229-258
- Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
- A Feature-based Constraint System for Logic Programming with Entailment
- Theoretical Computer Science:263-283
- Martin Müller
- A Constraint-Based Recast of ML-Polymorphism
- 8th International Workshop on Unification
- Jörg Würtz
- Towards the verification of concurrent constraint programs in finite domain reasoning
- Post-conference workshop at ICLP: Verification and analysis of (concurrent) logic languages:87-107
- P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
- One binary Horn clause is enough
- Symposium on Theoretical Aspects of Computer Science:21-32, Springer-Verlag
- Rolf Backofen, Ralf Treinen
- How to Win a Game with Features
- 1st International Conference on Constraints in Computational Logics:320-335, München, Germany, Springer-Verlag
- Gert Smolka
- A Foundation for Higher-order Concurrent Constraint Programming
- 1st International Conference on Constraints in Computational Logics:50-72, München, Germany, Springer-Verlag
- Christian Schulte, Gert Smolka
- Encapsulated Search in Higher-order Concurrent Constraint Programming
- Logic Programming: Proceedings of the 1994 International Symposium:505-520, Ithaca, New York, USA, MIT-Press
- Christian Schulte, Gert Smolka, Jörg Würtz
- Encapsulated Search and Constraint Programming in Oz
- Second Workshop on Principles and Practice of Constraint Programming:134-150, Orcas Island, Washington, USA, Springer-Verlag
- Joachim Niehren, Gert Smolka
- A Confluent Relational Calculus for Higher-Order Programming with Constraints
- 1st International Conference on Constraints in Computational Logics:89-104, München, Germany, Springer-Verlag
- Hubert Comon, Ralf Treinen
- Ordering Constraints on Trees
- Colloquium on Trees in Algebra and Programming:1-14, Edinburgh, Scotland, Springer-Verlag
- Joachim Niehren
- Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
- Doctoral Thesis
- Gert Smolka
- A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards
- Andreas V. Hense
- Polymorphic Type Inference for Object-Oriented Programming Languages
- Doctoral Thesis
- Rolf Backofen
- Expressivity and Decidability of First-order Languages over Feature Trees
- Doctoral Thesis
- Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
- Journal of Logic, Language and Information:1-18
- Philipp Hanschke, Jörg Würtz
- Satisfiability of the smallest binary program
- Information Processing Letters:237-241
- Joachim Niehren, Andreas Podelski
- Feature Automata and Recognizable Sets of Feature Trees
- Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS:356-375, springer
- Joachim Niehren, Andreas Podelski, Ralf Treinen
- Equational and Membership Constraints for Infinite Trees
- 5th International Conference on Rewriting Techniques and Applications:106-120, Montreal, Canada, Springer-Verlag
- Ralf Treinen
- Feature Constraints with First-Class Features
- Mathematical Foundations of Computer Science:734-743, Gda\'nsk, Poland, Springer-Verlag
- Martin Henz, Gert Smolka, Jörg Würtz
- Oz---A Programming Language for Multi-Agent Systems
- 13th International Joint Conference on Artificial Intelligence:404-409, Chamb\'ery, France, Morgan Kaufmann Publishers
- Gert Smolka
- Residuation and Guarded Rules for Constraint Logic Programming
- Constraint Logic Programming: Selected Research:405-419, Cambridge, Mass., The MIT Press
- Ralf Treinen
- A New Method for Undecidability Proofs of First Order Theories
- Journal of Symbolic Computation:437-457
- Gert Smolka
- Feature Constraint Logics for Unification Grammars
- Journal of Logic Programming:51-87
- Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
- Cycle Unification
- 11th International Conference on Automated Deduction:94-108, Saratoga Springs, NY, USA, Springer-Verlag
- Jörg Würtz
- Unifying Cycles
- 10th European Conference on Artificial Intelligence:60-64, Vienna, Austria, John Wiley \& Sons
- Ralf Treinen
- First Order Data Types and First Order Logic
- Theoretical Aspects of Computer Software:594-614, Sendai, Japan, Springer-Verlag
- Michael Mehl
- Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten
- Bernhard Nebel, Gert Smolka
- Attributive Description Formalisms and the Rest of the World
- Text Understanding in LILOG:439-452, Cambridge, Mass., Springer-Verlag
- Martin Henz
- Term Rewriting in Associative Commutative Theories with Identities
- Master Thesis
- Ralf Treinen
- Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe
- Doctoral Thesis
- Bernhard Nebel, Gert Smolka
- Representation and Reasoning with Attributive Descriptions
- Sorts and Types in Artificial Intelligence:112-139, Berlin, Springer Verlag
- Gert Smolka
- Logic Programming over Polymorphically Order-Sorted Types
- Doctoral Thesis
- Gert Smolka
- TEL (Version 0.9), Report and User Manual
- Markus Höhfeld, Gert Smolka
- Definite Relations over Constraint Languages
- Gert Smolka
- A Feature Logic with Subsorts