Uwe Wolter

ORCID

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 20

Top Venues

CoRR

J. Log. Algebraic Methods Program.

CALCO

ICGT

Technische Hochschule Magdeburg, Germany (PHD)

Education History

Technische Hochschule Magdeburg, Germany

PHD

Publications

Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter
Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. 130 (2023)
Harald König, Uwe Wolter, Tim Kräuter
Structural Operational Semantics for Heterogeneously Typed Coalgebras. CALCO (2023)
Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler
Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. 32 (9) (2022)
Harald König, Uwe Wolter
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. TASE (2022)
Uwe Wolter
Logics of First-Order Constraints - A Category Independent Approach. CoRR (2021)
Harald König, Uwe Wolter
A General Methodology for Internalising Multi-Level Model Typing. MoDELS (Companion) (2021)
Uwe Wolter
First-Order Sketch Conditions and Constraints - A Category Independent Approach. CoRR (2021)
Uwe Wolter, Fernando Macías, Adrian Rutle
Multilevel Typed Graph Transformations. ICGT (2020)
Uwe Wolter, Fernando Macías, Adrian Rutle
Multilevel Typed Graph Transformations. CoRR (2020)
Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. CoRR (2019)
Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. 106 (2019)
Uwe Wolter, Alfio Martini, Edward Hermann Häusler
Indexed and Fibred Structures for Hoare Logic. LSFA (2019)
Harald König, Uwe Wolter
Van Kampen Colimits and Path Uniqueness. Log. Methods Comput. Sci. 14 (2) (2018)
Uwe Wolter, Zinovy Diskin, Harald König
Graph Operations and Free Graph Algebras. Graph Transformation, Specifications, and Nets (2018)
Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter
An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (2018)
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
Handling constraints in model versioning. MoDELS (Workshops) (2018)
Harald König, Uwe Wolter
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. CALCO (2017)
Uwe Wolter, Alfio Martini, Edward Hermann Haeusler
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25 (1) (2015)
Florian Mantz, Gabriele Taentzer, Yngve Lamo, Uwe Wolter
Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Sci. Comput. Program. 104 (2015)
Uwe Wolter, Harald König
Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Appl. Categorical Struct. 23 (3) (2015)
Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter
A formalisation of deep metamodelling. Formal Aspects Comput. 26 (6) (2014)
Uwe Wolter
Guest Editor's foreword. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
Van Kampen Squares for Graph Transformation. ICGT (2014)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebraic Methods Program. 81 (4) (2012)
Harald König, Uwe Wolter, Michael Löwe
Characterizing Van Kampen Squares via Descent Data ACCAT (2012)
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebraic Methods Program. 79 (7) (2010)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Formalisation of Constraint-Aware Model Transformations. FASE (2010)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) (2009)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE (2009)
Adrian Rutle, Uwe Wolter, Yngve Lamo
A diagrammatic approach to model transformations. EATIS (2008)
Uwe Wolter, Zinovy Diskin
Contexts and Context Awareness in View of the Diagram Predicate Framework. ISoLA (2008)
Zinovy Diskin, Uwe Wolter
A Diagrammatic Logic for Object-Oriented Visual Modeling. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15 (5-6) (2007)
Uwe Wolter
A (Co)Algebraic Analysis of Synchronization in CSP. WADT (2006)
Uwe Wolter
Cofree Coalgebras for Signature Morphisms. Formal Methods in Software and Systems Modeling (2005)
Uwe Wolter
CSP, partial automata, and coalgebras. Theor. Comput. Sci. 280 (1-2) (2002)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9 (1) (2001)
Uwe Wolter
On Corelations, Cokernels, and Coequations. CMCS (2000)
Uwe Wolter
A coalgebraic introduction to CSP. CMCS (1999)
Alfio Martini, Uwe Wolter
A Single Perspective on Arrows between Institutions. AMAST (1998)
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. 6 (1) (1998)
Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
From abstract data types to algebraic development techniques: A shift of paradigms. WADT (1997)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS (1997)
Uwe Wolter, Alfio Martini
Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science (1997)
Alfio Martini, Uwe Wolter
A systematic study of mappings between institutions. WADT (1997)
Hartmut Ehrig, Uwe Wolter
The Impact and Future Role of Algebraic Specification. Bull. EATCS 60 (1996)
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT (1995)
Michael Löwe, Uwe Wolter
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. 5 (1) (1995)
Ingo Claßen, Martin Große-Rhode, Uwe Wolter
Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. 5 (2) (1995)
Uwe Wolter
Institutional Frames. COMPASS/ADT (1994)
Martin Große-Rhode, Uwe Wolter
Two-Categorical Specification of Partial Algebras. COMPASS/ADT (1992)
Uwe Wolter, Michael Löwe
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP (1992)
Uwe Wolter
An Algebraic Approach to Deduction in Equational Partial Horn Theories. J. Inf. Process. Cybern. 27 (2) (1991)
Uwe Wolter
Narrowing in Partial Conditional Equational Theories (Abstract). ALP (1988)

Uwe Wolter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uwe Wolter