Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Software
2017

Nbtoolbelt: Tools to Work with Jupyter Notebooks

Verhoeff, T., 4 Oct 2017

Research output: Non-textual formSoftwareAcademic

Open Access
Head
Documentation
Libraries
Cats

Software Analysis Workbench (SAW) Eclipse Plugin

Leemans, M., 2017

Research output: Non-textual formSoftwareAcademic

Neon
Servers

Statechart ProM Plugin : Statechart Workbench

Leemans, M., 2017

Research output: Non-textual formSoftwareAcademic

2016

Instrumentation agent and log server for software monitoring: process mining in software systems

Leemans, M., 2016

Research output: Non-textual formSoftwareAcademic

2015

Episode Miner ProM Plugin

Leemans, M., 2015

Research output: Non-textual formSoftwareAcademic

2014

3D flying pipe-laying turtle

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Demonstrations
Pipelines
Pipe

Devilish mazes

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Demonstrations

Euler's Rotation Theorem

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Drag
Demonstrations

Exploring the times table

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Mitering a closed 3D path

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Demonstrations

Miter joint and fold joint

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Demonstrations

Switching between overloaded sliders

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

co-ordinate system
preserve

Zero-knowledge matchmaker

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

2013

Knot explorer

Verhoeff, T., 2013

Research output: Non-textual formSoftwareProfessional

Paradoxical triangular braid

Verhoeff, T., 2013

Research output: Non-textual formSoftwareProfessional

Paradox
Wood
Art

Shapes from rhombuses

Verhoeff, T., 2013

Research output: Non-textual formSoftwareProfessional

Demonstrations
2011

Torus paths

Verhoeff, T., 2011

Research output: Non-textual formSoftwareProfessional

curves
tubes
surgeons
radii
shift
2002
2001

Carlos, een programma voor de simulatie van chemische oppervlakte reacties

Lukkien, J. J., 2001

Research output: Non-textual formSoftwareProfessional

Cocktail (student version)

Franssen, M. G. J., 2001

Research output: Non-textual formSoftwareProfessional

PaRallel Object Oriented Scattering Analysis (PROOSA)

Mak, R. H., 2001

Research output: Non-textual formSoftwareProfessional

2000

Carlos, een programma voor de simulatie van chemische oppervlakte reacties

Lukkien, J. J., 2000

Research output: Non-textual formSoftwareProfessional

SymmSpin

Bosnacki, D., Dams, D. R. & Holenderski, L., 2000

Research output: Non-textual formSoftwareProfessional

Voorkennistoets

Sterk, H. J. M., Cohen, A. M. & Cuypers, F. G. M. T., 2000

Research output: Non-textual formSoftwareProfessional

1999

A LaTeX macro package for drawing Message Sequence Charts

Mauw, S. & Bos, V., 1999

Research output: Non-textual formSoftwareProfessional

CARLOS, a program for the simulation of surface reactions

Lukkien, J. J., 1999

Research output: Non-textual formSoftwareProfessional

CD-rom with the book "Algebra Interactive"

Cohen, A. M., Cuypers, F. G. M. T. & Sterk, H. J. M., 1999

Research output: Non-textual formSoftwareProfessional

Discrete-Time Spin

Bosnacki, D. & Dams, D. R., 1999

Research output: Non-textual formSoftwareProfessional

if2pml

Bosnacki, D. & Dams, D. R., 1999

Research output: Non-textual formSoftwareProfessional

MESH

Boosten, M. & Stok, van der, P. D. V., 1999

Research output: Non-textual formSoftwareProfessional

Optimal solitaire Yahtzee player & proficiency test

Verhoeff, T. & Scheffers, E. T. J., 1999

Research output: Non-textual formSoftwareProfessional

Qstar

Houben, S. H. M. J., 1999

Research output: Non-textual formSoftwareProfessional

The µCRL toolset version 1.0

Groote, J. F. & Lisser, B., 1999

Research output: Non-textual formSoftwareProfessional

TOPS

Holtman, K. J. G. & Stok, van der, P. D. V., 1999

Research output: Non-textual formSoftwareProfessional

Voorkennistoets, beta-version

Cuypers, F. G. M. T., 1999

Research output: Non-textual formSoftwareProfessional

Woflan 2.0

Verbeek, H. M. W., 1999

Research output: Non-textual formSoftwareProfessional

1998

Carlos: een programma voor de simulatie van chemische reacties

Lukkien, J. J., 1998

Research output: Non-textual formSoftwareProfessional

DReSS 2.0 Document Repository Service Station. Versie 2.0

Aerts, A. T. M., De Bra, P. M. E. & Timmermans, M., 1998

Research output: Non-textual formSoftwareProfessional

Hypermedia

Executable specification tool

Verbeek, H. M. W., Krom, de, P. & Aalst, van der, W. M. P., 1998

Research output: Non-textual formSoftwareProfessional

TPN-VIP Vertaler

Verbeek, H. M. W., Erwin, T., Frytag, T. & Aalst, van der, W. M. P., 1998

Research output: Non-textual formSoftwareProfessional

TRAND, specificatie hulpmiddel voor rt-databases ter verificatie van tijdigheidseisen

Stok, van der, P. D. V., 1998

Research output: Non-textual formSoftwareProfessional

Vertaler van 'Intermediate format' naar Promela

Dams, D. R. & Bosnacki, D., 1998

Research output: Non-textual formSoftwareProfessional

WOFLAN, workflow analyser

Verbeek, H. M. W., Hauschild, D. & Aalst, van der, W. M. P., 1998

Research output: Non-textual formSoftwareProfessional

1997

Carlos: een programma voor de simulatie van chemische reacties

Lukkien, J. J., 1997

Research output: Non-textual formSoftwareProfessional