Narrowing in Partial Conditional Equational Theories (Abstract). - Uwe Wolter (ALP, 1988)

Ein algebraischer Zugang zur operationalen Semantik gleichungspartieller Horntheorien. - Uwe Wolter (1988)

An Algebraic Approach to Deduction in Equational Partial Horn Theories. - Uwe Wolter (J. Inf. Process. Cybern., 1991)

Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. - Uwe Wolter; Michael Löwe (CAAP, 1992)

Two-Categorical Specification of Partial Algebras. - Martin Große-Rhode; Uwe Wolter (COMPASS/ADT, 1992)

Institutional Frames. - Uwe Wolter (COMPASS/ADT, 1994)

On the Role of Category Theory in the Area of Algebraic Specification. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (COMPASS/ADT, 1995)

How to Cope with the Spectrum of SPECTRUM. - Uwe Wolter; Klaus Didrich; Felix Cornelius; Marcus Klar (KORSO Book, 1995)

Categorical Concepts for Parameterized Partial Specifications. - Ingo Claßen; Martin Große-Rhode; Uwe Wolter (Math. Struct. Comput. Sci., 1995)

Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. - Michael Löwe; Uwe Wolter (Math. Struct. Comput. Sci., 1995)

The Impact and Future Role of Algebraic Specification. - Hartmut Ehrig; Uwe Wolter (Bull. EATCS, 1996)

Shedding the New Light in the World of Logical Systems. - Uwe Wolter; Alfio Martini (Category Theory and Computer Science, 1997)

Integrating the Specification Techniques of Graph Transformation and Temporal Logic. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (MFCS, 1997)

From abstract data types to algebraic development techniques: A shift of paradigms. - Hartmut Ehrig; Magdalena Gajewsky; Uwe Wolter (WADT, 1997)

A systematic study of mappings between institutions. - Alfio Martini; Uwe Wolter (WADT, 1997)

A Single Perspective on Arrows between Institutions. - Alfio Martini; Uwe Wolter (AMAST, 1998)

Applications of Category Theory to the Area of Algebraic Specification in Computer Science. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (Appl. Categorical Struct., 1998)

A coalgebraic introduction to CSP. - Uwe Wolter (CMCS, 1999)

On Corelations, Cokernels, and Coequations. - Uwe Wolter (CMCS, 2000)

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (Appl. Categorical Struct., 2001)

CSP, partial automata, and coalgebras. - Uwe Wolter (Theor. Comput. Sci., 2002)

Cofree Coalgebras for Signature Morphisms. - Uwe Wolter (Formal Methods in Software and Systems Modeling, 2005)

A (Co)Algebraic Analysis of Synchronization in CSP. - Uwe Wolter (WADT, 2006)

A Diagrammatic Logic for Object-Oriented Visual Modeling. - Zinovy Diskin; Uwe Wolter (ACCAT@ETAPS, 2007)

Fibred and Indexed Categories for Abstract Model Theory. - Alfio Martini; Uwe Wolter; Edward Hermann Haeusler (Log. J. IGPL, 2007)

A diagrammatic approach to model transformations. - Adrian Rutle; Uwe Wolter; Yngve Lamo (EATIS, 2008)

Contexts and Context Awareness in View of the Diagram Predicate Framework. - Uwe Wolter; Zinovy Diskin (ISoLA, 2008)

A Category-Theoretical Approach to the Formalisation of Version Control in MDE. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (FASE, 2009)

A Diagrammatic Formalisation of MOF-Based Modelling Languages. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (TOOLS (47), 2009)

A Formalisation of Constraint-Aware Model Transformations. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (FASE, 2010)

A formalisation of the copy-modify-merge approach to version control in MDE. - Alessandro Rossini; Adrian Rutle; Yngve Lamo; Uwe Wolter (J. Log. Algebraic Methods Program., 2010)

Characterizing Van Kampen Squares via Descent Data - Harald König; Uwe Wolter; Michael Löwe (ACCAT, 2012)

A formal approach to the specification and transformation of constraints in MDE. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (J. Log. Algebraic Methods Program., 2012)

Van Kampen Squares for Graph Transformation. - Harald König; Michael Löwe; Christoph Schulz 002; Uwe Wolter (ICGT, 2014)

A formalisation of deep metamodelling. - Alessandro Rossini; Juan de Lara; Esther Guerra; Adrian Rutle; Uwe Wolter (Formal Aspects Comput., 2014)

Guest Editor's foreword. - Uwe Wolter (J. Log. Algebraic Methods Program., 2014)

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. - Uwe Wolter; Harald König (Appl. Categorical Struct., 2015)

Towards a uniform presentation of logical systems by indexed categories and adjoint situations. - Uwe Wolter; Alfio Martini; Edward Hermann Haeusler (J. Log. Comput., 2015)

Co-evolving meta-models and their instance models: A formal approach based on graph transformation. - Florian Mantz; Gabriele Taentzer; Yngve Lamo; Uwe Wolter (Sci. Comput. Program., 2015)

Being Van Kampen in Presheaf Topoi is a Uniqueness Property. - Harald König; Uwe Wolter (CALCO, 2017)

Graph Operations and Free Graph Algebras. - Uwe Wolter; Zinovy Diskin; Harald König (Graph Transformation, Specifications, and Nets, 2018)

Handling constraints in model versioning. - Alessandro Rossini; Adrian Rutle; Yngve Lamo; Uwe Wolter (MoDELS (Workshops), 2018)

An Approach to Flexible Multilevel Modelling. - Fernando Macías; Adrian Rutle; Volker Stolz; Roberto Rodríguez-Echeverría; Uwe Wolter (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)

Van Kampen Colimits and Path Uniqueness. - Harald König; Uwe Wolter (Log. Methods Comput. Sci., 2018)

Indexed and Fibred Structures for Hoare Logic. - Uwe Wolter; Alfio Martini; Edward Hermann Häusler (LSFA, 2019)

Multilevel coupled model transformations for precise and reusable definition of model behaviour. - Fernando Macías; Uwe Wolter; Adrian Rutle; Francisco Durán 001; Roberto Rodríguez-Echeverría (J. Log. Algebraic Methods Program., 2019)

Multilevel Typed Graph Transformations. - Uwe Wolter; Fernando Macías; Adrian Rutle (ICGT, 2020)

A General Methodology for Internalising Multi-Level Model Typing. - Harald König; Uwe Wolter (MoDELS (Companion), 2021)

Logics of First-Order Constraints - A Category Independent Approach. - Uwe Wolter (CoRR, 2021)

First-Order Sketch Conditions and Constraints - A Category Independent Approach. - Uwe Wolter (CoRR, 2021)

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. - Harald König; Uwe Wolter (TASE, 2022)

Indexed and fibered structures for partial and total correctness assertions. - Uwe Wolter; Alfio Ricardo de Brito Martini; Edward Hermann Haeusler (Math. Struct. Comput. Sci., 2022)

Structural Operational Semantics for Heterogeneously Typed Coalgebras. - Harald König; Uwe Wolter; Tim Kräuter (CALCO, 2023)

Composition of multilevel domain-specific modelling languages. - Alejandro Rodríguez 006; Fernando Macías; Francisco Durán 001; Adrian Rutle; Uwe Wolter (J. Log. Algebraic Methods Program., 2023)

Bialgebraic Representation of Coordination Frameworks. - Harald König; Uwe Wolter (WADT, 2024)