Tobias Kappé
发表
Bas Luttik,
Alexandra Silva,
Fabio Zanasi,
2018,
ArXiv.
Alexandra Silva,
Jurriaan Rot,
Fabio Zanasi,
2018,
CONCUR.
Makoto Kanazawa,
Tobias Kappé,
2018,
ICGI.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2015,
FM 2015.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2019,
Sci. Comput. Program..
Bas Luttik,
Alexandra Silva,
Fabio Zanasi,
2017,
CONCUR.
Alexandra Silva,
Bart Jacobs,
Tobias Kappé,
2018,
It's All About Coordination.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2019,
MPC.
Bas Luttik,
Alexandra Silva,
Fabio Zanasi,
2018,
J. Log. Algebraic Methods Program..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2015,
FACS.
Alexandra Silva,
Jurriaan Rot,
Tobias Kappé,
2020,
ArXiv.
Farhad Arbab,
Carolyn L. Talcott,
Vivek Nigam,
2016,
SFM.
Alexandra Silva,
Fabio Zanasi,
Tobias Kappé,
2017,
ESOP.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2017,
FACS.
Justin Hsu,
Nate Foster,
Dexter Kozen,
2019,
Proc. ACM Program. Lang..
Tobias Kappé,
2013
.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2017,
Sci. Comput. Program..
Alexandra Silva,
Jurriaan Rot,
Tobias Kappé,
2019,
CALCO.
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2016,
V2CPS@IFM.