We stand with Ukraine

We stand with Ukraine

Uwe Wolter

Orcid: 0000-0002-7553-9858

According to our database¹, Uwe Wolter authored at least 54 papers between 1988 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Composition of multilevel domain-specific modelling languages.

[BibT_eX]

[DOI]

Alejandro Rodríguez

,

Fernando Macías

,

Francisco Durán

,

,

J. Log. Algebraic Methods Program., 2023

Structural Operational Semantics for Heterogeneously Typed Coalgebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Indexed and fibered structures for partial and total correctness assertions.

[BibT_eX]

[DOI]

,

Alfio Ricardo de Brito Martini

,

Edward Hermann Haeusler

Math. Struct. Comput. Sci., October, 2022

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach.

[BibT_eX]

[DOI]

,

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

First-Order Sketch Conditions and Constraints - A Category Independent Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Logics of First-Order Constraints - A Category Independent Approach.

[BibT_eX]

[DOI]

CoRR, 2021

A General Methodology for Internalising Multi-Level Model Typing.

[BibT_eX]

[DOI]

,

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

Multilevel Typed Graph Transformations.

[BibT_eX]

[DOI]

,

Fernando Macías

,

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Multilevel coupled model transformations for precise and reusable definition of model behaviour.

[BibT_eX]

[DOI]

Fernando Macías

,

,

,

Francisco Durán

,

Roberto Rodríguez-Echeverría

J. Log. Algebraic Methods Program., 2019

Indexed and Fibred Structures for Hoare Logic.

[BibT_eX]

[DOI]

,

,

Edward Hermann Häusler

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2018

Van Kampen Colimits and Path Uniqueness.

[BibT_eX]

[DOI]

,

Log. Methods Comput. Sci., 2018

An Approach to Flexible Multilevel Modelling.

[BibT_eX]

[DOI]

Fernando Macías

,

,

,

Roberto Rodríguez-Echeverría

,

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

Handling constraints in model versioning.

[BibT_eX]

[DOI]

Alessandro Rossini

,

,

,

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Graph Operations and Free Graph Algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Being Van Kampen in Presheaf Topoi is a Uniqueness Property.

[BibT_eX]

[DOI]

,

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2015

Co-evolving meta-models and their instance models: A formal approach based on graph transformation.

[BibT_eX]

[DOI]

,

Gabriele Taentzer

,

,

Sci. Comput. Program., 2015

Towards a uniform presentation of logical systems by indexed categories and adjoint situations.

[BibT_eX]

[DOI]

,

,

Edward Hermann Haeusler

J. Log. Comput., 2015

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi.

[BibT_eX]

[DOI]

,

Appl. Categorical Struct., 2015

2014

Guest Editor's foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

A formalisation of deep metamodelling.

[BibT_eX]

[DOI]

Alessandro Rossini

,

,

,

,

Formal Aspects Comput., 2014

Van Kampen Squares for Graph Transformation.

[BibT_eX]

[DOI]

,

,

Christoph Schulz

,

Proceedings of the Graph Transformation - 7th International Conference, 2014

2012

A formal approach to the specification and transformation of constraints in MDE.

[BibT_eX]

[DOI]

,

Alessandro Rossini

,

,

J. Log. Algebraic Methods Program., 2012

Characterizing Van Kampen Squares via Descent Data

[BibT_eX]

[DOI]

,

,

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

2010

A formalisation of the copy-modify-merge approach to version control in MDE.

[BibT_eX]

[DOI]

Alessandro Rossini

,

,

,

J. Log. Algebraic Methods Program., 2010

A Formalisation of Constraint-Aware Model Transformations.

[BibT_eX]

[DOI]

,

Alessandro Rossini

,

,

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

A Diagrammatic Formalisation of MOF-Based Modelling Languages.

[BibT_eX]

[DOI]

,

Alessandro Rossini

,

,

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

A Category-Theoretical Approach to the Formalisation of Version Control in MDE.

[BibT_eX]

[DOI]

,

Alessandro Rossini

,

,

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Contexts and Context Awareness in View of the Diagram Predicate Framework.

[BibT_eX]

[DOI]

,

Proceedings of the Leveraging Applications of Formal Methods, 2008

A diagrammatic approach to model transformations.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

2007

Fibred and Indexed Categories for Abstract Model Theory.

[BibT_eX]

[DOI]

,

,

Edward Hermann Haeusler

Log. J. IGPL, 2007

A Diagrammatic Logic for Object-Oriented Visual Modeling.

[BibT_eX]

[DOI]

,

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

2006

A (Co)Algebraic Analysis of Synchronization in CSP.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

2005

Cofree Coalgebras for Signature Morphisms.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2002

CSP, partial automata, and coalgebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.

[BibT_eX]

[DOI]

,

,

,

Andrea Corradini

Appl. Categorical Struct., 2001

2000

On Corelations, Cokernels, and Coequations.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

A coalgebraic introduction to CSP.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998

Applications of Category Theory to the Area of Algebraic Specification in Computer Science.

[BibT_eX]

[DOI]

,

Martin Große-Rhode

,

Appl. Categorical Struct., 1998

A Single Perspective on Arrows between Institutions.

[BibT_eX]

[DOI]

,

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

A systematic study of mappings between institutions.

[BibT_eX]

[DOI]

,

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

From abstract data types to algebraic development techniques: A shift of paradigms.

[BibT_eX]

[DOI]

,

Magdalena Gajewsky

,

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Integrating the Specification Techniques of Graph Transformation and Temporal Logic.

[BibT_eX]

[DOI]

,

,

,

Andrea Corradini

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Shedding the New Light in the World of Logical Systems.

[BibT_eX]

[DOI]

,

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

The Impact and Future Role of Algebraic Specification.

[BibT_eX]

,

Bull. EATCS, 1996

1995

Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics.

[BibT_eX]

[DOI]

,

Math. Struct. Comput. Sci., 1995

Categorical Concepts for Parameterized Partial Specifications.

[BibT_eX]

[DOI]

,

Martin Große-Rhode

,

Math. Struct. Comput. Sci., 1995

How to Cope with the Spectrum of SPECTRUM.

[BibT_eX]

[DOI]

,

,

Felix Cornelius

,

Proceedings of the KORSO, 1995

On the Role of Category Theory in the Area of Algebraic Specification.

[BibT_eX]

[DOI]

,

Martin Große-Rhode

,

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Institutional Frames.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1992

Two-Categorical Specification of Partial Algebras.

[BibT_eX]

[DOI]

Martin Große-Rhode

,

Proceedings of the Recent Trends in Data Type Specification, 1992

Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.

[BibT_eX]

[DOI]

,

Proceedings of the CAAP '92, 1992

1991

An Algebraic Approach to Deduction in Equational Partial Horn Theories.

[BibT_eX]

J. Inf. Process. Cybern., 1991

1988

Ein algebraischer Zugang zur operationalen Semantik gleichungspartieller Horntheorien.

[BibT_eX]

[DOI]

PhD thesis, 1988

Narrowing in Partial Conditional Equational Theories (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1988

Loading...