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
Programming Logic and Semantics
IT-Universitetet i København
Computer Science
Vis
Fingerprint
Netværk
Forskere
(9)
Publikationer
(163)
Priser
(1)
Aktiviteter
(6)
Presse/medier
(96)
Publikation
Publikationer pr. år
2009
2012
2013
2014
2015
2016
2017
2018
2023
67
Konferencebidrag i proceedings
39
Tidsskriftartikel
24
Konferenceartikel
11
Bidrag til bog/antologi
22
Mere
9
Ph.d.-afhandling
6
Rapport
3
Paper
1
Bog
1
Konferenceabstrakt til konference
1
Leder
1
Andet bidrag
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Andet bidrag
Søgeresultater
2016
Representing Session Types
Bock, P. B.
,
Murawska, A.
,
Bruni, A.
&
Schürmann, C.
,
2016
,
23 s.
Publikation
:
Andet
›
Andet bidrag
›
Forskning
Åben adgang
Fil
Semantics
100%
Communication
36%