• 222 Citations
  • 9 h-Index
20052019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2019

Computational thinking – een vooruitblik op het wiskundeonderwijs van de toekomst

Translated title of the contribution: Computational thinking - a preview of the mathematics education of the futureTimmer, 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
124 Downloads (Pure)
2018

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
30 Downloads (Pure)

Op zoek naar denkactiviteiten: Bespreking eindexamens nieuwe stijl

Translated title of the contribution: Looking for activities for thinking: Review of the new final examsCaspers, W. & Timmer, M., Sep 2018, In : Nieuw archief voor wiskunde. 5/19, 3, p. 228-232

Research output: Contribution to journalArticleProfessional

5 Downloads (Pure)
2017

Affordances of the 'branch and bound' paradigm for developing computational thinking

van der Meulen, J. & Timmer, M., Jul 2017. 1 p.

Research output: Contribution to conferenceAbstract

Open Access
File
25 Downloads (Pure)

Boekbespreking Ronald Meester en Joost Hulshof: Wiskunde in je vingers: Hogere wiskunde omlaaghalen

Translated title of the contribution: Book review Ronald Meester and Joost Hulshof: Wiskunde in je vingers: Pulling down higher mathematicsCaspers, W. & Timmer, M., Mar 2017, In : Nieuw archief voor wiskunde. 5/18, 1, p. 67-68 2 p.

Research output: Contribution to journalBook/Film/Article reviewPopular

Open Access
File
58 Downloads (Pure)

Introductie van het inproduct

Translated title of the contribution: Introduction of the dot productTimmer, M. & Coenen, T., May 2017, In : Euclides. 92, 6, p. 4-7 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
433 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
61 Downloads (Pure)
2016

Boekbespreking Birgit van Dalen en Quintijn Puite: Wanneer is Cheryl jarig? + 99 andere wiskunderaadsels

Translated title of the contribution: Book review Birgit van Dalen and Quintijn Puite: Wanneer is Cheryl jarig? + 99 andere wiskunderaadselsTimmer, M., Jun 2016, In : Nieuw archief voor wiskunde. 5/17, 2, p. 4-4 1 p.

Research output: Contribution to journalBook/Film/Article reviewPopular

Open Access
File
97 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
6 Citations (Scopus)
118 Downloads (Pure)

Dutch Lesson Study - Examples of Teacher Learning

Coenen, T. J. M., Timmer, M. & Verhoef, N. C., 29 Jul 2016. 1 p.

Research output: Contribution to conferencePoster

Open Access
File
61 Downloads (Pure)

Logaritmen schatten via herhaald delen

Translated title of the contribution: Estimating logarithms via repeated divisionCoenen, T. & Timmer, M., Jun 2016, In : Euclides. 91, 7, p. 25-25 1 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
59 Downloads (Pure)
2015

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
8 Citations (Scopus)
27 Downloads (Pure)
2014

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
4 Citations (Scopus)
68 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
23 Citations (Scopus)
52 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
148 Downloads (Pure)

Community of Learners: samen met vakcollega's werken aan didactiekverbetering

Timmer, M., 5 Mar 2014

Research output: Non-textual formWeb publication/siteOther research output

File
20 Downloads (Pure)

Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen

Timmer, M., 30 Apr 2014

Research output: Non-textual formWeb publication/siteOther research output

File
28 Downloads (Pure)

Community of Learners (3): wat leert de docent nu eigenlijk?

Timmer, M., 24 Jun 2014

Research output: Non-textual formWeb publication/siteOther research output

File
41 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

Open Access
File
93 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
55 Downloads (Pure)

Extending Markov Automata with State and Action Rewards

Guck, D., Timmer, M. & Blom, S., Apr 2014, Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014). Bertrand, N. & Bortolussi, L. (eds.). Rennes: INRIA, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
18 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
6 Downloads (Pure)

Modelling and analysis of Markov reward automata

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., Nov 2014, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
21 Citations (Scopus)
93 Downloads (Pure)

Modelling and analysis of Markov reward automata (extended version)

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-14-06)

Research output: Book/ReportReportProfessional

File
18 Downloads (Pure)

Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

Verhoef, N. C. & Timmer, M., 2014.

Research output: Contribution to conferencePaper

2013

Confluence reduction for Markov automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
44 Downloads (Pure)

Confluence Reduction for Markov Automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Aug 2013, Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
21 Citations (Scopus)
61 Downloads (Pure)

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: Book/ReportReportProfessional

File
23 Downloads (Pure)

Divergent quiescent transition systems

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Jun 2013, Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013). Veanes, M. & Viganò, L. (eds.). Berlin: Springer, p. 214-231 18 p. (Lecture Notes in Computer Science; vol. 7942).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
77 Downloads (Pure)

Divergent Quiescent Transition Systems (extended version)

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-13-08)

Research output: Book/ReportReportAcademic

File
15 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
294 Downloads (Pure)

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

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

Research output: Contribution to journalArticleProfessional

Open Access
File
45 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
30 Citations (Scopus)
126 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata (extended version)

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 30 May 2013, Ithaca, NY, USA: Cornell University. 27 p.

Research output: Book/ReportReportAcademic

File
16 Downloads (Pure)

On-the-fly confluence detection for statistical model checking

Hartmanns, A. & Timmer, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 19 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
12 Citations (Scopus)
37 Downloads (Pure)

On-the-Fly Confluence Detection for Statistical Model Checking

Hartmanns, A. & Timmer, M., 2013, Proceedings of the 5th International NASA Formal Methods Symposium (NFM 2013). Brat, G., Rungta, N. & Venet, A. (eds.). Berlin, Heidelberg: Springer, p. 337-351 15 p. (Lecture Notes in Computer Science; vol. 7871).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
41 Downloads (Pure)

On-the-fly confluence detection for statistical model checking (extended version)

Hartmanns, A. & Timmer, M., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-13-04)

Research output: Book/ReportReportAcademic

File
17 Downloads (Pure)
2012

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
8 Citations (Scopus)
84 Downloads (Pure)

Analytische meetkunde door een synthetische bril

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

Research output: Contribution to journalArticleProfessional

Open Access
File
47 Downloads (Pure)

Analytische meetkunde door een synthetische bril

Timmer, M., Jeurnink, G. A. M. & Verhoef, N., Feb 2012, Conferentiegids van de 18e Nationale Wiskunde Dagen. Utrecht: Freudenthal Instituut, p. 44-44 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
17 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
28 Citations (Scopus)
52 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
51 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File
22 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
122 Downloads (Pure)

Proceedings of the 17th Dutch Testing Day: Testing Evolvability, November 29, 2011, University of Twente, Enschede

Stoelinga, M. (ed.) & Timmer, M. (ed.), Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Workshop Proceedings Series; no. WP12-01)

Research output: Book/ReportBook editingAcademic

Open Access
File
41 Downloads (Pure)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Stokkink, G., Timmer, M. & Stoelinga, M., 25 Mar 2012, Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Petrenko, A. K. & Schlingloff, H. (eds.). Australia: Open Publishing Association, p. 73-87 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 80).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
9 Citations (Scopus)
43 Downloads (Pure)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

Stokkink, G., Timmer, M. & Stoelinga, M., 1 Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-12-05)

Research output: Book/ReportReportAcademic

Open Access
File
14 Downloads (Pure)

Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time

Hansen, H. & Timmer, M., 1 Apr 2012, 10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012). Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
14 Downloads (Pure)
2011

Confluence Reduction for Probabilistic Systems

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., Mar 2011, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Citations (Scopus)
79 Downloads (Pure)

Confluence versus Ample Sets in Probabilistic Branching Time

Hansen, H. & Timmer, M., Sep 2011, Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory. Bollig, B. (ed.). Cachan, France: Ecole normale superieure de Cachan, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
24 Downloads (Pure)