Formal System Analysis

Onderzoeksoutput

Onderzoeksoutput per jaar 1983 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2024

• 617 Conferentiebijdrage
• 299 Tijdschriftartikel
• 269 Rapport
• 55 Hoofdstuk
• 161 Meer
  • 48 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 35 Boekredactie
  • 16 Editorial
  • 13 Voorwoord/editorial
  • 10 Boek
  • 10 Preprint
  • 7 Congresartikel
  • 5 EngD Thesis
  • 3 Poster
  • 2 Inaugurale/afscheids rede
  • 2 Other
  • 2 Boek bespreking
  • 2 computerprogramma software
  • 2 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
  • 1 Octrooi-publicatie
  • 1 Dissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)
  • 1 Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2024

  Configuration Monitor Synthesis

  Köhl, M. A., Dubslaff, C. & Hermanns, H., 2024.

  Onderzoeksoutput: Werkdocument › Academic