Scholar

Giovanni Bernardi

Google Scholar ID: hEunXYQAAAAJ

Assistant professor, Université Paris Diderot - Paris VII

Semantics of programming languagesconcurrencytype theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

209

H-index

6

i10-index

6

Publications

20

Co-authors

6

list available

Contact

No contact links provided.

Publications

1 items

Role, cost, and complexity of software in the real-world: a case for formal methods

2025

Cited

0

Resume (English only)

Co-authors

6 total

Senior Lecturer (Associate Professor) at the School of Computing Science, University of Glasgow

Michele Bugliesi

Professor of Computer Science, Universita' Ca' Foscari Venezia