| Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006 | 186 | 2006 |
| Satisfiability in alternating-time temporal logic G van Drimmelen 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 61 | 2003 |
| Towards a model-checker for counter systems S Demri, A Finkel, V Goranko, G van Drimmelen International Symposium on Automated Technology for Verification and …, 2006 | 42 | 2006 |
| Model-checking CTL* over flat Presburger counter systems S Demri, A Finkel, V Goranko, G van Drimmelen Journal of Applied Non-Classical Logics 20 (4), 313-344, 2010 | 40 | 2010 |
| Decidability and complete axiomatization of the alternating-time temporal logic V Goranko, G van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006 | 15 | 2006 |
| Axiomatic systems for alternating-time temporal epistemic logics V Goranko, W Jamroga, G van Drimmelen Proceedings of LOFT'04: The 6th Conference on Logic and the Foundations of …, 2004 | 6 | 2004 |
| Satisfiability in a Logic of Games GC Van Drimmelen PQDT-Global, 2003 | | 2003 |
