Uwe Wolter
发表
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2018,
MODELS Workshops.
Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter,
1995,
COMPASS/ADT.
Adrian Rutle,
Yngve Lamo,
Uwe Wolter,
2006
.
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2018,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Uwe Wolter,
Olga Korableva,
Nikita Solovyov,
2018
.
Uwe Wolter,
U. Wolter,
2005,
Formal Methods in Software and Systems Modeling.
Uwe Wolter,
1988,
ALP.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2010,
J. Log. Algebraic Methods Program..
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2009,
TOOLS.
Hartmut Ehrig,
Uwe Wolter,
1996,
Bull. EATCS.
Adrian Rutle,
Yngve Lamo,
Uwe Wolter,
2008
.
Gabriele Taentzer,
Yngve Lamo,
Uwe Wolter,
2015,
Sci. Comput. Program..
Reiko Heckel,
Hartmut Ehrig,
Andrea Corradini,
2001,
Appl. Categorical Struct..
Adrian Rutle,
Uwe Wolter,
Fernando Mac'ias,
2020,
ICGT.
Uwe Wolter,
Marcus Klar,
Felix Cornelius,
1995,
KORSO Book.
Ingo Claßen,
Martin Große-Rhode,
Uwe Wolter,
1995,
Mathematical Structures in Computer Science.
Uwe Wolter,
2014,
J. Log. Algebraic Methods Program..
Zinovy Diskin,
Uwe Wolter,
2008,
ISoLA.
Uwe Wolter,
U. Wolter,
2002,
Theor. Comput. Sci..
Uwe Wolter,
Alfio Martini,
1998,
AMAST.
Adrian Rutle,
Yngve Lamo,
Uwe Wolter,
2008,
EATIS.
Uwe Wolter,
Alfio Martini,
1997,
Category Theory and Computer Science.
Michal Walicki,
Uwe Wolter,
Jack Douglas Stecher,
2005
.
Uwe Wolter,
U. Wolter,
2006,
WADT.
Uwe Wolter,
Edward Hermann Haeusler,
Alfio Martini,
2007,
Log. J. IGPL.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2010,
FASE.
Juan de Lara,
Esther Guerra,
Adrian Rutle,
2014,
Formal Aspects of Computing.
Michael Löwe,
Uwe Wolter,
M. Löwe,
1995,
Mathematical Structures in Computer Science.
Uwe Wolter,
Edward Hermann Haeusler,
Alfio Martini,
2015,
J. Log. Comput..
Hartmut Ehrig,
Uwe Wolter,
Magdalena Gajewsky,
1997,
WADT.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2011
.
Uwe Wolter,
1988
.
Uwe Wolter,
U. Wolter,
2021,
ArXiv.
Martin Große-Rhode,
Uwe Wolter,
U. Wolter,
1992,
COMPASS/ADT.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2009,
FASE.
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..
Zinovy Diskin,
Harald König,
Uwe Wolter,
2018,
Graph Transformation, Specifications, and Nets.
Michael Löwe,
Harald König,
Uwe Wolter,
2014,
ICGT.
Uwe Wolter,
U. Wolter,
1991,
Journal of Information Processing and Cybernetics.
Uwe Wolter,
U. Wolter,
2000,
CMCS.
Uwe Wolter,
Alfio Martini,
E. H. Häusler,
2020,
LSFA.
Harald König,
Uwe Wolter,
2017,
CALCO.
Uwe Wolter,
2018
.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2012,
J. Log. Algebraic Methods Program..
Harald König,
Uwe Wolter,
H. König,
2015,
Appl. Categorical Struct..
Michael Löwe,
Uwe Wolter,
M. Löwe,
1992,
CAAP.
Uwe Wolter,
U. Wolter,
1994,
COMPASS/ADT.
Michal Walicki,
Uwe Wolter,
Jack Douglas Stecher,
2006
.
Reiko Heckel,
Hartmut Ehrig,
Andrea Corradini,
1997,
MFCS.
Uwe Wolter,
Alfio Martini,
1997,
WADT.
Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter,
1998,
Appl. Categorical Struct..
Zinovy Diskin,
Uwe Wolter,
2008,
Electron. Notes Theor. Comput. Sci..
Uwe Wolter,
U. Wolter,
1999,
CMCS.
Uwe Wolter,
Edward Hermann Haeusler,
Alfio Martini,
2007
.
Michael Löwe,
Harald König,
Uwe Wolter,
2012,
ACCAT.
Harald König,
Uwe Wolter,
2021,
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
Uwe Wolter,
2021,
ArXiv.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2011
.
Zinovy Diskin,
Uwe Wolter,
Z. Diskin,
2007
.
Adrian Rutle,
Yngve Lamo,
Alessandro Rossini,
2011
.
Adrian Rutle,
Uwe Wolter,
Fernando Macı́as,
2018
.