Joseph W. N. Paulus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | APLAS | Typed Non-determinism in Functional and Concurrent Calculi. | Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2023 | PPDP | Termination in Concurrency, Revisited. | Joseph W. N. Paulus, Jorge A. Prez, Daniele Nantes-Sobrinho |
| 2021 | CSL | A Deep Quantitative Type System. | Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
| 2021 | FSCD | Non-Deterministic Functions as Non-Deterministic Processes. | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |