Floris van Doorn
发表
Ulrik Buchholtz,
Floris van Doorn,
Jakob von Raumer,
2017,
ITP.
Floris van Doorn,
2016,
CPP.
Jeremy Avigad,
Soonho Kong,
Leonardo Mendonça de Moura,
2015,
CADE.
Herman Geuvers,
Freek Wiedijk,
Floris van Doorn,
2013,
LFMTP '13.
Cody Roux,
Floris van Doorn,
2014,
RTA-TLCA.
Floris van Doorn,
Robert Y. Lewis,
Gabriel Ebner,
2020,
CICM.
Floris van Doorn,
Jesse Michael Han,
2019,
ITP.
Jeremy Avigad,
Floris van Doorn,
2020,
ArXiv.
Jeremy Avigad,
Soonho Kong,
Floris van Doorn,
2015
.
Ulrik Buchholtz,
Floris van Doorn,
Egbert Rijke,
2018,
LICS.
Floris van Doorn,
2018,
ArXiv.
Floris van Doorn,
Jesse Michael Han,
2020,
CPP.
Floris van Doorn,
2015,
ArXiv.
Floris van Doorn,
Egbert Rijke,
Kristina Sojakova,
2020,
LICS.
Jeremy Avigad,
Floris van Doorn,
2021,
2021 IEEE International Conference on Autonomous Systems (ICAS).
Floris van Doorn,
2021,
ITP.
Floris van Doorn,
Jesse Michael Han,
2020,
CPP.
Floris van Doorn,
J. Avigad,
2020,
2021 IEEE International Conference on Autonomous Systems (ICAS).