Andrs Viso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CSL | Encoding Tight Typing in a Unified Framework. | Delia Kesner, Andrs Viso |
| 2020 | CSL | Strong Bisimulation for Control Operators (Invited Talk). | Delia Kesner, Eduardo Bonelli, Andrs Viso |
| 2020 | FLOPS | The Bang Calculus Revisited. | Antonio Bucciarelli, Delia Kesner, Alejandro Ros, Andrs Viso |
| 2018 | FOSSACS | Call-by-Need, Neededness and All That. | Delia Kesner, Alejandro Ros, Andrs Viso |