Erik P. de Vink
Technische Universiteit Eindhoven
H-index: 28
Europe-Netherlands
Top articles of Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta--Extended Version
arXiv preprint arXiv:2404.06131
2024/4/9
A Cancellation Law for Probabilistic Processes
arXiv preprint arXiv:2309.07306
2023/9/13
On Bisimilarity for Polyhedral Models and SLCS
2023/6/10
Lowerbounds for Bisimulation by Partition Refinement
Logical Methods in Computer Science
2023/5/11
Applying AlphaZero to the game of International Draughts
2023/2/10
On Bisimilarity for Quasi-discrete Closure Spaces
arXiv preprint arXiv:2301.11634
2023/1/27
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
Journal of Logical and Algebraic Methods in Programming
2023/1/1
Fault-Tolerant Control for Layered Control Systems
2022/11/15
Back-and-forth in space: on logics and bisimilarity in closure spaces
2022/9/7
Exploring conceptual alignments for interface specification in Model-driven Systems-and Software Engineering processes by analyzing Capella and ComMA
2022
CSP: A practical process algebra
2021/10/4
Bisimulation by Partitioning Is Ω ((m+ n) log n)
2021
Towards spatial bisimilarity for closure models: Logical and coalgebraic characterisations
arXiv preprint arXiv:2005.05578
2020/5/12
Family-Based SPL Model Checking Using Parity Games with Variability.
FASE
2020/4/17
A formal actor-based model for streaming the future
Science of Computer Programming
2020/2/1