Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content

Emanuele D'Osualdo

My research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.
Skip slideshow
Reflects downloads up to 04 Oct 2024Bibliometrics

Subject Areas

Published Items by Year

Keywords

Colleague Collaboration

Author’s Latest Publications

Most Popular