Research Output per year
Research Output
2017
Nbtoolbelt: Tools to Work with Jupyter Notebooks
Verhoeff, T., 4 Oct 2017Research output: Non-textual form › Software › Academic
Open Access
Software Analysis Workbench (SAW) Eclipse Plugin
Leemans, M., 2017Research output: Non-textual form › Software › Academic
Statechart ProM Plugin : Statechart Workbench
Leemans, M., 2017Research output: Non-textual form › Software › Academic
2016
Instrumentation agent and log server for software monitoring: process mining in software systems
Leemans, M., 2016Research output: Non-textual form › Software › Academic
2015
2014
3D flying pipe-laying turtle
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Euler's Rotation Theorem
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Exploring the times table
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Mitering a closed 3D path
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Miter joint and fold joint
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Switching between overloaded sliders
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
Zero-knowledge matchmaker
Verhoeff, T., 2014Research output: Non-textual form › Software › Professional
2013
Paradoxical triangular braid
Verhoeff, T., 2013Research output: Non-textual form › Software › Professional
2011
2002
GBNP, a GAP package for Gröbner bases computations with noncommutative polynomials
Cohen, A. M. & Gijsbers, D. A. H., 2002Research output: Non-textual form › Software › Professional
2001
Carlos, een programma voor de simulatie van chemische oppervlakte reacties
Lukkien, J. J., 2001Research output: Non-textual form › Software › Professional
Cocktail (student version)
Franssen, M. G. J., 2001Research output: Non-textual form › Software › Professional
PaRallel Object Oriented Scattering Analysis (PROOSA)
Mak, R. H., 2001Research output: Non-textual form › Software › Professional
2000
Carlos, een programma voor de simulatie van chemische oppervlakte reacties
Lukkien, J. J., 2000Research output: Non-textual form › Software › Professional
SymmSpin
Bosnacki, D., Dams, D. R. & Holenderski, L., 2000Research output: Non-textual form › Software › Professional
Voorkennistoets
Sterk, H. J. M., Cohen, A. M. & Cuypers, F. G. M. T., 2000Research output: Non-textual form › Software › Professional
WebSite TurboNoiseCFD met overzicht van alle in het project gehanteerde modellen en methoden.
Rienstra, S. W., 2000Research output: Non-textual form › Software › Professional
1999
A LaTeX macro package for drawing Message Sequence Charts
Mauw, S. & Bos, V., 1999Research output: Non-textual form › Software › Professional
CARLOS, a program for the simulation of surface reactions
Lukkien, J. J., 1999Research output: Non-textual form › Software › Professional
CD-rom with the book "Algebra Interactive"
Cohen, A. M., Cuypers, F. G. M. T. & Sterk, H. J. M., 1999Research output: Non-textual form › Software › Professional
Discrete-Time Spin
Bosnacki, D. & Dams, D. R., 1999Research output: Non-textual form › Software › Professional
MESH
Boosten, M. & Stok, van der, P. D. V., 1999Research output: Non-textual form › Software › Professional
Optimal solitaire Yahtzee player & proficiency test
Verhoeff, T. & Scheffers, E. T. J., 1999Research output: Non-textual form › Software › Professional
The µCRL toolset version 1.0
Groote, J. F. & Lisser, B., 1999Research output: Non-textual form › Software › Professional
TOPS
Holtman, K. J. G. & Stok, van der, P. D. V., 1999Research output: Non-textual form › Software › Professional
Voorkennistoets, beta-version
Cuypers, F. G. M. T., 1999Research output: Non-textual form › Software › Professional
1998
Carlos: een programma voor de simulatie van chemische reacties
Lukkien, J. J., 1998Research output: Non-textual form › Software › Professional
DReSS 2.0 Document Repository Service Station. Versie 2.0
Aerts, A. T. M., De Bra, P. M. E. & Timmermans, M., 1998Research output: Non-textual form › Software › Professional
Executable specification tool
Verbeek, H. M. W., Krom, de, P. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Professional
Extension of the modle-checker Spin for the specification and verification of real-time properties
Bosnacki, D., 1998Research output: Non-textual form › Software › Professional
Tallis, besturingsprogramma voor treinbaan
Verbeek, H. M. W., Woude, van der, J. C. S. P., Somers, L. J. A. M. & De Bra, P. M. E., 1998Research output: Non-textual form › Software › Professional
TPN-VIP Vertaler
Verbeek, H. M. W., Erwin, T., Frytag, T. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Professional
TRAND, specificatie hulpmiddel voor rt-databases ter verificatie van tijdigheidseisen
Stok, van der, P. D. V., 1998Research output: Non-textual form › Software › Professional
Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions
Bosnacki, D., 1998Research output: Non-textual form › Software › Professional
Vertaler van 'Intermediate format' naar Promela
Dams, D. R. & Bosnacki, D., 1998Research output: Non-textual form › Software › Professional
WebCompetitie: client/server applicatie voor het ondersteunen van een informatica-competitie voor middelbare scholieren via internet
Aerts, A. T. M., Bierhoff, P. F. M. & De Bra, P. M. E., 1998Research output: Non-textual form › Software › Professional
WOFLAN, workflow analyser
Verbeek, H. M. W., Hauschild, D. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Professional
1997
Carlos: een programma voor de simulatie van chemische reacties
Lukkien, J. J., 1997Research output: Non-textual form › Software › Professional
Co2eX, Vertaler. Voor vertalingen van workflow scrips uit COSA en PROTOS naar ExSpect
Verbeek, H. M. W., Aalst, van der, W. M. P., Voorhoeve, M. & Reijers, H. A., 1997Research output: Non-textual form › Software › Professional