Jerry I. den Hartog

Onderzoeksoutput

Onderzoeksoutput per jaar 1997 2020

• 855 Citaties
• 49 Conferentiebijdrage
• 15 Rapport
• 9 Tijdschriftartikel
• 4 Hoofdstuk
• 7 Meer
  • 3 Poster
  • 1 Paper
  • 1 Editorial
  • 1 Artikel recenseren
  • 1 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2011

  Preface of special issue on "Computer security : foundations and automated reasoning"

  Bauer, L., Etalle, S., Hartog, den, J. I. & Viganò, L., 2011, In: Journal of Automated Reasoning. 46, 3-4, blz. 223-224 2 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Editorial › Academic › peer review