 | 2009 |
|---|
| 11 |       | Matthias M. Hölzl,
Grit Denker,
Max Meier,
Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
CALCO 2009: 423-432 |
| 10 | | Matthias M. Hölzl,
Max Meier,
Martin Wirsing:
Which Soft Constraints do you Prefer?
Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009) |
| 2008 |
|---|
| 9 |  | Martin Wirsing,
Jean-Pierre Banâtre,
Matthias M. Hölzl,
Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Springer 2008 |
| 8 | | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 7 | | Matthias M. Hölzl,
Axel Rauschmayer,
Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
Software-Intensive Systems and New Computing Paradigms 2008: 1-44 |
| 6 | | Matthias M. Hölzl,
Axel Rauschmayer,
Martin Wirsing:
Software Engineering for Ensembles.
Software-Intensive Systems and New Computing Paradigms 2008: 45-63 |
| 2007 |
|---|
| 5 | | Gefei Zhang,
Matthias M. Hölzl,
Alexander Knapp:
Enhancing UML State Machines with Aspects.
MoDELS 2007: 529-543 |
| 2006 |
|---|
| 4 | | Martin Wirsing,
Allan Clark,
Stephen Gilmore,
Matthias M. Hölzl,
Alexander Knapp,
Nora Koch,
Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems.
FORTE 2006: 24-45 |
| 3 | | Martin Wirsing,
Rocco De Nicola,
Stephen Gilmore,
Matthias M. Hölzl,
Roberto Lucchi,
Mirco Tribastone,
Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing.
TGC 2006: 30-50 |
| 2005 |
|---|
| 2 | | Matthias M. Hölzl,
John N. Crossley:
Disjunctive Constraint Lambda Calculi.
LPAR 2005: 64-78 |
| 2002 |
|---|
| 1 | | Matthias M. Hölzl,
John N. Crossley:
Constraint-Lambda Calculi.
FroCos 2002: 207-221 |
