Jörg Würtz - RankMe

22 papers A* 1A 3B 2C 1Misc 3Journal 5Unranked 6

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