Scheduling of Time-Triggered Real-Time Systems
Klaus Schild, Jörg Würtz
Constraints
Embedding Propagators in a Concurrent Constraint Language
(pdf)
Tobias Müller, Jörg Würtz
The Journal of Functional and Logic Programming
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
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
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
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
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
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
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