Follow
Giovanni Bernardi
Giovanni Bernardi
Assistant professor, UniversitÚ Paris Diderot - Paris VII
Verified email at tcd.ie - Homepage
Title
Cited by
Cited by
Year
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1142015
Using higher-order contracts to model session types
G Bernardi, M Hennessy
Logical Methods in Computer Science 12, 2016
642016
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
552016
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Romeá…, 2014
472014
Modelling session types using contracts
G Bernardi, M Hennessy
Mathematical Structures in Computer Science 26 (3), 510-560, 2016
312016
Mutually testing processes
G Bernardi, M Hennessy
Logical Methods in Computer Science 11, 2015
272015
Modelling session types using contracts
G Bernardi, M Hennessy
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012
262012
A theory of adaptable contract-based service composition
G Bernardi, M Bugliesi, D Macedonio, S Rossi
2008 10th International Symposium on Symbolic and Numeric Algorithms forá…, 2008
202008
Compliance and testing preorders differ
G Bernardi, M Hennessy
International Conference on Software Engineering and Formal Methods, 69-81, 2013
142013
Behavioural equivalences for web services
G Bernardi
Trinity College Dublin, 2013
112013
Full-abstraction for client testing preorders
G Bernardi, A Francalanza
Science of Computer Programming 168, 94-117, 2018
82018
Full-abstraction for must testing preorders
G Bernardi, A Francalanza
International Conference on Coordination Languages and Models, 237-255, 2017
52017
Using higher-order contracts to model session types, Log
G Bernardi, M Hennessy
Methods Comput. Sci 12 (2), 2016
52016
SULLA TERAPIA DELL'IPERCOLESTEROLEMIA E DELL'IPERTIGLICERIDEMIA: CONFRONTO SULL'EFFETTO IPOLIPEMIZZANTE FRA IOVASTATINA E GEMFIBROZIL
MS Gavelli, E Vitaliano, FG Rossi, T SERRA, G SANTINI, G BERNARDI
Clinica terapeutica 136 (1), 31-38, 1991
11991
Constructive characterisations of the must-preorder for asynchrony
G Bernardi, I Castellani, P Laforgue, L Stefanesco
2024
27th International Conference on Concurrency Theory (CONCUR 2016)
F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ...
Schloss Dagstuhl-Leibniz-Zentrum fŘr Informatik GmbH, 2016
2016
Cuddling cats
G Bernardi
2012
Notes on the paper A General Distance between RNA Structures
G Bernardi, J Van Rijn
2008
STUDY OF THE RENAL IMPAIRMENT IN SOME TYPES OF PORPHYRIA
MS GAVELLI, E VITALIANO, F ROSSI, G BERNARDI
PRENSA MEDICA ARGENTINA 78 (1), 5-8, 1991
1991
Therapy of hypercholesterolemia and hypertriglyceridemia. Comparison of hypolipemic effects of lovastatin and gemfibrozil
MS Gavelli, E Vitaliano, FG Rossi, T Serra, G Santini, G Bernardi
La Clinica Terapeutica 136 (1), 31-38, 1991
1991
The system can't perform the operation now. Try again later.
Articles 1–20