Person:2219081

Available identifiers

zbMath Open wolter.uwe-eMaRDI QIDQ2219081

List of research outcomes

Publication	Date of Publication	Type
Structural operational semantics for heterogeneously typed coalgebras	2024-11-26	Paper
Indexed and fibered structures for partial and total correctness assertions	2023-04-19	Paper
Multilevel Typed Graph Transformations	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5074682	2022-05-09	Paper
Indexed and fibred structures for Hoare logic	2021-01-19	Paper
Multilevel coupled model transformations for precise and reusable definition of model behaviour	2019-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4580212	2018-08-13	Paper
Van Kampen Colimits and Path Uniqueness	2018-05-30	Paper
Graph operations and free graph algebras	2018-04-04	Paper
A formalisation of deep metamodelling	2016-08-05	Paper
Fibred amalgamation, descent data, and Van Kampen squares in topoi	2015-06-19	Paper
Van Kampen Squares for Graph Transformation	2014-09-26	Paper
A Diagrammatic Logic for Object-Oriented Visual Modeling	2013-12-06	Paper
A formal approach to the specification and transformation of constraints in MDE	2012-08-14	Paper
A formalisation of the copy-modify-merge approach to version control in MDE	2010-10-22	Paper
Fibred and Indexed Categories for Abstract Model Theory	2008-01-18	Paper
A (Co)Algebraic Analysis of Synchronization in CSP	2007-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3434500	2007-05-02	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
CSP, partial automata, and coalgebras.	2002-07-15	Paper
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems	2001-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499301	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4942091	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4699298	2000-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4256311	1999-07-12	Paper
Categorical concepts for parameterized partial specifications	1999-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4250370	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3839059	1998-10-26	Paper
Applications of category theory to the area of algebraic specification in computer science	1998-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4362966	1998-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q3129296	1997-07-20	Paper
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics	1997-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q3212269	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3491013	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709913	1985-01-01	Paper

Research outcomes over time

This page was built for person: U. E. Wolter