U. Wolter
发表
Z. Diskin,
U. Wolter,
2007
.
V. Stolz,
Adrian Rutle,
U. Wolter,
2018
.
H. König,
U. Wolter,
2013,
Applied Categorical Structures.
F. Durán,
Adrian Rutle,
Fernando Macías,
2022,
J. Log. Algebraic Methods Program..
Francisco Durán,
Fernando Macías,
Adrian Rutle,
2019,
J. Log. Algebraic Methods Program..
Harald König,
Uwe Wolter,
H. König,
2017,
Log. Methods Comput. Sci..
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2018,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Uwe Wolter,
Adrian Rutle,
Fernando Macías,
2018
.
Gabriele Taentzer,
Yngve Lamo,
Uwe Wolter,
2015,
Sci. Comput. Program..
Uwe Wolter,
Edward Hermann Haeusler,
Alfio Martini,
2015,
J. Log. Comput..
Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter,
1998,
Appl. Categorical Struct..
Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter,
1995,
COMPASS/ADT.
Uwe Wolter,
Edward Hermann Haeusler,
Alfio Martini,
2007,
Log. J. IGPL.
Uwe Wolter,
U. Wolter,
2021,
ArXiv.
Uwe Wolter,
U. Wolter,
2006,
WADT.
Uwe Wolter,
U. Wolter,
2002,
Theor. Comput. Sci..
Adrian Rutle,
Yngve Lamo,
Uwe Wolter,
2008,
EATIS.
Ingo Claßen,
Martin Große-Rhode,
Uwe Wolter,
1995,
Mathematical Structures in Computer Science.
Michael Löwe,
Uwe Wolter,
M. Löwe,
1995,
Mathematical Structures in Computer Science.
Uwe Wolter,
U. Wolter,
1994,
COMPASS/ADT.
Uwe Wolter,
U. Wolter,
1991,
Journal of Information Processing and Cybernetics.
Uwe Wolter,
Marcus Klar,
Felix Cornelius,
1995,
KORSO Book.
Reiko Heckel,
Hartmut Ehrig,
Andrea Corradini,
1997,
MFCS.
Reiko Heckel,
Hartmut Ehrig,
Andrea Corradini,
2001,
Appl. Categorical Struct..
H. Ehrig,
R. Heckel,
Uwe Wolter,
1997
.
U. Wolter,
2022,
Mathematics.
H. König,
U. Wolter,
2017,
Log. Methods Comput. Sci..
Harald König,
Uwe Wolter,
H. König,
2015,
Appl. Categorical Struct..
Martin Große-Rhode,
Uwe Wolter,
U. Wolter,
1992,
COMPASS/ADT.
Michael Löwe,
Uwe Wolter,
M. Löwe,
1992,
CAAP.
U. Wolter,
2021
.
Zinovy Diskin,
Uwe Wolter,
Z. Diskin,
2007
.
Uwe Wolter,
U. Wolter,
2005,
Formal Methods in Software and Systems Modeling.
Uwe Wolter,
U. Wolter,
2000,
CMCS.
Adrian Rutle,
Uwe Wolter,
Fernando Mac'ias,
2020,
ICGT.
Uwe Wolter,
U. Wolter,
1999,
CMCS.
Hartmut Ehrig,
Uwe Wolter,
Magdalena Gajewsky,
1997,
WADT.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2010,
J. Log. Algebraic Methods Program..