Kurt Jensen

Publikation

Publikationer pr. år 1978 1980 1985 1987 1991 1997 1998 2001 2004 2007 2008 2009 2012 2019

• 26 Konferencebidrag i proceedings
• 14 Working paper
• 11 Antologi
• 9 Tidsskriftartikel
• 18 Mere
  • 6 Leder
  • 5 Bog
  • 3 Bidrag til bog/antologi
  • 2 Rapport
  • 1 Ph.d.-afhandling
  • 1 Bidrag til rapport

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2019

  Carl Adam Petri: a tribute from Aarhus

  Jensen, K. & Nielsen, M., 2019, Carl Adam Petri: ideas, personality, impact. Reisig, W. & Rozenberg, G. (red.). Cham: Springer, s. 81-84

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling
• 2004

  Formal Specification and State Space Analysis of an Operational Planning Process

  Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (Redaktør), 2004, Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. PB-570 of Daimi Reports udg. Department of Computer Science, University of Aarhus, s. 1-18 19 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning
• 1991

  Computer Tools for High-level Petri Nets

  Jensen, K. & Feldbrugge, F., 1991, High-level Petri Nets. Theory and Application. Jensen, K. & Rozenberg, G. (red.). London, UK: Springer, Bind Advances in Petri Nets 1991. s. 691-717 26 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning