Programming Systems Lab: Publications by Jörg Würtz

Saarland University Computer Science

Select author:

2000

Scheduling of Time-Triggered Real-Time Systems
Klaus Schild, Jörg Würtz
Constraints

1999

Embedding Propagators in a Concurrent Constraint Language   (pdf)
Tobias Müller, Jörg Würtz
The Journal of Functional and Logic Programming

1998

Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz   (pdf)
Jörg Würtz
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

Off-Line Scheduling of a Real-Time System   (pdf)
Klaus Schild, Jörg Würtz
Proceedings of the 1998 ACM Symposium on Applied Computing, SAC98

1997

Constraint-Based Scheduling in Oz   (pdf)
Jörg Würtz
Operations Research Proceedings 1996

Extending a Concurrent Constraint Language by Propagators   (pdf)
Tobias Müller, Jörg Würtz
Proceedings of the International Logic Programming Symposium

1996

Using Oz for College Time Tabling   (pdf)
Martin Henz, Jörg Würtz
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

Smallest Horn Clause Programs   (pdf)
P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
Journal of Logic Programming

Constructive Disjunction Revisited   (pdf)
Jörg Würtz, Tobias Müller
20th German Annual Conference on Artificial Intelligence

Constraint-based Time Tabling---A Case Study
Martin Henz, Jörg Würtz
Applied Artificial Intelligence

Oz Scheduler: A Workbench for Scheduling Problems   (pdf)
Jörg Würtz
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence

Interfacing Propagators with a Concurrent Constraint Language   (pdf)
Tobias Müller, Jörg Würtz
JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

1995

Constructive Disjunction in Oz   (pdf)
Tobias Müller, Jörg Würtz
11. Workshop Logische Programmierung

Object-Oriented Concurrent Constraint Programming in Oz   (pdf)
Gert Smolka, Martin Henz, Jörg Würtz
Principles and Practice of Constraint Programming

1994

Towards the verification of concurrent constraint programs in finite domain reasoning   (pdf)
Jörg Würtz
Post-conference workshop at ICLP: Verification and analysis of (concurrent) logic languages

One binary Horn clause is enough   (pdf)
P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
Symposium on Theoretical Aspects of Computer Science

Encapsulated Search and Constraint Programming in Oz   (pdf)
Christian Schulte, Gert Smolka, Jörg Würtz
Second Workshop on Principles and Practice of Constraint Programming

1993

Satisfiability of the smallest binary program   (pdf)
Philipp Hanschke, Jörg Würtz
Information Processing Letters

Oz---A Programming Language for Multi-Agent Systems   (pdf)
Martin Henz, Gert Smolka, Jörg Würtz
13th International Joint Conference on Artificial Intelligence

1992

Cycle Unification   (pdf)
Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
11th International Conference on Automated Deduction

Unifying Cycles   (pdf)
Jörg Würtz
10th European Conference on Artificial Intelligence


Login to edit


Webmaster, Mon May 30 13:48:30 2016