Research Output

Filter
Software
2020

Circle of Lamps

Verhoeff, T., 8 Jul 2020

Research output: Non-textual formSoftwareProfessional

Open Access
2017

Nbtoolbelt: Tools to Work with Jupyter Notebooks

Verhoeff, T., 4 Oct 2017

Research output: Non-textual formSoftwareAcademic

Open Access
2014

3D flying pipe-laying turtle

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Devilish mazes

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Euler's Rotation Theorem

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

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

Miter joint and fold joint

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

Switching between overloaded sliders

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

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

Shapes from rhombuses

Verhoeff, T., 2013

Research output: Non-textual formSoftwareProfessional

2011

Torus paths

Verhoeff, T., 2011

Research output: Non-textual formSoftwareProfessional

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