Daniele Gorla

Pubblicazioni

Titolo Pubblicato in Anno
Modal epistemic logic on contracts: a doctrinal approach Models, Languages, and Tools for Concurrent and Distributed Programming 2019
Approximate model counting, sparse XOR constraints and minimum distance The art of modelling computational systems: a journey from logic and concurrency to security and privacy 2019
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2018
Inefficiencies in network models: a graph-theoretic perspective INFORMATION PROCESSING LETTERS 2018
Depletable channels: dynamics, behaviour, and efficiency in network design ACTA INFORMATICA 2018
Graph theoretic detection of inefficiencies in network models CEUR Workshop ProceedingsCEUR Workshop Proceedings 2018
Semantic subtyping for objects and classes COMPUTER JOURNAL 2017
Preface of the special issue dedicated to the best papers of CUNCUR'14 INFORMATION AND COMPUTATION 2017
Full abstraction for expressiveness: history, myths and facts MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2016

ERC

  • PE6
  • PE6_3
  • PE6_4

KET

  • Big data & computing

Keywords

concurrency
Temporal logics
Semantics of True Concurrency

Progetti di Ricerca

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma