Jörg Würtz

Publication Activity (10 Years)

Years Active: 1992-2006
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Juergen Saalmueller, Jörg Würtz
Embedded Controllers for Solving Complex Industry Applications. SoCC (2006)
Klaus Schild, Jörg Würtz
Scheduling of Time-Triggered Real-Time Systems. Constraints An Int. J. 5 (4) (2000)
Tobias Müller, Jörg Würtz
Embedding Propagators in a Concurrent Constraint Language. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Klaus Schild, Jörg Würtz
Off-line scheduling of a real-time system. SAC (1998)
Tobias Müller, Jörg Würtz
Connecting Propagators with a Concurrent Constraint Language. ICLP (1997)
Tobias Müller, Jörg Würtz
Extending a Concurrent Constraint Language by Propagators. ILPS (1997)
Jörg Würtz
Oz Scheduler: A Workbench for Scheduling Problems. ICTAI (1996)
Jörg Würtz, Tobias Müller
Constructive Disjunction Revisited. KI (1996)
Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
Smallest Horn Clause Programs. J. Log. Program. 27 (3) (1996)
Martin Henz, Jörg Würtz
Using Oz for College Timetabling. PATAT (1995)
Tobias Müller, Jörg Würtz
Constructive Disjunction in Oz. WLP (1995)
Christian Schulte, Gert Smolka, Jörg Würtz
Encapsulated Search and Constraint Programming in Oz. PPCP (1994)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz
One Binary Horn Clause is Enough. STACS (1994)
Jörg Würtz
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Gert Smolka, Martin Henz, Jörg Würtz
Object-Oriented Concurrent Constraint Programming in Oz. KI (1993)
Philipp Hanschke, Jörg Würtz
Satisfiability of the Smallest Binary Program. Inf. Process. Lett. 45 (5) (1993)
Jörg Würtz
Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz. WLP (1993)
Martin Henz, Gert Smolka, Jörg Würtz
Oz - A Programming Language for Multi-Agent Systems. IJCAI (1993)
Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
Cycle Unification. CADE (1992)
Jürgen Cleve, Steffen Hölldobler, Jörg Würtz
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme". Künstliche Intell. 6 (2) (1992)
Jörg Würtz
Unifying Cycles. ECAI (1992)

Jörg Würtz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Jörg Würtz