Research Output per year
Research Output 1950 2019
- 1 - 50 out of 64 results
- Publication Year, Title (descending)
2017
Nbtoolbelt: Tools to Work with Jupyter Notebooks
Verhoeff, T., 4 Oct 2017Research output: Non-textual form › Software › Academic
Open Access
Head
Documentation
Libraries
Cats
Software Analysis Workbench (SAW) Eclipse Plugin
Leemans, M., 2017Research output: Non-textual form › Software › Academic
Neon
Servers
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 › Other research output
Demonstrations
Pipelines
Pipe
Devilish mazes
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
Demonstrations
Euler's Rotation Theorem
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
Drag
Demonstrations
Exploring the times table
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
Mitering a closed 3D path
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
Demonstrations
Miter joint and fold joint
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
Demonstrations
Switching between overloaded sliders
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
co-ordinate system
preserve
Zero-knowledge matchmaker
Verhoeff, T., 2014Research output: Non-textual form › Software › Other research output
2013
Paradoxical triangular braid
Verhoeff, T., 2013Research output: Non-textual form › Software › Other research output
Paradox
Wood
Art
Shapes from rhombuses
Verhoeff, T., 2013Research output: Non-textual form › Software › Other research output
Demonstrations
2011
curves
tubes
surgeons
radii
shift
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 › Other research output
2001
Carlos, een programma voor de simulatie van chemische oppervlakte reacties
Lukkien, J. J., 2001Research output: Non-textual form › Software › Other research output
Cocktail (student version)
Franssen, M. G. J., 2001Research output: Non-textual form › Software › Other research output
PaRallel Object Oriented Scattering Analysis (PROOSA)
Mak, R. H., 2001Research output: Non-textual form › Software › Other research output
2000
Carlos, een programma voor de simulatie van chemische oppervlakte reacties
Lukkien, J. J., 2000Research output: Non-textual form › Software › Other research output
SymmSpin
Bosnacki, D., Dams, D. R. & Holenderski, L., 2000Research output: Non-textual form › Software › Other research output
Voorkennistoets
Sterk, H. J. M., Cohen, A. M. & Cuypers, F. G. M. T., 2000Research output: Non-textual form › Software › Other research output
WebSite TurboNoiseCFD met overzicht van alle in het project gehanteerde modellen en methoden.
Rienstra, S. W., 2000Research output: Non-textual form › Software › Other research output
1999
A LaTeX macro package for drawing Message Sequence Charts
Mauw, S. & Bos, V., 1999Research output: Non-textual form › Software › Other research output
CARLOS, a program for the simulation of surface reactions
Lukkien, J. J., 1999Research output: Non-textual form › Software › Other research output
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 › Other research output
Discrete-Time Spin
Bosnacki, D. & Dams, D. R., 1999Research output: Non-textual form › Software › Other research output
if2pml
Bosnacki, D. & Dams, D. R., 1999Research output: Non-textual form › Software › Other research output
MESH
Boosten, M. & Stok, van der, P. D. V., 1999Research output: Non-textual form › Software › Other research output
Optimal solitaire Yahtzee player & proficiency test
Verhoeff, T. & Scheffers, E. T. J., 1999Research output: Non-textual form › Software › Other research output
The µCRL toolset version 1.0
Groote, J. F. & Lisser, B., 1999Research output: Non-textual form › Software › Other research output
TOPS
Holtman, K. J. G. & Stok, van der, P. D. V., 1999Research output: Non-textual form › Software › Other research output
Voorkennistoets, beta-version
Cuypers, F. G. M. T., 1999Research output: Non-textual form › Software › Other research output
Woflan 2.0
Verbeek, H. M. W., 1999Research output: Non-textual form › Software › Other research output
1998
Carlos: een programma voor de simulatie van chemische reacties
Lukkien, J. J., 1998Research output: Non-textual form › Software › Other research output
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 › Other research output
Hypermedia
Executable specification tool
Verbeek, H. M. W., Krom, de, P. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Other research output
Extension of the modle-checker Spin for the specification and verification of real-time properties
Bosnacki, D., 1998Research output: Non-textual form › Software › Other research output
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 › Other research output
TPN-VIP Vertaler
Verbeek, H. M. W., Erwin, T., Frytag, T. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Other research output
TRAND, specificatie hulpmiddel voor rt-databases ter verificatie van tijdigheidseisen
Stok, van der, P. D. V., 1998Research output: Non-textual form › Software › Other research output
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 › Other research output
Vertaler van 'Intermediate format' naar Promela
Dams, D. R. & Bosnacki, D., 1998Research output: Non-textual form › Software › Other research output
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 › Other research output
WOFLAN, workflow analyser
Verbeek, H. M. W., Hauschild, D. & Aalst, van der, W. M. P., 1998Research output: Non-textual form › Software › Other research output
1997
Carlos: een programma voor de simulatie van chemische reacties
Lukkien, J. J., 1997Research output: Non-textual form › Software › Other research output
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 › Other research output