F. D. Boer
发表
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2005,
COORDINATION.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
1998,
Australian Joint Conference on Artificial Intelligence.
Frank S. de Boer,
Reiner Hähnle,
Einar Broch Johnsen,
2014,
Service Oriented Computing and Applications.
M. Kyas,
F. D. Boer,
2003
.
F. D. Boer,
R. Schlatte,
E. Johnsen,
2020,
Gabbrielli's Festschrift.
W. Hoek,
J. Meyer,
F. D. Boer,
2002,
ArXiv.
S. Graf,
M. Kyas,
F. D. Boer,
2005
.
M. Bonsangue,
F. D. Boer,
J. Rot,
2017
.
F. D. Boer,
APLKoen,
V. Hindriks,
1998
.
M. Kyas,
F. D. Boer,
2004
.
Farhad Arbab,
Marc M. Lankhorst,
F. S. de Boer,
2005
.
Farhad Arbab,
Telematica Instituut,
F. S. de Boer,
2006
.
M. Bonsangue,
F. Arbab,
F. D. Boer,
2007
.
M. Bonsangue,
F. Arbab,
F. D. Boer,
2000
.
F. D. Boer,
2005
.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
1998,
ECAI.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2001,
PRIMA.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2003,
Communication in Multiagent Systems.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2003,
Theor. Comput. Sci..
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
1999,
CONCUR.
Frank S. de Boer,
Vlad Serbanescu,
Keyvan Azadbakht,
2015,
FSEN.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
Fundam. Informaticae.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2005,
SAC '05.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2003,
FOCLASA.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
FOCLASA.
Frank S. de Boer,
Behrooz Nobakht,
Vlad Serbanescu,
2014,
ARMS-CC@PODC.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2005,
Applicable Algebra in Engineering, Communication and Computing.
Jozef Hooman,
Frank S. de Boer,
Willem P. de Roever,
2001,
Cambridge Tracts in Theoretical Computer Science.
Frank S. de Boer,
Marcello M. Bonsangue,
Einar Broch Johnsen,
2020,
20 Years of KeY.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2012,
Sci. Comput. Program..
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2003,
Autonomous Agents and Multi-Agent Systems.
Frank S. de Boer,
Marcel Kyas,
M. Kyas,
2004,
CVUML.
Frank S. de Boer,
Reiner Hähnle,
Justine Rochas,
2017,
ACM Comput. Surv..
Frank S. de Boer,
Mohammad Mahdi Jaghoori,
Einar Broch Johnsen,
2010,
CONCUR.
Frank S. de Boer,
Ali Movaghar-Rahimabadi,
Marjan Sirjani,
2004,
Fundam. Informaticae.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
2007,
J. Appl. Log..
W. van der Hoek,
J.-J. Ch. Meyer,
F. S. de Boer,
2000,
ATAL.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
1999,
Autonomous Agents and Multi-Agent Systems.
Cosimo Laneve,
Frank S. de Boer,
Reiner Hähnle,
2019,
VORTEX@ECOOP/ISSTA.
Cosimo Laneve,
Frank S. de Boer,
Reiner Hähnle,
2013,
NordiCloud '13.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
2001,
Int. J. Intell. Syst..
J-J.Ch. Meyer,
F. S. de Boer,
W. van der Hoek,
2009,
Int. J. Reason. based Intell. Syst..
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
2001,
Log. J. IGPL.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
2000,
FAABS.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
1999,
ATAL.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
1998,
ATAL.
J. Meyer,
W. Hoek,
F. D. Boer,
1998,
Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
1997,
ATAL.
F. D. Boer,
K. Hindriks,
1999
.
Koen V. Hindriks,
Wiebe van der Hoek,
Frank S. de Boer,
1998
.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Farhad Arbab,
Juan Guillen Scholten,
Frank de Boer,
2002,
Formal Methods and Component Interaction @ ICALP.
Koen V. Hindriks,
Frank S. de Boer,
John-Jules Ch. Meyer,
2001,
CEEMAS.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2000,
SAC '00.
F. S. deBoer,
J. Meyer,
R. M. vanEijk,
1998
.
Frank S. de Boer,
Vlad Nicolae Serbanescu,
F. D. Boer,
2020,
SAC.
Frank S. de Boer,
John-Jules Ch. Meyer,
Wiebe van der Hoek,
1998,
AIMSA.
Frank S. de Boer,
Nikolaos Bezirgiannis,
Keyvan Azadbakht,
2020,
Sci. Comput. Program..
Frank S. de Boer,
Nikolaos Bezirgiannis,
Keyvan Azadbakht,
2017,
FORTE.
Cosimo Laneve,
Frank S. de Boer,
Mohammad Mahdi Jaghoori,
2012,
CONCUR.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Christel Baier,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
FMCO.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2007,
Software & Systems Modeling.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
F. S. deBoer,
J. V. Guillen Scholten,
J. F. Jacob,
2005
.
G. Zavattaro,
F. D. Boer,
C. Laneve,
2012,
International Conference on Concurrency Theory.
Cosimo Laneve,
Gianluigi Zavattaro,
Frank S. de Boer,
2012,
CONCUR 2012.
Frank S. de Boer,
Einar Broch Johnsen,
Dave Clarke,
2007,
ESOP.
Frank S. de Boer,
Mohammad Mahdi Jaghoori,
Ramtin Khosravi,
2012,
2012 IEEE 36th Annual Computer Software and Applications Conference.
Frank S. de Boer,
Mohammad Mahdi Jaghoori,
Vlad Serbanescu,
2018,
FACS.
M. B. van Riemsdijk,
M. Dastani,
M. Riemsdijk,
2006
.
Frank S. de Boer,
Behrooz Nobakht,
F. D. Boer,
2014,
ISoLA.
Jozef Hooman,
Frank S. de Boer,
Hillel Kugler,
2004,
SFEDL@ETAPS.
Frank S. de Boer,
Nikolaos Bezirgiannis,
Keyvan Azadbakht,
2017,
SOFSEM.
Frank S. de Boer,
Vlad Serbanescu,
Keyvan Azadbakht,
2016,
Resource Management for Big Data Platforms.