Vincent van Oostrom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1994–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FSCD | α-Avoidance. | Samuel Frontull, Georg Moser, Vincent van Oostrom |
| 2021 | FSCD | Z; Syntax-Free Developments. | Vincent van Oostrom |
| 2019 | CADE | Confluence by Critical Pair Analysis Revisited. | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
| 2009 | ICALP | Diagrammatic Confluence and Completion. | Jean-Pierre Jouannaud, Vincent van Oostrom |
| 2008 | CADE | Modularity of Confluence. | Vincent van Oostrom |
| 2004 | FLOPS | Sub-Birkhoff. | Vincent van Oostrom |
| 2003 | CADE | adbmal | Dimitri Hendriks, Vincent van Oostrom |
| 1994 | LFCS | Weak Orthogonality Implies Confluence: The Higher Order Case. | Vincent van Oostrom, Femke van Raamsdonk |
| 1994 | STACS | Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. | Vincent van Oostrom, Erik P. de Vink |