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

• 2022

  FeatCause - Sources and Data.

  Dubslaff, C., Weis, K., Baier, C. & Apel, S., 2022

  Onderzoeksoutput: Niet-tekstuele vorm › computerprogramma software › Professioneel

• Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact.

  Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 2022

  Onderzoeksoutput: Niet-tekstuele vorm › computerprogramma software › Professioneel