Frank S. de Boer

发表

Frank S. de Boer, H. Tej, Willem P. de Roever, 1996, FTRTFT.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2012, ICE.
Frank S. de Boer, Michiel Helvensteijn, Joost Winter, 2012, SPLC '12.
Mario Bravetti, Frank S. de Boer, Gianluigi Zavattaro, 2018, Fundam. Informaticae.
Frank S. de Boer, Mehdi Dastani, Lacramioara Astefanoaei, 2009, AAMAS.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2000, Issues in Agent Communication.
Frank S. de Boer, Jurriaan Rot, Stijn de Gouw, 2016, Deductive Software Verification.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2012, IJCAR.
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, 2020, IFM.
Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle, 2012, Lecture Notes in Computer Science.
Nikolaj Bjørner, Frank S. de Boer, N. Bjørner, 2015, Lecture Notes in Computer Science.
Frank S. de Boer, F. S. Boer, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Wang Yi, Frank S. de Boer, Mohammad Mahdi Jaghoori, 2009, ICFEM.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2012, WADT.
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2006, Electron. Notes Theor. Comput. Sci..
Frank S. de Boer, M. van Hulst, Nissim Francez, 1998, PROCOMET.
Frank S. de Boer, Mehdi Dastani, Lacramioara Astefanoaei, 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, 2020, 20 Years of KeY.
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann, 1999, World Congress on Formal Methods.
Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, 2020, 20 Years of KeY.
Christel Baier, Farhad Arbab, Frank S. de Boer, 2007, Software & Systems Modeling.
Frank S. de Boer, Cees Pierik, F. S. Boer, 2004, AMAST.
Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, 2008, PRIMA.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1997, ATAL.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2015, Sci. Comput. Program..
Frank S. de Boer, Wolfgang Ahrendt, Immo Grabe, 2009, FM.
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2005, Theor. Comput. Sci..
Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, 2009, J. Univers. Comput. Sci..
Frank S. de Boer, F. S. Boer, 1990, REX Workshop.
Frank S. de Boer, Reiner Hähnle, Justine Rochas, 2017, ACM Comput. Surv..
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Communication in Multiagent Systems.
Erik P. de Vink, Frank S. de Boer, Keyvan Azadbakht, 2018, FM.
Frank S. de Boer, Marcello M. Bonsangue, M. Bonsangue, 2000, MFCS.
Davide Ancona, Frank S. de Boer, Jurriaan Rot, 2014, ICALP.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen, 2010, CONCUR.
Frank S. de Boer, Willem P. de Roever, Marcel Kyas, 2005, Nord. J. Comput..
Frank S. de Boer, Stijn de Gouw, Behrooz Nobakht, 2015, ESOCC.
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.
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2012, ESOCC.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2001, PRIMA.
Frank S. de Boer, Mehdi Dastani, Lacramioara Astefanoaei, 2009, DALT.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2004, Fundam. Informaticae.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Tom Chothia, 2008, 2008 Real-Time Systems Symposium.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2000, ATAL.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2000, Inf. Comput..
Frank S. de Boer, Willem P. de Roever, Harald Fecher, 2006, Electron. Notes Theor. Comput. Sci..
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1997, Texts and Monographs in Computer Science.
Frank S. de Boer, Stijn de Gouw, 2015, Correct System Design.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1994, Inf. Comput..
Frank S. de Boer, Behrooz Nobakht, Vlad Serbanescu, 2014, ARMS-CC@PODC.
Jozef Hooman, Frank S. de Boer, Hillel Kugler, 2004, SFEDL@ETAPS.
Mario Bravetti, Frank S. de Boer, Gianluigi Zavattaro, 2012, FACS.
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2003, FMOODS.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2002, TOCL.
Frank S. de Boer, Wolfgang Ahrendt, Stijn de Gouw, 2014, Software & Systems Modeling.
Frank S. de Boer, M. Birna van Riemsdijk, John-Jules Ch. Meyer, 2004, CLIMA.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1991, CONCUR.
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2002, FMCO.
Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju, 2010, FTfJP@ECOOP.
Frank S. de Boer, Andreas Kohn, Einar Broch Johnsen, 2014, LNCS Trans. Aspect Oriented Softw. Dev..
Bernhard K. Aichernig, Frank S. de Boer, Einar Broch Johnsen, 2008, ICTAC.
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, Cees Pierik, F. S. Boer, 2003, FMCO.
Frank S. de Boer, Dick A. C. Quartel, Henk Jonkers, 2017, Enterprise Architecture at Work, 4th ed..
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, Electron. Notes Theor. Comput. Sci..
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2000, JELIA.
Frank S. de Boer, Mehdi Dastani, M. Birna van Riemsdijk, 2006, CLIMA.
Frank S. de Boer, Eike Best, Catuscia Palamidessi, 1997, COORDINATION.
Frank S. de Boer, Gianluigi Zavattaro, F. S. Boer, 1999, CONCUR.
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, 2004 .
Frank S. de Boer, Ali Movaghar-Rahimabadi, Marjan Sirjani, 2005, J. Univers. Comput. Sci..
Christel Baier, Farhad Arbab, Frank S. de Boer, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Frank S. de Boer, Mohammad Mahdi Jaghoori, Tom Chothia, 2009, J. Log. Algebraic Methods Program..
Christel Baier, Farhad Arbab, Frank S. de Boer, 2005, COORDINATION.
Frank S. de Boer, Jurriaan Rot, Reiner Hähnle, 2017, Journal of Automated Reasoning.
Frank S. de Boer, Mehdi Dastani, M. Birna van Riemsdijk, 2006, AAMAS '06.
Frank S. de Boer, Krzysztof R. Apt, F. S. Boer, 2019, ArXiv.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte, 2012, SAC '12.
Frank S. de Boer, Marcello M. Bonsangue, Erika Ábrahám, 2004, FMCO.
Frank S. de Boer, Pierre America, F. S. Boer, 1990, Programming Concepts and Methods.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1992, REX Workshop.
Frank S. de Boer, Leon van der Torre, Marcello M. Bonsangue, 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..
Frank S. de Boer, Thomas Ball, Jos C. M. Baeten, 2012, Lecture Notes in Computer Science.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1992, ALPUK.
Frank S. de Boer, Stijn de Gouw, Nikolaos Bezirgiannis, 2017, ESOCC.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2010, J. Comput. Syst. Sci..
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2002, FoSSaCS.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, ATAL.
Frank S. de Boer, Marcello M. Bonsangue, 2004, Electron. Notes Theor. Comput. Sci..
Frank S. de Boer, Pierre America, F. S. Boer, 1990, Inf. Comput..
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, ECAI.
Christel Baier, Wang Yi, Bernhard K. Aichernig, 2010, TTSS.
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, 2005, SAC '05.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2000, COORDINATION.
Frank S. de Boer, Nikolaos Bezirgiannis, Keyvan Azadbakht, 2020, Sci. Comput. Program..
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, 2000, SAC '00.
Frank S. de Boer, Stijn de Gouw, 2018, Principled Software Development.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1998, ATAL.
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, 2020 .
Frank S. de Boer, Stijn de Gouw, 2015, ERCIM News.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1999, ATAL.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Behrooz Nobakht, 2013, COORDINATION.
Frank S. de Boer, Ali Movaghar-Rahimabadi, Marjan Sirjani, 2004, Fundam. Informaticae.
Nikolaj Bjørner, Frank S. de Boer, 2018, Acta Informatica.
Frank S. de Boer, Nikolaos Bezirgiannis, 2016, SOFSEM.
Frank S. de Boer, Vlad Nicolae Serbanescu, F. D. Boer, 2020, SAC.
Maurizio Gabbrielli, Frank S. de Boer, F. S. Boer, 1995, ILPS.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1991, TAPSOFT, Vol.1.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1991, Theor. Comput. Sci..
Cosimo Laneve, Frank S. de Boer, Mohammad Mahdi Jaghoori, 2012, CONCUR.
Frank S. de Boer, Ali Movaghar-Rahimabadi, Marjan Sirjani, 2005, J. Univers. Comput. Sci..
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1991, CONCUR.
Frank S. de Boer, Dave Clarke, Cees Pierik, 2005, FM.
Frank S. de Boer, Sadegh Aliakbary, Nikolaos Bezirgiannis, 2016, SAC.
Frank S. de Boer, Jurriaan Rot, Reiner Hähnle, 2015, CAV.
Frank S. de Boer, M. van Hulst, 1996, FME.
Frank S. de Boer, Mehdi Dastani, M. Birna van Riemsdijk, 2006, AAMAS '06.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2019, VORTEX@ECOOP/ISSTA.
Frank S. de Boer, Cees Pierik, F. S. Boer, 2005, Theor. Comput. Sci..
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2004, TOCL.
Farhad Arbab, Frank S. de Boer, Sung-Shik Jongmans, 2014, ERCIM News.
Maurizio Gabbrielli, Frank S. de Boer, 2014, Horizons of the Mind.
Frank S. de Boer, Peter Y. H. Wong, Stijn de Gouw, 2013, SEFM.
Frank S. de Boer, Marcel Kyas, M. Kyas, 2004, CVUML.
Jozef Hooman, Frank S. de Boer, F. S. Boer, 1992, FTRTFT.
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.
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann, 1997, FSTTCS.
Farhad Arbab, Bernhard K. Aichernig, Frank S. de Boer, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Frank S. de Boer, Leon van der Torre, Marcello M. Bonsangue, 2005, IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005..
Frank S. de Boer, Stijn de Gouw, 2017, Provably Correct Systems.
Frank S. de Boer, Jurriaan Rot, Stijn de Gouw, 2013, Journal of Automated Reasoning.
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, 2006, Fundam. Informaticae.
Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2020, Fundam. Informaticae.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2001, Int. J. Intell. Syst..
Frank S. de Boer, Mohammad Mahdi Jaghoori, Jean-Loup Faulon, 2013, Electron. Notes Theor. Comput. Sci..
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..
Frank S. de Boer, Erika Ábrahám, F. S. Boer, 2000, CONCUR.
Frank S. de Boer, Cees Pierik, F. S. Boer, 2003, FMOODS.
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1997, TOPL.
Christel Baier, Bernhard K. Aichernig, Frank S. de Boer, 2009, FMCO.
Frank S. de Boer, John-Jules Ch. Meyer, Rogier M. van Eijk, 2003, Objects, Agents, and Features.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2000, FAABS.
Frank S. de Boer, M. Birna van Riemsdijk, Lacramioara Astefanoaei, 2009, LOPSTR.
Frank S. de Boer, 1987, Formal Description of Programming Concepts.
Jozef Hooman, Frank S. de Boer, Willem P. de Roever, 2001, Cambridge Tracts in Theoretical Computer Science.
Frank S. de Boer, Marcello M. Bonsangue, Erika Ábrahám, 2004, ICTAC.
Frank S. de Boer, Pierre America, F. S. Boer, 1994, Formal Aspects of Computing.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Vlad Serbanescu, 2018, FACS.
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1994, POPL '94.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Ramtin Khosravi, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference.
Frank S. de Boer, 2010, Concurrency, Compositionality, and Correctness.
Frank S. de Boer, Stijn de Gouw, 2016, SOFSEM.
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, Einar Broch Johnsen, Ka I Pun, 2019, FASE.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2001, PPDP '01.
Frank S. de Boer, Marcello M. Bonsangue, 2019, 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Frank S. de Boer, Reiner Hähnle, Miguel Gómez-Zamalloa, 2015, International Journal on Software Tools for Technology Transfer.
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann, 1999, MFCS.
Frank S. de Boer, Rob Gerth, J. Coenen, 1992, NAPAW.
Frank S. de Boer, F. S. Boer, 1999, FoSSaCS.
Maurizio Gabbrielli, Frank S. de Boer, 1995, GULP-PRODE.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009, Languages: From Formal to Natural.
Frank S. de Boer, Hans-Dieter A. Hiep, 2019, IFM.
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, 2007, ESOP.
Frank S. de Boer, Catuscia Palamidessi, 1990, NACLP.
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 1997, CP.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1999, CONCUR.
Frank S. de Boer, M. Birna van Riemsdijk, John-Jules Ch. Meyer, 2006, Theor. Comput. Sci..
Frank S. de Boer, Catuscia Palamidessi, Jan Willem Klop, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1989, MFCS.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2001, CEEMAS.
Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield, 2018, Formal Aspects of Computing.
Frank S. de Boer, Marcello M. Bonsangue, Erika Ábrahám, 2004, FMCO.
Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong, 2013, SAC '13.
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1994, ICLP Workshop: Verification and Analysis of Logic Languages.
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann, 1997, FME.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009 .
Frank S. de Boer, Martin Steffen, Immo Grabe, 2012, J. Log. Algebraic Methods Program..
Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, 2009 .
Farhad Arbab, Frank S. de Boer, Mehdi Dastani, 2008, PRIMA.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Tom Chothia, 2009, FSEN.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Vlad Serbanescu, 2018, 2018 IEEE International Conference on Computational Science and Engineering (CSE).
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2016, ESOCC 2016.
Maurizio Gabbrielli, Frank S. de Boer, 1998, Electron. Notes Theor. Comput. Sci..
Maurizio Gabbrielli, Frank S. de Boer, Catuscia Palamidessi, 1996, SAS.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, AIMSA.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1998, Australian Joint Conference on Artificial Intelligence.
Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, 2013, Sci. Comput. Program..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2016, LOPSTR.
Farhad Arbab, Frank S. de Boer, Mehdi Dastani, 2005, AAMAS '05.
Maurizio Gabbrielli, Frank S. de Boer, F. S. Boer, 1997, MFPS.
Frank S. de Boer, Vlad Serbanescu, Keyvan Azadbakht, 2016, ICE.
Frank S. de Boer, Vlad Serbanescu, Keyvan Azadbakht, 2016, Resource Management for Big Data Platforms.
Cosimo Laneve, Frank S. de Boer, Mohammad Mahdi Jaghoori, 2012, CONCUR.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2000, Issues in Agent Communication.
Frank S. de Boer, Vladimir Mencl, 2007, Electron. Notes Theor. Comput. Sci..
Frank S. de Boer, Catuscia Palamidessi, Alessandra Di Pierro, 1997, J. Log. Comput..
Frank S. de Boer, M. Birna van Riemsdijk, John-Jules Ch. Meyer, 2006, J. Log. Comput..
Frank S. de Boer, Marcello M. Bonsangue, 2019, FM.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2015, Sci. Comput. Program..
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1989, ICLP.
Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2013, FSEN.
Frank S. de Boer, Mehdi Dastani, Lacramioara Astefanoaei, 2010, AAMAS.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2001, Log. J. IGPL.
Frank S. de Boer, Willem P. de Roever, 1997, COMPOS.
Frank S. de Boer, Nikolaos Bezirgiannis, Keyvan Azadbakht, 2017, FORTE.
Frank S. de Boer, Ali Movaghar-Rahimabadi, Marjan Sirjani, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2005, Applicable Algebra in Engineering, Communication and Computing.
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, 2019, TACAS.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2007, J. Appl. Log..
Frank S. de Boer, Stijn de Gouw, F. S. Boer, 2014, SFM.
Frank S. de Boer, Lacramioara Astefanoaei, F. S. Boer, 2008, AAMAS.
Bernhard Beckert, Frank S. de Boer, Marcello M. Bonsangue, 2013, Lecture Notes in Computer Science.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2001, J. Log. Comput..
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Theor. Comput. Sci..
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2003, Verification: Theory and Practice.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Tom Chothia, 2015, Acta Informatica.
Frank S. de Boer, Nobuko Yoshida, Sophia Drossopoulou, 2014, ERCIM News.
Frank S. de Boer, Behrooz Nobakht, Vlad Serbanescu, 2016, Concurr. Comput. Pract. Exp..
Frank Dignum, Frank S. de Boer, Mehdi Dastani, 2003, AAMAS '03.
Frank S. de Boer, Vlad Serbanescu, Keyvan Azadbakht, 2015, FSEN.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1992, Theor. Comput. Sci..
Frank S. de Boer, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, 2012, Innovations in Systems and Software Engineering.
Farhad Arbab, Bernhard K. Aichernig, Frank S. de Boer, 2012, Sci. Comput. Program..
Maurizio Gabbrielli, Frank S. de Boer, Maria Chiara Meo, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1993, ILPS.
Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1999, Autonomous Agents and Multi-Agent Systems.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1992, JICSLP.
Frank S. de Boer, Willem P. de Roever, Erika Ábrahám, 2008, Fundam. Informaticae.
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, 2019, SEFM Workshops.
Frank S. de Boer, Rogier M. van Eijk, 2001, CSL.
Frank S. de Boer, Leon van der Torre, Marcello M. Bonsangue, 2004, ISoLA.
Frank S. de Boer, Wolfgang Ahrendt, Stijn de Gouw, 2013, SOFSEM.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009 .
Frank S. de Boer, Nikolaos Bezirgiannis, Keyvan Azadbakht, 2017, SOFSEM.
Frank S. de Boer, Catuscia Palamidessi, Alessandra Di Pierro, 1995, Theor. Comput. Sci..
Frank S. de Boer, Behrooz Nobakht, F. D. Boer, 2014, ISoLA.
Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Autonomous Agents and Multi-Agent Systems.
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, 2000, COORDINATION.
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2014, Service Oriented Computing and Applications.
Frank S. de Boer, Marcello M. Bonsangue, 2021, Formal Aspects Comput..
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, 2021, FM.
Frank S. de Boer, Dave Clarke, Cees Pierik, 2004 .
Frank S. de Boer, Cees Pierik, 2005 .
Frank S. de Boer, Erika Ábrahám, Martin Steffen, 2004 .