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 | EE | 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) |