Jens Christian Godskesen

Publikation

Publikationer pr. år 2008 2008 2009 2010 2013 2015

• 6 Konferencebidrag i proceedings
• 5 Konferenceartikel
• 2 Rapport
• 1 Tidsskriftartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2008

  On Encoding the Pi-calculus in Higher-Order Calculi

  Bundgaard, M., Hildebrandt, T. & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 s. (IT University Technical Report Series).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

• Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems: FMWS’08 Toronto, Canada 23 August 2008

  Godskesen, J. C. (red.) & Merro, M. (red.), 2008, Copenhagen: IT-Universitetet i København. 86 s. (IT University Technical Report Series; Nr. TR-2008-109).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning