Jens Christian Godskesen

Publikation

Publikationer pr. år 2002 2002 2007 2008 2009 2010 2013 2015

• 7 Rapport
• 6 Konferencebidrag i proceedings
• 5 Konferenceartikel
• 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, TR-2008-106 udg. IT University of Copenhagen: IT-Universitetet i København. 24 s. (IT University Technical Report Series).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Calculus 100%
  • π-calculus 100%
  • High-order 100%
  • Mobile Processes 14%
  • Process Calculi 14%

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

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

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Wireless Systems 100%
  • Semantic Techniques 33%
  • Semantic Logic 33%
  • Semantic Validation 33%
  • ad-hoc network 33%
• 2007

  A Calculus for Mobile Ad Hoc Networks

  Godskesen, J. C., maj 2007, TR-2007-98 udg. Copenhagen: IT-Universitetet i København. 29 s. (IT University Technical Report Series; Nr. TR-2007-98).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Calculus 100%
  • Inductive Characterization 100%
  • Mobile Ad Hoc Network (MANET) 100%
  • mobile ad-hoc network 100%
  • Reduction Semantics 50%

• Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names

  Bundgaard, M., Hildebrandt, T. & Godskesen, J. C., maj 2007, TR-2007-97 udg. Copenhagen: IT-Universitetet i København. 33 s. (IT University Technical Report Series; Nr. TR-2007-97).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Embedded Resources 100%
  • Local Names 100%
  • Linear Position 100%
  • Embedded Hardware 100%
  • Scope Extension 100%
• 2004

  Bisimulation Congruences for Homer: a Calculus of Higher Order Mobile Embedded Resources

  Hildebrandt, T., Godskesen, J. C. & Bundgaard, M., okt. 2004, TR-2004-52 udg. Copenhagen: IT-Universitetet i København. 25 s. (IT University Technical Report Series; Nr. TR-2004-52).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Linear Processes 100%
  • Seal Calculus 14%
  • Sound Characterization 14%
  • Kell 14%
  • Nonlinear Process 14%
• 2002

  A Calculus of Mobile Resources

  Godskesen, J. C., Hildebrandt, T. & Sassone, V., okt. 2002, TR–2002-16 udg. Copenhagen: IT-Universitetet i København. 23 s. (IT University Technical Report Series; Nr. TR–2002-16).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Calculus 100%
  • Computing Device 100%
  • Bisimulation 66%
  • Transition Semantics 33%
  • High-order 33%

• An Implementation of the MR Calculus

  Godskesen, J. C., Hildebrandt, T. & Jacobsen, S. E., apr. 2002, TR-2002-14 udg. Copenhagen: IT-Universitetet i København. 18 s. (IT University Technical Report Series; Nr. TR-2002-14).

  Publikation: Bog / Antologi / Rapport › Rapport › Forskning

  Åben adgang

  Fil

  • Resource Calculus 100%
  • Mobile Resources 100%