Armin Wolf

	2009
32		Dietmar Seipel, Michael Hanus, Armin Wolf: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers Springer 2009
	2008
31		Ulrich Geske, Armin Wolf: Declarative Modelling and Efficient Optimization using Constraint Technology. GI Jahrestagung (2) 2008: 515-516
30		Armin Wolf: Impact-Based Search in Constraint-based Scheduling. GI Jahrestagung (2) 2008: 523-528
29		Ulrich Geske, Hans-Joachim Goltz, Armin Wolf: Representation and Processing of Preferential Rules. GI Jahrestagung (2) 2008: 529-534
28		Armin Wolf, Jacques Robin, Jairson Vitorino: Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications. Constraint Handling Rules 2008: 48-69
	2007
27		Armin Wolf, Gunnar Schrader: Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. INAP/WLP 2007: 21-37
26		Jacques Robin, Jairson Vitorino, Armin Wolf: Constraint Programming Architectures: Review and a New Proposal. J. UCS 13(6): 701-720 (2007)
	2006
25		Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata: Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers Springer 2006
24		Armin Wolf: Object-Oriented Constraint Programming in Java Using the Library firstcs. WLP 2006: 21-32
	2005
23		Armin Wolf, Thom W. Frühwirth, Marc Meister: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Universität Ulm, Germany 2005
22		Andreas Schutt, Armin Wolf, Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). INAP 2005: 66-80
21		Armin Wolf, Gunnar Schrader: O(n logn) Overload Checking for the Cumulative Constraint and Its Application. INAP 2005: 88-101
20		Armin Wolf, Henry Müller, Matthias Hoche: Towards an Object-Oriented Modeling of Constraint Problems. W(C)LP 2005: 41-52
19		Armin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules. TPLP 5(4-5): 567-594 (2005)
	2004
18		Armin Wolf: Better Propagation for Non-preemptive Single-Resource Constraint Problems. CSCLP 2004: 201-215
17		Armin Wolf, Hans Schlenker: Realising the Alternative Resources Constraint. INAP/WLP 2004: 185-199
16		Armin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules CoRR cs.AI/0411016: (2004)
	2003
15		Armin Wolf: Pruning while Sweeping over Task Intervals. CP 2003: 739-753
14		Armin Wolf: Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. CSCLP 2003: 223-232
	2001
13		Armin Wolf: Adaptive Constraint Handling with CHR in Java. CP 2001: 256-270
12		Armin Wolf: Attributed Variables for Dynamic Constraint Solving. INAP 2001: 211-219
	2000
11		Georg Ringwelski, Armin Wolf, Ulrich Geske: Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. WLP 2000: 89-100
10		Armin Wolf, Thomas Gruenhagen, Ulrich Geske: On the Incremental Adaptation of CHR Derivations. Applied Artificial Intelligence 14(4): 389-416 (2000)
	1999
9		Armin Wolf: Projection in Adaptive Constraint Handling. New Trends in Constraints 1999: 318-338
	1998
8		Armin Wolf: Adaptive Solving of Equations over Rational Trees. CP 1998: 475
7		Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf: The constraint logic paradigm: declarativity, efficiency and flexibility. Systems Implementation 2000 1998: 59-71
6		Armin Wolf: Solving hierarchies of finite-domain constraints. J. Exp. Theor. Artif. Intell. 10(1): 130-142 (1998)
	1997
5		Armin Wolf: Adaptiv-inkrementelle Unifikation. WLP 1997: 0-
4		Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf: Constraint-basierte Planung und Konfiguration (system description). WLP 1997: 0-
	1995
3		Armin Wolf: Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. Over-Constrained Systems 1995: 171-187
2		Armin Wolf: Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). WLP 1995: 143-149
	1994
1		Armin Wolf: Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. WLP 1994: 142-145

Coauthor Index

1	Oskar Bartenstein	[25]
2	Dmitri Boulanger	[4]
3	Andreas Fordan	[4]
4	Thom W. Frühwirth	[23]
5	Ulrich Geske	[4] [7] [10] [11] [25] [29] [31]
6	Hans-Joachim Goltz	[4] [7] [29]
7	Thomas Gruenhagen	[10]
8	Michael Hanus	[32]
9	Matthias Hoche	[20]
10	Ulrich John	[4] [7]
11	Marc Meister	[23]
12	Henry Müller	[20]
13	Alexander Nareyek	[4]
14	Georg Ringwelski	[11]
15	Jacques Robin	[26] [28]
16	André Schiemann	[4]
17	Hans Schlenker	[17]
18	Gunnar Schrader	[21] [22] [27]
19	Andreas Schutt	[22]
20	Dietmar Seipel	[25] [32]
21	Osamu Takata	[25]
22	Masanobu Umeda	[25]
23	Jairson Vitorino	[26] [28]

Colors in the list of coauthors