Research Output 1972 2020

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
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
2000

SymmSpin

Bosnacki, D., Dams, D. R. & Holenderski, L., 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

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

The µCRL toolset version 1.0

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

Research output: Non-textual formSoftwareProfessional

1998

Vertaler van 'Intermediate format' naar Promela

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

Research output: Non-textual formSoftwareProfessional