Venanzio Capretta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ITP | The Coinductive Formulation of Common Knowledge. | Colm Baston, Venanzio Capretta |
| 2017 | LICS | The continuity of monadic stream functions. | Venanzio Capretta, Jonathan Fowler |
| 2016 | FOSSACS | A Coalgebraic View of Bar Recursion and Bar Induction. | Venanzio Capretta, Tarmo Uustalu |
| 2007 | CCS | Formal correctness of conflict detection for firewalls. | Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin |