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

Armin Wolf 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

*2009
32EEDietmar 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
28EEArmin 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
27EEArmin Wolf, Gunnar Schrader: Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. INAP/WLP 2007: 21-37
26EEJacques 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
24EEArmin Wolf: Object-Oriented Constraint Programming in Java Using the Library firstcs. WLP 2006: 21-32
2005
23EEArmin Wolf, Thom W. Frühwirth, Marc Meister: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Universität Ulm, Germany 2005
22EEAndreas Schutt, Armin Wolf, Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). INAP 2005: 66-80
21EEArmin 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
19EEArmin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules. TPLP 5(4-5): 567-594 (2005)
2004
18EEArmin Wolf: Better Propagation for Non-preemptive Single-Resource Constraint Problems. CSCLP 2004: 201-215
17EEArmin Wolf, Hans Schlenker: Realising the Alternative Resources Constraint. INAP/WLP 2004: 185-199
16EEArmin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules CoRR cs.AI/0411016: (2004)
2003
15EEArmin Wolf: Pruning while Sweeping over Task Intervals. CP 2003: 739-753
14EEArmin Wolf: Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. CSCLP 2003: 223-232
2001
13EEArmin Wolf: Adaptive Constraint Handling with CHR in Java. CP 2001: 256-270
12EEArmin 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
9EEArmin Wolf: Projection in Adaptive Constraint Handling. New Trends in Constraints 1999: 318-338
1998
8EEArmin 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

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

Colors in the list of coauthors

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