Ruben Lapauw

Orcid: 0000-0001-8190-8296

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Justifications and a Reconstruction of Parity Game Solving Algorithms.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020
Improving Parity Game Solvers with Justifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2016
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
Visualising interactive inferences with IDPD3.
CoRR, 2015


  Loading...