Author

Niels Voorneveld

Observed names: Niels F. W. Voorneveld, Niels F.W. Voorneveld, Voorneveld, Niels, Voorneveld, Niels F. W.

Institutions: Cybernetica (Norway), Cybernetica (Estonia)

Observed institutions: Tallinn University of Technology, University of Ljubljana, Cybernetica (Norway), Cybernetica (Estonia)

ORCID: 0000-0001-6650-3493

Observed ORCID: 0000-0001-6650-3493

OpenAlex ID: A5058385346

Behavioural Equivalence via Modalities for Algebraic Effects

2019 · Alex Simpson, Niels Voorneveld · ACM Transactions on Programming Languages and Systems · 23

PDF

Behavioural Equivalence via Modalities for Algebraic Effects

2018 · Alex Simpson, Niels Voorneveld · Lecture notes in computer science · 19

PDF

Quantitative Logics for Equivalence of Effectful Programs

2019 · Niels Voorneveld · Electronic Notes in Theoretical Computer Science · 7

PDF

Algebraic and Coalgebraic Perspectives on Interaction Laws

2020 · Tarmo Uustalu, Niels Voorneveld · Lecture notes in computer science · 4

Parametric Iteration in Resource Theories

2026 · Di Giorgio, Alessandro, Sobocinski, Pawel, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3

PDF

Protocol choice and iteration for the free cornering

2023 · Chad Nester, Niels Voorneveld · Journal of Logical and Algebraic Methods in Programming · 3

PDF

Extensions of Scott’s Graph Model and Kleene’s Second Algebra

2017 · Jaap van Oosten, Niels Voorneveld · Indagationes Mathematicae · 3

PDF

Inductive and Coinductive Predicate Liftings for Effectful Programs

2021 · Niccolò Veltri, Niels F.W. Voorneveld · Electronic Proceedings in Theoretical Computer Science · 2

Forward Proof Search for Intuitionistic Multimodal K Logics

2025 · Niels Voorneveld · Lecture notes in computer science · 1

PDF

Streams of Approximations, Equivalence of Recursive Effectful Programs

2022 · Niccoló Veltri, Niels Voorneveld · Lecture notes in computer science · 1

Runners for Interleaving Algebraic Effects

2022 · Niels F. W. Voorneveld · Lecture notes in computer science · 1

From Equations to Distinctions: Two Interpretations of Effectful Computations

2020 · Niels Voorneveld · Electronic Proceedings in Theoretical Computer Science · 1

Non-deterministic Effects in a Realizability Model

2018 · Niels F.W. Voorneveld · Electronic Notes in Theoretical Computer Science · 1

On constructions of partial combinatory algebras and their relation to topology

2015 · Niels Voorneveld · Utrecht University Repository (Utrecht University) · 1

A Simple Categorical Calculus of Interacting Processes

2026 · Chad Nester, Niels Voorneveld · Electronic Notes in Theoretical Informatics and Computer Science

PDF

Modal Logic for Distributed Trust

2026 · Voorneveld, Niels, Laud, Peeter · arXiv (Cornell University)

PDF

Threshold Trust Logic

2026 · Voorneveld, Niels · Zenodo (CERN European Organization for Nuclear Research)

Threshold Trust Logic

2026 · Niels Voorneveld · Lecture notes in computer science

Dynamics and Coherence for the Free Cornering with Protocol Choice

2025 · Nester, Chad, Voorneveld, Niels · arXiv (Cornell University)

PDF

Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices

2020 · Niels Voorneveld · Electronic Notes in Theoretical Computer Science

PDF

Equality between programs with effects : doctoral dissertation

2020 · Niels Voorneveld

Diophantine representations of recursive enumerable sets

2013 · Niels Voorneveld · Utrecht University Repository (Utrecht University)

Works count: 24

Citation count: 70

H-index: 4

I10-index: 2