Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Priser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Jens Christian Godskesen
2008
2015
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(14)
Presse/medier
(93)
Lignende profiler
(2)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
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
2 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Rapport
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