| 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 | 208 | 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 University在 cs.au.dk 的电子邮件经过验证
Jaco van de PolProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Arend RensinkProfessor in Computer Science, University of Twente在 utwente.nl 的电子邮件经过验证