 | 2000 |
| 19 |  | Klaus Schild,
Jörg Würtz:
Scheduling of Time-Triggered Real-Time Systems.
Constraints 5(4): 335-357 (2000) |
| 1999 |
| 18 |  | Tobias Müller,
Jörg Würtz:
Embedding Propagators in a Concurrent Constraint Language.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
| 1998 |
| 17 |  | Klaus Schild,
Jörg Würtz:
Off-line scheduling of a real-time system.
SAC 1998: 29-38 |
| 1997 |
| 16 |  | Tobias Müller,
Jörg Würtz:
Connecting Propagators with a Concurrent Constraint Language.
ICLP 1997: 412 |
| 15 |  | Tobias Müller,
Jörg Würtz:
Extending a Concurrent Constraint Language by Propagators.
ILPS 1997: 149-163 |
| 1996 |
| 14 |  | Jörg Würtz:
Oz Scheduler: A Workbench for Scheduling Problems.
ICTAI 1996: 149-156 |
| 13 |  | Jörg Würtz,
Tobias Müller:
Constructive Disjunction Revisited.
KI 1996: 377-386 |
| 12 |  | Philippe Devienne,
Patrick Lebègue,
Anne Parrain,
Jean-Christophe Routier,
Jörg Würtz:
Smallest Horn Clause Programs.
J. Log. Program. 27(3): 227-267 (1996) |
| 1995 |
| 11 |  | Martin Henz,
Jörg Würtz:
Using Oz for College Timetabling.
PATAT 1995: 162-177 |
| 10 |  | Tobias Müller,
Jörg Würtz:
Constructive Disjunction in Oz.
WLP 1995: 113-122 |
| 1994 |
| 9 |  | Christian Schulte,
Gert Smolka,
Jörg Würtz:
Encapsulated Search and Constraint Programming in Oz.
PPCP 1994: 134-150 |
| 8 |  | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier,
Jörg Würtz:
One Binary Horn Clause is Enough.
STACS 1994: 21-32 |
| 1993 |
| 7 |  | Martin Henz,
Gert Smolka,
Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems.
IJCAI 1993: 404-409 |
| 6 |  | Gert Smolka,
Martin Henz,
Jörg Würtz:
Object-Oriented Concurrent Constraint Programming in Oz.
KI 1993: 44-59 |
| 5 |  | Jörg Würtz:
Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz.
WLP 1993: 108-111 |
| 4 |  | Philipp Hanschke,
Jörg Würtz:
Satisfiability of the Smallest Binary Program.
Inf. Process. Lett. 45(5): 237-241 (1993) |
| 1992 |
| 3 |  | Wolfgang Bibel,
Steffen Hölldobler,
Jörg Würtz:
Cycle Unification.
CADE 1992: 94-108 |
| 2 |  | Jörg Würtz:
Unifying Cycles.
ECAI 1992: 60-64 |
| 1 |  | Jürgen Cleve,
Steffen Hölldobler,
Jörg Würtz:
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 ``Deduktionssysteme''.
KI 6(2): 46-47 (1992) |