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
Projects
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Carsten Schürmann
Professor
,
Computer Science
cisat.dk
https://orcid.org/0000-0003-4793-0099
Phone
72185282
Email
carsten
itu
dk
2006
2024
Research activity per year
Overview
Fingerprint
Network
Publications
(62)
Activities
(2)
Press/Media
(253)
Projects
(17)
Similar Profiles
(6)
Research output
Research output per year
2006
2014
2017
2021
2023
36
Article in proceedings
8
Conference article
6
Journal article
5
Report
7
More
2
Book
2
Conference abstract for conference
1
Book chapter
1
Paper
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
Session Types
100%
Operational Semantics
100%
Calculus
50%
Metalanguage
50%
Network Routing
50%