Login / Signup
Ruben Lapauw
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 5
Top Topics
Interactive Video
Precedence Relations
Polynomial Time Complexity
Game Theory
Top Venues
CoRR
CSF
VMCAI
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
</>
Publications
</>
Ruben Lapauw
,
Maurice Bruynooghe
,
Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
(2023)
Ruben Lapauw
,
Maurice Bruynooghe
,
Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms.
CoRR
(2021)
Ruben Lapauw
,
Maurice Bruynooghe
,
Marc Denecker
Improving Parity Game Solvers with Justifications.
VMCAI
(2020)
Marcos Cramer
,
Pieter Van Hertum
,
Ruben Lapauw
,
Ingmar Dasseville
,
Marc Denecker
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.
CSF
(2016)
Ruben Lapauw
,
Ingmar Dasseville
,
Marc Denecker
Visualising interactive inferences with IDPD3.
CoRR
(2015)