Login / Signup
Bob Rubbens
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Horn Clauses
Fixpoint
Datalog Programs
Top Venues
GandALF
F1000Research
</>
Publications
</>
Tom van Dijk
,
Bob Rubbens
Simple Fixpoint Iteration To Solve Parity Games.
GandALF
(2019)
Willem Siers
,
Michiel Bakker
,
Bob Rubbens
,
Ruben Haasjes
,
Jacco Brandt
,
Stefano Schivo
webANIMO: Improving the accessibility of ANIMO.
F1000Research
5 (2016)