Joost-Pieter Katoen

Research output

Research output per year 1992 1993 1994 1995 1996 1998 2000 2001 2002 2003 2004 2005 2006 2008 2009 2012 2024

• 112 Conference contribution
• 58 Article
• 36 Report
• 16 Chapter
• 38 More
  • 16 Paper
  • 8 Book editing
  • 6 Other contribution
  • 2 Book
  • 2 Poster
  • 1 Foreword/postscript
  • 1 Conference article
  • 1 PhD Thesis - Research UT, graduation UT
  • 1 Preprint

Research output per year

Research output per year

Search results

• 1996

  Quantitative and Qualitative Extensions of Event Structures

  Katoen, J.-P., 1996, Enschede: University of Twente. 303 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

  Open Access

  File

  • Application 100%
  • Distributed Systems 100%
  • Design Specification 100%
  • Probability 100%
  • Event Structure 100%
  269 Downloads (Pure)