Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Programming Logic and Semantics
IT University of Copenhagen
Computer Science
Overview
Fingerprint
Network
Researchers
(9)
Publications
(163)
Prizes
(1)
Activities
(6)
Press/Media
(96)
Research output
Research output per year
2009
2012
2013
2014
2015
2016
2017
2018
2023
67
Article in proceedings
39
Journal article
24
Conference article
11
Book chapter
22
More
9
Ph.D. thesis
6
Report
3
Paper
1
Book
1
Conference abstract for conference
1
Editorial
1
Other contribution
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
2016
Representing Session Types
Bock, P. B.
,
Murawska, A.
,
Bruni, A.
&
Schürmann, C.
,
2016
,
23 p.
Research output
:
Other contribution
›
Research
Open Access
File
Semantics
100%
Communication
36%