Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2020

Filter
computerprogramma software
2017

Nbtoolbelt: Tools to Work with Jupyter Notebooks

Verhoeff, T., 4 okt 2017

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

Open Access
Head
Documentation
Libraries
Cats

Software Analysis Workbench (SAW) Eclipse Plugin

Leemans, M., 2017

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

Neon
Servers

Statechart ProM Plugin : Statechart Workbench

Leemans, M., 2017

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

2016

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

Leemans, M., 2016

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

2015

Episode Miner ProM Plugin

Leemans, M., 2015

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

2014

3D flying pipe-laying turtle

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Demonstrations
Pipelines
Pipe

Devilish mazes

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Demonstrations

Euler's Rotation Theorem

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Drag
Demonstrations

Exploring the times table

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Mitering a closed 3D path

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Demonstrations

Miter joint and fold joint

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Demonstrations

Switching between overloaded sliders

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

co-ordinate system
preserve

Zero-knowledge matchmaker

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2013

Knot explorer

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Paradoxical triangular braid

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Paradox
Wood
Art

Shapes from rhombuses

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Demonstrations
2011

Torus paths

Verhoeff, T., 2011

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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., 2002

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2001

Carlos, een programma voor de simulatie van chemische oppervlakte reacties

Lukkien, J. J., 2001

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Cocktail (student version)

Franssen, M. G. J., 2001

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

PaRallel Object Oriented Scattering Analysis (PROOSA)

Mak, R. H., 2001

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2000

Carlos, een programma voor de simulatie van chemische oppervlakte reacties

Lukkien, J. J., 2000

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

SymmSpin

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Voorkennistoets

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

WebSite TurboNoiseCFD met overzicht van alle in het project gehanteerde modellen en methoden.

Rienstra, S. W., 2000

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

1999

A LaTeX macro package for drawing Message Sequence Charts

Mauw, S. & Bos, V., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

CARLOS, a program for the simulation of surface reactions

Lukkien, J. J., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

CD-rom with the book "Algebra Interactive"

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Discrete-Time Spin

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

if2pml

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

MESH

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Optimal solitaire Yahtzee player & proficiency test

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Qstar

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

The µCRL toolset version 1.0

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

TOPS

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Voorkennistoets, beta-version

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Woflan 2.0

Verbeek, H. M. W., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

1998

Carlos: een programma voor de simulatie van chemische reacties

Lukkien, J. J., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

DReSS 2.0 Document Repository Service Station. Versie 2.0

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Hypermedia

Executable specification tool

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Extension of the modle-checker Spin for the specification and verification of real-time properties

Bosnacki, D., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

TPN-VIP Vertaler

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions

Bosnacki, D., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Vertaler van 'Intermediate format' naar Promela

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

WOFLAN, workflow analyser

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

1997

Carlos: een programma voor de simulatie van chemische reacties

Lukkien, J. J., 1997

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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., 1997

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel