Giovanni Tito Bernardi
发表
Matthew Hennessy,
Giovanni Tito Bernardi,
2012,
SAC '12.
Adrian Francalanza,
Giovanni Tito Bernardi,
Adrian Francalanza,
2018,
Sci. Comput. Program..
Adrian Francalanza,
Giovanni Tito Bernardi,
2017,
COORDINATION.
Michele Bugliesi,
Sabina Rossi,
Damiano Macedonio,
2008,
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Dimitrios Kouzapas,
Ornela Dardha,
Simon J. Gay,
2014,
TGC.
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
SEFM Workshops.
Alexey Gotsman,
Giovanni Tito Bernardi,
Alexey Gotsman,
2016,
CONCUR.
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
CONCUR.
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
CONCUR.
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2015,
Log. Methods Comput. Sci..
Alexey Gotsman,
Andrea Cerone,
Giovanni Tito Bernardi,
2015,
CONCUR.