A. Rensink
发表
Arend Rensink,
Stefan Edelkamp,
S. Edelkamp,
2007
.
Arend Rensink,
Walter Vogler,
Ed Brinksma,
1995,
Inf. Comput..
Arend Rensink,
Harmen Kastenberg,
A. Rensink,
2018,
Graph Transformation, Specifications, and Nets.
Arend Rensink,
A. Rensink,
2006,
ICGT.
Arend Rensink,
Raymond R. Devillers,
Elisabeth Pelz,
1995,
STRICT.
Arend Rensink,
Ursula Goltz,
A. Rensink,
1994,
Theor. Comput. Sci..
Arend Rensink,
A. Rensink,
2010
.
Arend Rensink,
Julia Padberg,
Barbara König,
2018,
Graph Transformation, Specifications, and Nets.
Joost-Pieter Katoen,
Arend Rensink,
Dino Distefano,
2005,
FMCO.
Arend Rensink,
A. Rensink,
1994,
PROCOMET.
Arend Rensink,
Rajesh Kumar,
Mariëlle Stoelinga,
2018,
FASE.
Arend Rensink,
A. Rensink,
2005,
Electron. Notes Theor. Comput. Sci..
Arend Rensink,
A. Rensink,
2003
.
Arend Rensink,
A. Rensink,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Arend Rensink,
Amir Hossein Ghamarian,
A. H. Ghamarian,
2012,
ICGT.
A. Rensink,
S. Blom,
G. Kant,
2010
.
A. Rensink,
S. Schivo,
A. Laarman,
2012
.
Dino Distefano,
A. Rensink,
J. Katoen,
2002
.
A. Rensink,
Eduardo Zambon,
2011
.
A. H. Ghamarian,
A. Rensink,
M. Mol,
2011
.
L. Burgueño,
A. Rensink,
S. Gérard,
2019
.
Arend Rensink,
Iovka Boneva,
Marcos E. Kurbán,
2007
.
A. H. Ghamarian,
A. Rensink,
A. Jalali,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
A. Rensink,
1997
.
Alan Hartman,
Arend Rensink,
Richard F. Paige,
2009
.
Hartmut Ehrig,
Arend Rensink,
Andy Schürr,
2010
.
Dino Distefano,
A. Rensink,
J. Katoen,
2022
.
A. Rensink,
B. Yildiz,
T. Basten,
2017
.
Reiko Heckel,
Arend Rensink,
Barbara König,
2007,
GT-VC@CONCUR.
Hartmut Ehrig,
Arend Rensink,
Andy Schürr,
2010
.
Arend Rensink,
Heike Wehrheim,
A. Rensink,
1999,
Acta Informatica.
Djurre van der Wal,
A. Rensink,
M. Stoelinga,
2022,
Formal Aspects of Computing.
A. Rensink,
1992
.
A. Rensink,
2014
.
Arend Rensink,
Roberto Gorrieri,
A. Rensink,
1997,
FBT.
A. Rensink,
2006
.
Hartmut Ehrig,
Arend Rensink,
Andy Schürr,
2010
.
Hartmut Ehrig,
Arend Rensink,
Andy Schürr,
2010,
International Conference on Graph Transformation.
A. H. Ghamarian,
A. Rensink,
2012
.
Arend Rensink,
Uwe Aßmann,
Mehmet Aksit,
2005
.
Arend Rensink,
R. Gorrieri,
A. Rensink,
1999,
Handbook of Process Algebra.
Arend Rensink,
Jan Tretmans,
Machiel van der Bijl,
2005,
TestCom.
Moussa Amrani,
Robert Heinrich,
Hans Vangheluwe,
2019,
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
Arend Rensink,
Jesús Sánchez Cuadrado,
A. Rensink,
2018,
Lecture Notes in Computer Science.
Arend Rensink,
A. Rensink,
1999,
EXPRESS.
Arend Rensink,
Dino Distefano,
Dino Distefano,
2006,
SVV@ICFEM.
Arend Rensink,
A. Rensink,
2004,
ESOP.
Sebastian Junges,
Joost-Pieter Katoen,
Arend Rensink,
2015,
Formal Aspects of Computing.
Arend Rensink,
Tom Staijen,
A. Rensink,
2009,
FOAL '09.
Arend Rensink,
Theo C. Ruys,
M. Kattenbelt,
2007
.
Arend Rensink,
Jan-Hendrik Kuperus,
A. Rensink,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Arend Rensink,
A. Rensink,
2005
.
Arend Rensink,
A. Rensink,
2004,
ICGT.
Arash Jalali,
Arend Rensink,
Amir Hossein Ghamarian,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joost-Pieter Katoen,
Arend Rensink,
Dino Distefano,
2002,
IFIP TCS.
Joost-Pieter Katoen,
Arend Rensink,
Dino Distefano,
2001
.
Arend Rensink,
Amir Hossein Ghamarian,
A. H. Ghamarian,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
A. Rensink,
M. Stoelinga,
B. Luttik,
2022,
Formal Aspects Comput..
Djurre van der Wal,
A. Rensink,
M. Stoelinga,
2020
.
A. Rensink,
J. Cuadrado,
2020,
Software and Systems Modeling.
Hans Vangheluwe,
Arend Rensink,
Moussa Amrani,
2021,
Software and Systems Modeling.
Annegret Habel,
Arend Rensink,
Karl-Heinz Pennemann,
2006,
ICGT.
Arend Rensink,
Nacir Bouali,
Marloes Luttikhuis,
2021,
CSEDU.
Reiko Heckel,
Arend Rensink,
Barbara König,
2005
.
Arend Rensink,
A. Rensink,
2010,
ICALP.
Arend Rensink,
Rajesh Kumar,
Mariëlle Stoelinga,
2017,
SETTA.
A. Rensink,
J. Katoen,
M. Stoelinga,
2017,
Formal Aspects of Computing.
Antonio Vallecillo,
Gerti Kappel,
Rick Salay,
2019,
Software and Systems Modeling.
Jörg Kienzle,
Markus Völter,
Fiona A. C. Polack,
2019
.
Dániel Varró,
Arend Rensink,
Ákos Schmidt,
2004,
ICGT.
Gabriele Taentzer,
Arend Rensink,
A. Rensink,
2005,
FASE.
Arend Rensink,
A. Rensink,
2000
.
Arend Rensink,
A. Rensink,
2000,
CONCUR.
Arend Rensink,
Thomas Gehrke,
A. Rensink,
1999,
EXPRESS.
Arend Rensink,
Heike Wehrheim,
A. Rensink,
1994,
CONCUR.
Arend Rensink,
Eduardo Zambon,
A. Rensink,
2012,
ICGT.
Antonio Vallecillo,
Gerti Kappel,
Rick Salay,
2018,
MoDELS.
Arend Rensink,
Theo C. Ruys,
Valerie M. Jones,
2004
.
Arend Rensink,
Amir Hossein Ghamarian,
A. H. Ghamarian,
2010,
International Journal on Software Tools for Technology Transfer.
Alan Hartman,
Arend Rensink,
Richard F. Paige,
2003
.
Gregor Engels,
Arend Rensink,
Anneke Kleppe,
2008,
ECMDA-FA.
Arend Rensink,
Patrick W. Sathyanathan,
A. Rensink,
2006
.
Arend Rensink,
Eduardo Zambon,
Mehmet Aksit,
2011,
AGTIVE.
Arend Rensink,
Rajesh Kumar,
Mariëlle Stoelinga,
2018,
SAC.
Arend Rensink,
Roberto Gorrieri,
A. Rensink,
2001,
Inf. Comput..
Arend Rensink,
Eduardo Zambon,
Iovka Boneva,
2012
.
Arend Rensink,
Paolo Baldan,
B. Koenig,
2005
.
Joost-Pieter Katoen,
Arend Rensink,
Dino Distefano,
2000
.
Arend Rensink,
Heike Wehrheim,
Michaela Huhn,
1998,
FORTE.
Arend Rensink,
Peter Niebert,
Heike Wehrheim,
2007
.
Stefania Gnesi,
Arend Rensink,
A. Rensink,
2014,
Lecture Notes in Computer Science.
Arend Rensink,
A. Rensink,
2016,
LNCS Trans. Found. Mastering Chang..
Arend Rensink,
Eduardo Zambon,
A. Rensink,
2009,
FMOODS/FORTE.
Petra van den Bos,
A. Rensink,
J. Tretmans,
2022
.
Arend Rensink,
A. Rensink,
2003
.