| The SpinJa Model Checker M de Jonge, TC Ruys International SPIN Workshop on Model Checking of Software, 124-128, 2010 | 42 | 2010 |
| The SpinJ model checker: a fast, extensible, object-oriented model checker M Jonge University of Twente, 2008 | 7 | 2008 |
| Benchmarking various untrained localization algorithms M de Jonge 3rd Twente Student Conference on IT, Enschede, 2005 | 6 | 2005 |
| Development of autonomic management solutions for the military application domain E Werkman, B van Schoonhoven, M de Jonge, E Matthijssen 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 3 | 2010 |
| A Cloud Storage Platform in the Defense Context: Mobile Data Management With Unreliable Network Conditions JS van der Veen, M Bastiaans, M de Jonge, RJ Strijkers 2nd International Conference on Cloud Computing and Services Science (CLOSER …, 2012 | 1 | 2012 |
| Onderzoek beschermingsfactoren bij adembeschermingsmiddelen gebruikt in de asbestbranche JM Schinkel, J den Boeft, P Tromp, M de Jonge Utrecht: TNO, 2017 | | 2017 |
| Analysis cloud: running sensor data analysis programs on a cloud computing infrastructure JS van der Veen, B van der Waaij, M Vonder, M de Jonge, E Lazovik, ... 3rd International Conference on Cloud Computing and Services Science, CLOSER …, 2013 | | 2013 |
| Analysis Cloud JS van der Veen, B van der Waaij, M Vonder, M de Jonge, E Lazovik, ... | | 2013 |
| A CLOUD STORAGE PLATFORM IN THE DEFENSE CONTEXT JS van der Veen, M Bastiaans, M de Jonge, R Strijkers | | 2012 |
| Flexigas Simulator Architectuur (versie 1.0) M de Jonge, J Broekhuijsen, M Vonder, RK Helmholt, A Bastiaans, ... Groningen: TNO, 2011 | | 2011 |
| Wednesday, 24 March 2010–ICECCS 2010 J Fox, S Clarke, E Werkman, B van Schoonhoven, M de Jonge, ... | | 2010 |
Jan Sipke van der VeenData architect at MGRIDGeverifieerd e-mailadres voor mgrid.net
