| LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2015 | 212 | 2015 |
| Read, Write and Copy Dependencies for Symbolic Model Checking. J Meijer, G Kant, S Blom, J van de Pol Haifa Verification Conference, 204-219, 2014 | 23 | 2014 |
| Generating and solving symbolic parity games G Kant, J Van De Pol arXiv preprint arXiv:1407.7928, 2014 | 23 | 2014 |
| Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games G Kant, J van de Pol GRAPHITE 2012, 0 | 17* | |
| Using canonical forms for isomorphism reduction in graph-based model checking G Kant Centre for Telematics and Information Technology, University of Twente, 2010 | 6 | 2010 |
| Distributed Graph-Based State Space Generation S Blom, G Kant, A Rensink Electronic Communications of the EASST 32, 2011 | 4 | 2011 |
| Distributed state space generation for graphs up to isomorphism G Kant University of Twente, 2010 | 1 | 2010 |
| Preliminary Performance Evaluation of Admission Control in Load Control Pre-Congestion Notification G Kant | | 2008 |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
