Pieter J.L. Cuijpers

Onderzoeksoutput

Onderzoeksoutput per jaar 2001 2002 2004 2006 2007 2008 2009 2010 2012 2013 2014 2015 2016 2018 2024

• 52 Conferentiebijdrage
• 22 Rapport
• 14 Tijdschriftartikel
• 2 Hoofdstuk
• 5 Meer
  • 1 Boekredactie
  • 1 Paper
  • 1 Congresartikel
  • 1 Octrooi-publicatie
  • 1 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2009

  Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)

  Andova, S. (Redacteur), McIver, A. (Redacteur), D'Argenio, P. R. (Redacteur), Cuijpers, P. J. L. (Redacteur), Markovski, J. (Redacteur), Morgan, C. (Redacteur) & Núñez, M. (Redacteur), 2009, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 13)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  Open Access

  Bestand

  • Netherlands 100%
  • Congressional Report 100%
  198 Downloads (Pure)