dblp.uni-trier.dewww.uni-trier.de

Jörg Würtz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
17EEKlaus 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
8EEPhilippe 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
3EEWolfgang 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)

Coauthor Index

1Wolfgang Bibel [3]
2Jürgen Cleve [1]
3Philippe Devienne [8] [12]
4Philipp Hanschke [4]
5Martin Henz [6] [7] [11]
6Steffen Hölldobler [1] [3]
7Patrick Lebègue [8] [12]
8Tobias Müller [10] [13] [15] [16] [18]
9Anne Parrain [12]
10Jean-Christophe Routier [8] [12]
11Klaus Schild [17] [19]
12Christian Schulte [9]
13Gert Smolka [6] [7] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)