Ruben Lapauw

According to our database, Ruben Lapauw authored at least 4 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Justifications and a Reconstruction of Parity Game Solving Algorithms.

Ruben Lapauw, Maurice Bruynooghe, Marc Denecker

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020

Improving Parity Game Solvers with Justifications.

Ruben Lapauw, Maurice Bruynooghe, Marc Denecker

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.

Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Visualising interactive inferences with IDPD3.

Ruben Lapauw, Ingmar Dasseville, Marc Denecker

CoRR, 2015