| 1 | -- | 15 | Hartmut Ehrig. Behaviour and Instantiation of High-Level Net Processes |
| 1 | -- | 29 | Kim B. Bruce. Some challenging typing issues in object-oriented languages |
| 16 | -- | 33 | Milan Urbásek. Modeling Petri Net Based Systems by Net Transformations: New Developments |
| 30 | -- | 32 | Giuseppe Milicia, Vladimiro Sassone. Temporal constraints for concurrent object synchronisation |
| 33 | -- | 52 | Lorenzo Bettini, Sara Capecchi, Betti Venneri. Extending Java to dynamic object behaviors |
| 34 | -- | 45 | Julia Padberg. Case Study: Modelling Telecom Services with Petri Net Modules |
| 46 | -- | 62 | Jörg Desel, Gabriel Juhás, Robert Lorenz. Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders |
| 53 | -- | 81 | Christopher Anderson, Sophia Drossopoulou. BabyJ: from object based to class based programming via types |
| 63 | -- | 78 | Fernando Orejas, Hartmut Ehrig. Components for Algebra Transformation Systems |
| 79 | -- | 90 | Sabine Kuske, Peter Knirsch. Modeling Agent Systems with Distributed Transformation Units |
| 82 | -- | 107 | Gavin M. Bierman, Matthew J. Parkinson. Effects and effect inference for a core Java calculus |
| 91 | -- | 104 | Niels Van Eetvelde, Dirk Janssens. A Hierarchical Program Representation for Refactoring |
| 105 | -- | 119 | Mark Minas. XML-based Specification of Diagram Editors |
| 108 | -- | 129 | Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. Can addresses be types? (A case study: objects with delegation) |
| 120 | -- | 132 | Paolo Bottoni. Dynamic aspects of visual modelling languages |
| 130 | -- | 150 | Ferruccio Damiani, Paola Giannini. Alias types for environment-aware computations |
| 133 | -- | 150 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann. Model-Based Verification and Validation of Properties |
| 151 | -- | 165 | Stuart Kent, Robert Smith. The Bidirectional Mapping Problem |
| 151 | -- | 152 | Viviana Bono, Michele Bugliesi. First Workshop on Object Oriented Developments |
| 166 | -- | 167 | Roswitha Bardohl, Hartmut Ehrig. Preface UNIGRA 03 - Uniform Approaches to Graphical Process Specification Techniques |