Daniel Ventura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2022
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAC | Quantitative Weak Linearisation. | Sandra Alves, Daniel Ventura |
| 2021 | FOSSACS | The Spirit of Node Replication. | Delia Kesner, Loc Peyrot, Daniel Ventura |
| 2015 | ICTAC | A Resource Aware Computational Interpretation for Herbelin's Syntax. | Delia Kesner, Daniel Ventura |