[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ 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 09 Jan 2025Bibliometrics

Subject Areas

Published Items by Year

Keywords

Colleague Collaboration

Author’s Latest Publications

Most Popular