Niels F. W. Voorneveld
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2018–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Parametric Iteration in Resource Theories. | Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld |
| 2025 | TABLEAUX | Forward Proof Search for Intuitionistic Multimodal K Logics. | Niels F. W. Voorneveld |
| 2023 | ITP | Slice Nondeterminism. | Niels F. W. Voorneveld |
| 2022 | ICTAC | Runners for Interleaving Algebraic Effects. | Niels F. W. Voorneveld |
| 2022 | MPC | Streams of Approximations, Equivalence of Recursive Effectful Programs. | Niccol Veltri, Niels F. W. Voorneveld |
| 2020 | APLAS | Algebraic and Coalgebraic Perspectives on Interaction Laws. | Tarmo Uustalu, Niels F. W. Voorneveld |
| 2020 | MFPS | Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. | Niels F. W. Voorneveld |
| 2018 | ESOP | Behavioural Equivalence via Modalities for Algebraic Effects. | Alex Simpson, Niels F. W. Voorneveld |