×

zbMATH — the first resource for mathematics

Wolter, Uwe E.

Compute Distance To:
Author ID: wolter.uwe-e Recent zbMATH articles by "Wolter, Uwe E."
Published as: Wolter, U.; Wolter, U. E.; Wolter, Uwe; Wolter, Uwe E.
Documents Indexed: 34 Publications since 1985

Publications by Year

Citations contained in zbMATH

21 Publications have been cited 47 times in 32 Documents Cited by Year
A diagrammatic logic for object-oriented visual modeling. Zbl 1277.68055
Diskin, Zinovy; Wolter, Uwe
6
2008
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
6
2001
Categorical concepts for parametrized partial specifications. Zbl 0909.18002
Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe
6
1995
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
4
2010
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
3
2012
On corelations, cokernels, and coequations. Zbl 0960.18003
Wolter, Uwe
3
2000
CSP, partial automata, and coalgebras. Zbl 1050.68099
Wolter, Uwe
2
2002
A coalgebraic introduction to CSP. Zbl 0918.68021
Wolter, Uwe
2
1999
Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064
Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe
2
1998
An algebraic approach to deduction in equational partial Horn theories. Zbl 0724.68021
Wolter, Uwe
2
1991
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
Being Van Kampen in presheaf topoi is a uniqueness property. Zbl 1433.68098
König, Harald; Wolter, Uwe
1
2017
Fibred amalgamation, descent data, and Van Kampen squares in topoi. Zbl 1394.18001
Wolter, Uwe; König, Harald
1
2015
A formalisation of deep metamodelling. Zbl 1342.68098
Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
1
2014
Van Kampen squares for graph transformation. Zbl 1423.68233
König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe
1
2014
Fibred and indexed categories for abstract model theory. Zbl 1133.03015
Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann
1
2007
The choice of standards for a reporting language. Zbl 1165.68509
Walicki, Michał; Wolter, Uwe; Stecher, Jack
1
2006
A single perspective on arrows between institutions. Zbl 1089.03510
Martini, Alfio; Wolter, Uwe
1
1999
From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128
Ehrig, H.; Gajewsky, M.; Wolter, U.
1
1998
Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
1
1997
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functors semantics. Zbl 0856.68098
Löwe, Michael; Wolter, Uwe
1
1995
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
Being Van Kampen in presheaf topoi is a uniqueness property. Zbl 1433.68098
König, Harald; Wolter, Uwe
1
2017
Fibred amalgamation, descent data, and Van Kampen squares in topoi. Zbl 1394.18001
Wolter, Uwe; König, Harald
1
2015
A formalisation of deep metamodelling. Zbl 1342.68098
Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
1
2014
Van Kampen squares for graph transformation. Zbl 1423.68233
König, Harald; Löwe, Michael; Schulz, Christoph; Wolter, Uwe
1
2014
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
3
2012
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
4
2010
A diagrammatic logic for object-oriented visual modeling. Zbl 1277.68055
Diskin, Zinovy; Wolter, Uwe
6
2008
Fibred and indexed categories for abstract model theory. Zbl 1133.03015
Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann
1
2007
The choice of standards for a reporting language. Zbl 1165.68509
Walicki, Michał; Wolter, Uwe; Stecher, Jack
1
2006
CSP, partial automata, and coalgebras. Zbl 1050.68099
Wolter, Uwe
2
2002
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
6
2001
On corelations, cokernels, and coequations. Zbl 0960.18003
Wolter, Uwe
3
2000
A coalgebraic introduction to CSP. Zbl 0918.68021
Wolter, Uwe
2
1999
A single perspective on arrows between institutions. Zbl 1089.03510
Martini, Alfio; Wolter, Uwe
1
1999
Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064
Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe
2
1998
From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128
Ehrig, H.; Gajewsky, M.; Wolter, U.
1
1998
Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
1
1997
Categorical concepts for parametrized partial specifications. Zbl 0909.18002
Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe
6
1995
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functors semantics. Zbl 0856.68098
Löwe, Michael; Wolter, Uwe
1
1995
An algebraic approach to deduction in equational partial Horn theories. Zbl 0724.68021
Wolter, Uwe
2
1991

Citations by Year