Marcello M. Bonsangue
发表
Jurriaan Rot,
Marcello M. Bonsangue,
2014,
FoSSaCS.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
ICE.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
Inf. Comput..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2014,
ACM Trans. Comput. Log..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2016,
Math. Struct. Comput. Sci..
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2012,
EXPRESS/SOS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro,
2003,
Sci. Comput. Program..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2009,
FoSSaCS.
Marcello M. Bonsangue,
Eric Madelaine,
Frank S. Boer,
2009,
FMCO.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
IJCAR.
Marcello M. Bonsangue,
Einar Broch Johnsen,
Erika Ábrahám,
2016
.
Frank S. de Boer,
Marcello M. Bonsangue,
Reiner Hähnle,
2012,
Lecture Notes in Computer Science.
Marcello M. Bonsangue,
Mohammad Izadi,
M. Bonsangue,
2008,
ICTAC.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
WADT.
Frank S. de Boer,
Marcello M. Bonsangue,
Einar Broch Johnsen,
2020,
20 Years of KeY.
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Julian Salamanca,
2015,
MFCS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2008,
FoSSaCS.
Marcello M. Bonsangue,
Joost N. Kok,
1997,
TACS.
Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
2005,
FMCO.
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Joost Winter,
2013,
Log. Methods Comput. Sci..
Alexandra Silva,
Marcello M. Bonsangue,
Dorel Lucanu,
2010,
SBMF.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Sci. Comput. Program..
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Helle Hvid Hansen,
2014,
Horizons of the Mind.
Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro,
1999,
COORDINATION.
Marcello M. Bonsangue,
Joost N. Kok,
1999,
Inf. Comput..
Marcello M. Bonsangue,
Joost N. Kok,
2001,
TACS.
Farhad Arbab,
Marcello M. Bonsangue,
F. S. deBoer,
2009
.
Jurriaan Rot,
Marcello M. Bonsangue,
Julian Salamanca,
2016,
CMCS.
Marcello M. Bonsangue,
Zhongwei Xu,
Cong Peng,
2019,
IEEE Access.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
Marcello M. Bonsangue,
Michiel Helvensteijn,
Joost N. Kok,
2016,
From Action Systems to Distributed Systems.
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Julian Salamanca,
2015,
MPC.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2012,
MFPS.
Frank S. de Boer,
Marcello M. Bonsangue,
M. Bonsangue,
2000,
MFCS.
Davide Ancona,
Frank S. de Boer,
Jurriaan Rot,
2014,
ICALP.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2013,
MFPS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2009,
CONCUR.
Bernhard K. Aichernig,
Frank S. de Boer,
Marcello M. Bonsangue,
2010,
Lecture Notes in Computer Science.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2003,
FOCLASA.
Marcello M. Bonsangue,
F. S. de Boer,
Andries Stam,
2004
.
Farhad Arbab,
Marcello M. Bonsangue,
F. S. deBoer,
2001
.
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Marie Fortin,
2014,
WADT.
Farhad Arbab,
Leon van der Torre,
Marcello M. Bonsangue,
2005
.
Alexandra Silva,
Marcello M. Bonsangue,
Dave Clarke,
2009,
Sci. Comput. Program..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2010,
Log. Methods Comput. Sci..
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Joost Winter,
2011,
CALCO.
Farhad Arbab,
Marcello M. Bonsangue,
Hui Feng,
2019,
ICFEM.
Marcello M. Bonsangue,
F. S. deBoer,
S. Graf,
2007
.
Marcello M. Bonsangue,
Joost N. Kok,
M. Bonsangue,
1994,
Formal Aspects of Computing.
Marcello M. Bonsangue,
Jan Rutten,
M. Bonsangue,
2018,
Lecture Notes in Computer Science.
Marcello M. Bonsangue,
Joost N. Kok,
M. Bonsangue,
1994,
TACS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2011,
Logic and Program Semantics.
Frank S. de Boer,
Marcello M. Bonsangue,
Stijn de Gouw,
2010,
FACS.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2002,
Proceedings 26th Annual International Computer Software and Applications.
Farhad Arbab,
Frank S. de Boer,
Henk Jonkers,
2003,
Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..
Frank S. de Boer,
Dick A. C. Quartel,
Henk Jonkers,
2017,
Enterprise Architecture at Work, 4th ed..
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Joost Winter,
2012,
CMCS.
Marcello M. Bonsangue,
Joost N. Kok,
M. Bonsangue,
1992,
REX Workshop.
Marcello M. Bonsangue,
Einar Broch Johnsen,
Erika Ábrahám,
2016,
Lecture Notes in Computer Science.
Bart Jacobs,
Marcello M. Bonsangue,
Joost N. Kok,
1995,
Theor. Comput. Sci..
Frank S. de Boer,
Marcello M. Bonsangue,
Willem-Paul de Roever,
2004
.
Marcello M. Bonsangue,
Einar Broch Johnsen,
2007
.
Marcello M. Bonsangue,
Willem-Paul de Roever,
Frank S. Boer,
2008,
FMCO.
Marcello M. Bonsangue,
Susanne Graf,
S BoerdeF.,
2008
.
Alexandra Silva,
Marcello M. Bonsangue,
Dave Clarke,
2009,
COORDINATION.
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
FMCO.
Marcello M. Bonsangue,
Huibiao Zhu,
Shuangqing Xiang,
2019,
ICFEM.
Kaisa Sere,
Marcello M. Bonsangue,
Joost N. Kok,
1998,
MPC.
Erik P. de Vink,
Marcello M. Bonsangue,
Joost N. Kok,
1995,
CONCUR.
Frank S. de Boer,
Leon van der Torre,
Marcello M. Bonsangue,
2004,
Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..
Marcello M. Bonsangue,
Joost N. Kok,
M. Bonsangue,
1999,
SAC '99.
Marcello M. Bonsangue,
F. S. deBoer,
E. Madelaine,
2009
.
Farhad Arbab,
Marcello M. Bonsangue,
J. W. de Bakker,
1997
.
Frank S. de Boer,
Marcello M. Bonsangue,
2004,
Electron. Notes Theor. Comput. Sci..
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2019,
MPC.
Marcello M. Bonsangue,
R. van den Broek,
M. Chaudron,
2014,
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2005,
SAC '05.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2000,
SAC '00.
Dick A. C. Quartel,
Henk Jonkers,
Marcello M. Bonsangue,
2017,
Enterprise Architecture at Work, 4th ed..
Marcello M. Bonsangue,
Einar Broch Johnsen,
2007,
FMOODS.
Marcello M. Bonsangue,
Dave Clarke,
Mohammad Izadi,
2011,
Software & Systems Modeling.
Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
2006,
FMCO.
Marcello M. Bonsangue,
2014
.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2006,
FoSSaCS.
Henk Jonkers,
Leon van der Torre,
Marcello M. Bonsangue,
2004,
Int. J. Cooperative Inf. Syst..
Frank S. de Boer,
Marcello M. Bonsangue,
Andreas Grüner,
2009,
Electron. Notes Theor. Comput. Sci..
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
FOCLASA.
Jurriaan Rot,
Marcello M. Bonsangue,
M. Bonsangue,
2016,
J. Log. Algebraic Methods Program..
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Franck van Breugel,
1995,
Theor. Comput. Sci..
Frank S. de Boer,
Leon van der Torre,
Marcello M. Bonsangue,
2005,
IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005..
Marcello M. Bonsangue,
1999
.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
Fundam. Informaticae.
Farhad Arbab,
Marcello M. Bonsangue,
Marc M. Lankhorst,
2005
.
Farhad Arbab,
Frank S. de Boer,
Leon van der Torre,
2007,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Frank S. de Boer,
Marcello M. Bonsangue,
Mohammad Mahdi Jaghoori,
2014,
Sci. Comput. Program..
Marcello M. Bonsangue,
Mohammad Izadi,
M. Bonsangue,
2009,
FSEN.
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
ICTAC.
Marcello M. Bonsangue,
Willem-Paul de Roever,
Frank S. Boer,
2004
.
Marcello M. Bonsangue,
Martin Steffen,
de Frank Boer,
2008
.
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Joost Winter,
2015,
J. Comput. Syst. Sci..
Frank S. de Boer,
Leon van der Torre,
Marcello M. Bonsangue,
2005,
Proceedings of the 38th Annual Hawaii International Conference on System Sciences.
Frank S. de Boer,
Marcello M. Bonsangue,
2019,
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Marcello M. Bonsangue,
Michael Leuschel,
Frank S. Boer,
2010,
FMCO.
Alexandra Silva,
Marcello M. Bonsangue,
Stefan Milius,
2011,
TOCL.
Henk Jonkers,
Marcello M. Bonsangue,
Marc M. Lankhorst,
2013
.
Edwin D. de Jong,
Marcello M. Bonsangue,
Joost N. Kok,
1998,
SAC '98.
Marcello M. Bonsangue,
Lei Zhang,
Huibiao Zhu,
2020,
Sci. Comput. Program..
Marcello M. Bonsangue,
M. Bonsangue,
1998,
Electron. Notes Theor. Comput. Sci..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2011,
Inf. Comput..
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Mathematical Structures in Computer Science.
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
FMCO.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2011,
Inf. Comput..
Alexandra Silva,
Marcello M. Bonsangue,
Dorel Lucanu,
2013,
Sci. Comput. Program..
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
LATA.
Marcello M. Bonsangue,
Dave Clarke,
Mohammad Izadi,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2010,
FSTTCS.
Marcello M. Bonsangue,
Joost N. Kok,
1997,
MFCS.
Marcello M. Bonsangue,
Alexander Kurz,
Luca Aceto,
2006,
SIGMETRICS 2006.
Marcello M. Bonsangue,
de Frank Boer,
Juan Guillen Scholten,
2006
.
Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer,
2002
.
Frank S. de Boer,
Marcello M. Bonsangue,
2019,
FM.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Sci. Comput. Program..
Marcello M. Bonsangue,
F. S. deBoer,
E. Madelaine,
2009
.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2013,
FSEN.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2005,
FoSSaCS.
Marcello M. Bonsangue,
Joost N. Kok,
M. Bonsangue,
1993,
MFCS.
Bernhard Beckert,
Marcello M. Bonsangue,
Ferruccio Damiani,
2013
.
Marcello M. Bonsangue,
Yuxin Deng,
2018,
Sci. Comput. Program..
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
SOFSEM.
Marcello M. Bonsangue,
F. S. deBoer,
2004
.
Bernhard Beckert,
Frank S. de Boer,
Marcello M. Bonsangue,
2013,
Lecture Notes in Computer Science.
Kaisa Sere,
Marcello M. Bonsangue,
Joost N. Kok,
1999,
FMOODS.
Farhad Arbab,
Marcello M. Bonsangue,
Marjan Sirjani,
2010,
FACS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
Log. Methods Comput. Sci..
Marcello M. Bonsangue,
Reiner Hähnle,
Elena Giachino,
2012
.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2014,
Lecture Notes in Computer Science.
Henk Jonkers,
Marcello M. Bonsangue,
Marc M. Lankhorst,
2004,
Electron. Notes Theor. Comput. Sci..
Frank S. de Boer,
Leon van der Torre,
Marcello M. Bonsangue,
2004,
ISoLA.
Marcello M. Bonsangue,
Joost N. Kok,
2003,
Inf. Comput..
Farhad Arbab,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2000,
Theor. Comput. Sci..
Marcello M. Bonsangue,
Frank S. Boer,
Juan Guillen-Scholten,
2006
.
Marcello M. Bonsangue,
F. S. deBoer,
B. K. Aichernig,
2011
.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2000,
COORDINATION.
Marcello M. Bonsangue,
Fan Zhou,
Xueqin Chen,
2021,
Int. J. Intell. Syst..
Chitsutha Soomlek,
Marcello M. Bonsangue,
Jan N. van Rijn,
2021,
DS.
Frank S. de Boer,
Marcello M. Bonsangue,
2021,
Formal Aspects Comput..
Marcello M. Bonsangue,
Wenjing Chu,
Shuo Chen,
2021,
ICTAC.
Marcello M. Bonsangue,
Fan Zhou,
Xueqin Chen,
2021,
Inf. Process. Manag..
Marcello M. Bonsangue,
J. Vitek,
E. Broch Johnsen,
2009
.
Jurriaan Rot,
Marcello M. Bonsangue,
F. S. deBoer,
2010
.
Marcello M. Bonsangue,
Filippo Bonchi,
Jan Rutten,
2010
.
Marcello M. Bonsangue,
Jan Rutten,
Alexandra Silva,
2007
.