| 2023 | CALCO | Structural Operational Semantics for Heterogeneously Typed Coalgebras. | Harald Knig, Uwe Wolter, Tim Kruter |
| 2022 | TASE | Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. | Harald Knig, Uwe Wolter |
| 2021 | MODELS | A General Methodology for Internalising Multi-Level Model Typing. | Harald Knig, Uwe Wolter |
| 2018 | MODELS | Handling constraints in model versioning. | Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter |
| 2017 | CALCO | Being Van Kampen in Presheaf Topoi is a Uniqueness Property. | Harald Knig, Uwe Wolter |
| 2010 | FASE | A Formalisation of Constraint-Aware Model Transformations. | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2009 | FASE | A Category-Theoretical Approach to the Formalisation of Version Control in MDE. | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2008 | EATIS | A diagrammatic approach to model transformations. | Adrian Rutle, Uwe Wolter, Yngve Lamo |
| 2008 | ISoLA | Contexts and Context Awareness in View of the Diagram Predicate Framework. | Uwe Wolter, Zinovy Diskin |
| 1997 | MFCS | Integrating the Specification Techniques of Graph Transformation and Temporal Logic. | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
| 1995 | COMPASS | On the Role of Category Theory in the Area of Algebraic Specification. | Hartmut Ehrig, Martin Groe-Rhode, Uwe Wolter |
| 1994 | COMPASS | Institutional Frames. | Uwe Wolter |
| 1992 | COMPASS | Two-Categorical Specification of Partial Algebras. | Martin Groe-Rhode, Uwe Wolter |