Gian Ntzik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2018
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ECOOP | A Concurrent Specification of POSIX File Systems. | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
| 2017 | ESOP | Abstract Specifications for Concurrent Maps. | Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner |
| 2015 | APLAS | Fault-Tolerant Resource Reasoning. | Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
| 2015 | OOPSLA | Reasoning about the POSIX file system: local update and global pathnames. | Gian Ntzik, Philippa Gardner |
| 2014 | ESOP | Local Reasoning for the POSIX File System. | Philippa Gardner, Gian Ntzik, Adam Wright |