• 200 Citations
  • 9 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

Research Output 2005 2019

Filter
Article
2019
42 Downloads (Pure)

Computational thinking – een vooruitblik op het wiskundeonderwijs van de toekomst

Timmer, M. & Tolboom, J., 1 Mar 2019, In : Nieuw archief voor wiskunde. 5/20, 1, p. 42-45 3 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
education
mathematics
2018
14 Downloads (Pure)

Computational thinking in vwo 5: Een werkmiddag over 'branch and bound'

Timmer, M. & van der Meulen, J., Dec 2018, In : Euclides. 94, 3, p. 14-17 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
Computational
Science Communication
Science Education
4 Downloads (Pure)

Op zoek naar denkactiviteiten: Bespreking eindexamens nieuwe stijl

Caspers, W. & Timmer, M., Sep 2018, In : Nieuw archief voor wiskunde. 5/19, 3, p. 228-232

Research output: Contribution to journalArticleProfessional

curriculum
2017
187 Downloads (Pure)

Introductie van het inproduct

Timmer, M. & Coenen, T. J. M., May 2017, In : Euclides. 92, 6, p. 4-7 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
Curriculum
2016
2 Citations (Scopus)
66 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
40 Downloads (Pure)

Logaritmen schatten via herhaald delen

Coenen, T. J. M. & Timmer, M., Jun 2016, In : Euclides. 91, 7, p. 25-25 1 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
2015
6 Citations (Scopus)
18 Downloads (Pure)

Sound statistical model checking for MDP using partial order and confluence reduction

Hartmanns, A. & Timmer, M., Aug 2015, In : International journal on software tools for technology transfer. 17, 4, p. 429-456 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Model checking
Acoustic waves
Random processes
Explosions
Statistical methods
2014
3 Citations (Scopus)
39 Downloads (Pure)

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Hansen, H., Massink, M. (ed.), Norman, G. (ed.), Timmer, M. & Wiklicky, H. (ed.), 12 Jun 2014, In : Theoretical computer science. 538, p. 103-123 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
20 Citations (Scopus)
32 Downloads (Pure)

Analysis of timed and long-run objectives for Markov automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
60 Downloads (Pure)

Combinatoriek: meer dan trucjes

Timmer, M. & Verhoef, N. C., Dec 2014, In : Euclides. 90, 3, p. 12-13 2 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
69 Downloads (Pure)

De introductie van analytische meetkunde

Verhoef, N., Timmer, M. & Hoeksema, F., Nov 2014, In : Euclides. 90, 2, p. 4-6 3 p.

Research output: Contribution to journalArticleProfessional

File
32 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M. & Iwama, K. (ed.), Feb 2014, In : Bulletin of the European Association for Theoretical Computer Science. 112, p. 139-140 2 p.

Research output: Contribution to journalArticleAcademic

File
3 Downloads (Pure)

In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata

Hek, G. M. & Timmer, M., Mar 2014, In : Nieuw archief voor wiskunde. 15, 1, p. 25-26 2 p.

Research output: Contribution to journalArticleProfessional

File
2013
18 Downloads (Pure)

Lesson study - deel 3: Ervaringen bij de introductie van periodieke bewegingen

Verhoef, N. C. & Timmer, M., Feb 2013, In : Euclides. 88, 4, p. 173-176 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
2012
7 Citations (Scopus)
54 Downloads (Pure)

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
25 Downloads (Pure)

Analytische meetkunde door een synthetische bril

Timmer, M., Verhoef, N. C. & Jeurnink, G. A. M., Jun 2012, In : Nieuwe wiskrant. 31, 4, p. 13-18 6 p.

Research output: Contribution to journalArticleProfessional

File
72 Downloads (Pure)

Increasing insightful thinking in analytic geometry

Timmer, M. & Verhoef, N. C., Sep 2012, In : Nieuw archief voor wiskunde. 5/13, 3, p. 217-219 3 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
geometry
mathematics
student
programme
analysis
2011
180 Downloads (Pure)

De sinus: van meetkundige definitie naar analytisch begrip

Alberink, M. J., Muijlwijk, H. & Timmer, M., May 2011, In : Euclides. 86, 6, p. 250-252 3 p.

Research output: Contribution to journalArticleProfessional

File
25 Downloads (Pure)

Efficiënt zoeken in grote tekstbestanden

Stoelinga, M. I. A. & Timmer, M., Jun 2011, In : Nieuwe wiskrant. 30, 4, p. 35-38 4 p.

Research output: Contribution to journalArticleProfessional

File