Search the dblp DataBase

Publications of Author

1. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
   Semantic-Based Development of Service-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:24-45 [Conf]
   
2. Matthias M. Hölzl, John N. Crossley
   Constraint-Lambda Calculi. [Citation Graph (0, 0)][DBLP]
   FroCos, 2002, pp:207-221 [Conf]
   
3. Matthias M. Hölzl, John N. Crossley
   Disjunctive Constraint Lambda Calculi. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:64-78 [Conf]
   
4. Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
   Enhancing UML State Machines with Aspects. [Citation Graph (0, 0)][DBLP]
   MoDELS, 2007, pp:529-543 [Conf]
   
5. 
   Constraint-Muse: A Soft-Constraint Based System for Music Therapy. [Citation Graph (, )][DBLP]
   
   
6. 
   A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP]
   
   
7. 
   SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]
   
   
8. 
   HiLA: High-Level Aspects for UML State Machines. [Citation Graph (, )][DBLP]
   
   
9. 
   SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]
   
   
10. 
    Which Soft Constraints do you Prefer? [Citation Graph (, )][DBLP]