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

• 2023

  Assume-Guarantee Reasoning for Additive Hybrid Behaviour

  Cuijpers, P. J. L., Hansen, J. (Corresponderende auteur) & Larsen, K. G., 8 sep. 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (uitgave). Springer, blz. 297-322 26 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14080 LNCS).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Hybrid Automaton 100%
  • Continuous Variable 100%
  • Statistical Model 50%
  • Dynamical System 50%
  • Conservation Law 50%
• 2016

  Nomadic service discovery in smart cities

  Stolikj, M., Lukkien, J. J., Cuijpers, P. J. L. & Buchina, N., 13 mei 2016, Smart Cities and Homes : Key Enabling Technologies. Obaidat, M. & Nicopolitidis, P. (uitgave). Amsterdam: Elsevier, blz. 59-90 32 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Service Discovery 100%
  • Smart City 100%
  • Domain Name System 60%
  • Multicast Domain 60%
  • Constrained Device 40%
  1 Citaat (Scopus)

  12 Downloads (Pure)