Research output per year
Research output per year
Research activity per year
PhD, Efficient Modelling, Generation and Analysis of Markov Automata, University of Twente
1 Sept 2008 → 13 Sept 2013
Award Date: 13 Sept 2013
Master, Science Education and Communication - MSc thesis: Rijkere cognitieve eenheden door het benadrukken van synthetische meetkunde tijdens de behandeling van analytische meetkunde, University of Twente
1 May 2010 → 30 Aug 2011
Award Date: 30 Aug 2011
Master, Computer Science - MSc thesis: Evaluating and Predicting Actual Test Coverage, University of Twente
1 Sept 2005 → 25 Jun 2008
Award Date: 25 Jun 2008
Bachelor, Telematics - BSc thesis: How to identify the speed limiting factor of a TCP flow, University of Twente
1 Sept 2002 → 31 Aug 2005
Award Date: 31 Aug 2005
Wiskundedocent, Carmel College Salland
1 Aug 2012 → …
Research output: Contribution to journal › Article › Professional
Research output: Contribution to journal › Article › Professional
Research output: Contribution to journal › Article › Professional
Research output: Contribution to journal › Article › Professional
Research output: Contribution to journal › Article › Professional
Coenen, T. J. M. (Speaker) & Timmer, M. (Speaker)
Activity: Talk or presentation › Oral presentation
Verhoef, N. C. (Speaker) & Timmer, M. (Speaker)
Activity: Talk or presentation › Oral presentation
Timmer, M. (Speaker) & Verhoef, N. C. (Speaker)
Activity: Talk or presentation › Oral presentation
Timmer, M. (Visiting researcher)
Activity: Visiting an external institution › Visiting an external academic institution