 | 2009 |
|---|
| 26 |       | Adrian Rutle,
Alessandro Rossini,
Yngve Lamo,
Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE.
FASE 2009: 64-78 |
| 25 | | Adrian Rutle,
Alessandro Rossini,
Yngve Lamo,
Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages.
TOOLS (47) 2009: 37-56 |
| 2008 |
|---|
| 24 | | Adrian Rutle,
Uwe Wolter,
Yngve Lamo:
A diagrammatic approach to model transformations.
EATIS 2008 |
| 23 | | Uwe Wolter,
Zinovy Diskin:
Contexts and Context Awareness in View of the Diagram Predicate Framework.
ISoLA 2008: 534-547 |
| 2007 |
|---|
| 22 | | Alfio Martini,
Uwe Wolter,
Edward Hermann Haeusler:
Fibred and Indexed Categories for Abstract Model Theory.
Logic Journal of the IGPL 15(5-6): 707-739 (2007) |
| 2006 |
|---|
| 21 | | Uwe Wolter:
A (Co)Algebraic Analysis of Synchronization in CSP.
WADT 2006: 156-170 |
| 2005 |
|---|
| 20 | | Uwe Wolter:
Cofree Coalgebras for Signature Morphisms.
Formal Methods in Software and Systems Modeling 2005: 275-290 |
| 2002 |
|---|
| 19 | | Uwe Wolter:
CSP, partial automata, and coalgebras.
Theor. Comput. Sci. 280(1-2): 3-34 (2002) |
| 2001 |
|---|
| 18 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures 9(1): 83-110 (2001) |
| 2000 |
|---|
| 17 | | Uwe Wolter:
On Corelations, Cokernels, and Coequations.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 16 | | Uwe Wolter:
A coalgebraic introduction to CSP.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1998 |
|---|
| 15 | | Alfio Martini,
Uwe Wolter:
A Single Perspective on Arrows between Institutions.
AMAST 1998: 486-501 |
| 1997 |
|---|
| 14 |  | Uwe Wolter,
Alfio Martini:
Shedding the New Light in the World of Logical Systems.
Category Theory and Computer Science 1997: 159-176 |
| 13 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
MFCS 1997: 219-228 |
| 12 | | Hartmut Ehrig,
Magdalena Gajewsky,
Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms.
WADT 1997: 1-17 |
| 11 | | Alfio Martini,
Uwe Wolter:
A systematic study of mappings between institutions.
WADT 1997: 300-315 |
| 1996 |
|---|
| 10 | | Hartmut Ehrig,
Uwe Wolter:
The Impact and Future Role of Algebraic Specification.
Bulletin of the EATCS 60: 74-77 (1996) |
| 1995 |
|---|
| 9 | | Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification.
COMPASS/ADT 1995: 17-48 |
| 8 | | Uwe Wolter,
Klaus Didrich,
Felix Cornelius,
Marcus Klar:
How to Cope with the Spectrum of SPECTRUM.
KORSO Book 1995: 173-189 |
| 7 | | Michael Löwe,
Uwe Wolter:
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics.
Mathematical Structures in Computer Science 5(1): 69-111 (1995) |
| 6 | | Ingo Claßen,
Martin Große-Rhode,
Uwe Wolter:
Categorical Concepts for Parameterized Partial Specifications.
Mathematical Structures in Computer Science 5(2): 153-188 (1995) |
| 1994 |
|---|
| 5 | | Uwe Wolter:
Institutional Frames.
COMPASS/ADT 1994: 469-482 |
| 1992 |
|---|
| 4 | | Uwe Wolter,
Michael Löwe:
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.
CAAP 1992: 342-361 |
| 3 | | Martin Große-Rhode,
Uwe Wolter:
Two-Categorical Specification of Partial Algebras.
COMPASS/ADT 1992: 207-219 |
| 1991 |
|---|
| 2 | | Uwe Wolter:
An Algebraic Approach to Deduction in Equational Partial Horn Theories.
Elektronische Informationsverarbeitung und Kybernetik 27(2): 85-128 (1991) |
| 1988 |
|---|
| 1 | | Uwe Wolter:
Narrowing in Partial Conditional Equational Theories (Abstract).
ALP 1988: 244 |
