Jörg Würtz

According to our database, Jörg Würtz authored at least 22 papers between 1992 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Embedded Controllers for Solving Complex Industry Applications.

Juergen Saalmueller, Jörg Würtz

Proceedings of the 2006 IEEE International SOC Conference, Austin, Texas, USA, 2006

2000

Scheduling of Time-Triggered Real-Time Systems.

Klaus Schild, Jörg Würtz

Constraints An Int. J., 2000

1999

Embedding Propagators in a Concurrent Constraint Language.

Tobias Müller, Jörg Würtz

J. Funct. Log. Program., 1999

1998

Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz.

Jörg Würtz

PhD thesis, 1998

Off-line scheduling of a real-time system.

Klaus Schild, Jörg Würtz

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1997

Extending a Concurrent Constraint Language by Propagators.

Tobias Müller, Jörg Würtz

Proceedings of the Logic Programming, 1997

Connecting Propagators with a Concurrent Constraint Language.

Tobias Müller, Jörg Würtz

Proceedings of the Logic Programming, 1997

1996

Smallest Horn Clause Programs.

Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz

J. Log. Program., 1996

Constructive Disjunction Revisited.

Jörg Würtz, Tobias Müller

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Oz Scheduler: A Workbench for Scheduling Problems.

Jörg Würtz

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

1995

Constructive Disjunction in Oz.

Tobias Müller, Jörg Würtz

Proceedings of the 11. Workshop Logische Programmierung, 1995

Using Oz for College Timetabling.

Martin Henz, Jörg Würtz

Proceedings of the Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, UK, August 29, 1995

1994

One Binary Horn Clause is Enough.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz

Proceedings of the STACS 94, 1994

Encapsulated Search and Constraint Programming in Oz.

Christian Schulte, Gert Smolka, Jörg Würtz

Proceedings of the Principles and Practice of Constraint Programming, 1994

Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning.

Jörg Würtz

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Satisfiability of the Smallest Binary Program.

Philipp Hanschke, Jörg Würtz

Inf. Process. Lett., 1993

Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz.

Jörg Würtz

Proceedings of the 9. Workshop Logische Programmierung, 1993

Object-Oriented Concurrent Constraint Programming in Oz.

Gert Smolka, Martin Henz, Jörg Würtz

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Oz - A Programming Language for Multi-Agent Systems.

Martin Henz, Gert Smolka, Jörg Würtz

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme".

Jürgen Cleve, Steffen Hölldobler, Jörg Würtz

Künstliche Intell., 1992

Unifying Cycles.

Jörg Würtz

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Cycle Unification.

Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz

Proceedings of the Automated Deduction, 1992