Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

LATEST RESEARCH PAPERS

  • Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez)
  • Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The extended abstract (e.g. the first 16 pages) appears in the Proceedings of LOPSTR 2017.

Published on: January 24 2018