Department of Mathematics and Computer Science

Research output

Research output per year 1937 2021

• 10050 Article
• 7875 Conference contribution
• 5684 Report
• 1206 Chapter
• 3279 More
  • 692 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 455 Pd Eng Thesis
  • 363 Book editing
  • 305 Book review
  • 231 Book
  • 151 Patent publication
  • 128 Editorial
  • 120 Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
  • 119 Other contribution
  • 96 Inaugural speech
  • 93 Abstract
  • 91 Poster
  • 86 Paper
  • 83 Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)
  • 66 Software
  • 57 Foreword/postscript
  • 37 Review article
  • 31 Other
  • 25 Conference article
  • 13 Meeting Abstract
  • 12 Comment/Letter to the editor
  • 8 Entry for encyclopedia/dictionary
  • 5 Working paper
  • 4 Letter
  • 4 Digital or Visual Products
  • 2 Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
  • 1 Short survey
  • 1 Special issue

Research output per year

Research output per year

Search results

• 2020

  Circle of Lamps

  Verhoeff, T., 8 Jul 2020

  Research output: Non-textual form › Software › Professional

  Open Access
• 2017

  Nbtoolbelt: Tools to Work with Jupyter Notebooks

  Verhoeff, T., 4 Oct 2017

  Research output: Non-textual form › Software › Academic

  Open Access

  • cleaning
  • exercise
  • statistics
  • tail
  • cats

• Software Analysis Workbench (SAW) Eclipse Plugin

  Leemans, M., 2017

  Research output: Non-textual form › Software › Academic

  • Software

• Statechart ProM Plugin : Statechart Workbench

  Leemans, M., 2017

  Research output: Non-textual form › Software › Academic
• 2016

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

  Leemans, M., 2016

  Research output: Non-textual form › Software › Academic
• 2015

  Episode Miner ProM Plugin

  Leemans, M., 2015

  Research output: Non-textual form › Software › Academic
• 2014

  3D flying pipe-laying turtle

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • Turtle
  • Graphics
  • Moment
  • Generalization

• Devilish mazes

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • Demonstrations

• Euler's Rotation Theorem

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

• Exploring the times table

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • Demonstrations

• Mitering a closed 3D path

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • apexes
  • radii
  • cross sections

• Miter joint and fold joint

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • cross section
  • fold

• Switching between overloaded sliders

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • coordinate system
  • preserve

• Zero-knowledge matchmaker

  Verhoeff, T., 2014

  Research output: Non-textual form › Software › Professional

  • protocols
• 2013

  Knot explorer

  Verhoeff, T., 2013

  Research output: Non-textual form › Software › Professional

  • Mathematica
  • Knot

• Paradoxical triangular braid

  Verhoeff, T., 2013

  Research output: Non-textual form › Software › Professional

  • Braid
  • Wood
  • Paradox
  • Art

• Shapes from rhombuses

  Verhoeff, T., 2013

  Research output: Non-textual form › Software › Professional
• 2011

  Torus paths

  Verhoeff, T., 2011

  Research output: Non-textual form › Software › Professional

  • Torus
  • Path
  • Circle
  • Tube
  • Intersect
• 2002

  GBNP, a GAP package for Gröbner bases computations with noncommutative polynomials

  Cohen, A. M. & Gijsbers, D. A. H., 2002

  Research output: Non-textual form › Software › Professional
• 2001

  Carlos, een programma voor de simulatie van chemische oppervlakte reacties

  Lukkien, J. J., 2001

  Research output: Non-textual form › Software › Professional

• Cocktail (student version)

  Franssen, M. G. J., 2001

  Research output: Non-textual form › Software › Professional

• PaRallel Object Oriented Scattering Analysis (PROOSA)

  Mak, R. H., 2001

  Research output: Non-textual form › Software › Professional
• 2000

  Carlos, een programma voor de simulatie van chemische oppervlakte reacties

  Lukkien, J. J., 2000

  Research output: Non-textual form › Software › Professional

• SymmSpin

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

  Research output: Non-textual form › Software › Professional

• Voorkennistoets

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

  Research output: Non-textual form › Software › Professional

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

  Rienstra, S. W., 2000

  Research output: Non-textual form › Software › Professional
• 1999

  A LaTeX macro package for drawing Message Sequence Charts

  Mauw, S. & Bos, V., 1999

  Research output: Non-textual form › Software › Professional

• CARLOS, a program for the simulation of surface reactions

  Lukkien, J. J., 1999

  Research output: Non-textual form › Software › Professional

• CD-rom with the book "Algebra Interactive"

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

  Research output: Non-textual form › Software › Professional

• Discrete-Time Spin

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

  Research output: Non-textual form › Software › Professional

• if2pml

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

  Research output: Non-textual form › Software › Professional

• MESH

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

  Research output: Non-textual form › Software › Professional

• Optimal solitaire Yahtzee player & proficiency test

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

  Research output: Non-textual form › Software › Professional

• Qstar

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

  Research output: Non-textual form › Software › Professional

• The µCRL toolset version 1.0

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

  Research output: Non-textual form › Software › Professional

• TOPS

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

  Research output: Non-textual form › Software › Professional

• Voorkennistoets, beta-version

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

  Research output: Non-textual form › Software › Professional

• Woflan 2.0

  Verbeek, H. M. W., 1999

  Research output: Non-textual form › Software › Professional
• 1998

  Carlos: een programma voor de simulatie van chemische reacties

  Lukkien, J. J., 1998

  Research output: Non-textual form › Software › Professional

• 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 form › Software › Professional

  • Hypertext
  • Computer Supported Cooperative Work
  • Repository

• Executable specification tool

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

  Research output: Non-textual form › Software › Professional

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

  Bosnacki, D., 1998

  Research output: Non-textual form › Software › Professional

• 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

  Research output: Non-textual form › Software › Professional

• TPN-VIP Vertaler

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

  Research output: Non-textual form › Software › Professional

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

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

  Research output: Non-textual form › Software › Professional

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

  Bosnacki, D., 1998

  Research output: Non-textual form › Software › Professional

• Vertaler van 'Intermediate format' naar Promela

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

  Research output: Non-textual form › Software › Professional

• 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

  Research output: Non-textual form › Software › Professional

• WOFLAN, workflow analyser

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

  Research output: Non-textual form › Software › Professional
• 1997

  Carlos: een programma voor de simulatie van chemische reacties

  Lukkien, J. J., 1997

  Research output: Non-textual form › Software › Professional