Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Carsten Schürmann
Professor
,
Theoretical Computer Science
Head of Center
,
Center for Information Security and Trust
https://orcid.org/0000-0003-4793-0099
Email
carsten
itu
dk
2006
2024
Research activity per year
Overview
Fingerprint
Network
Publications
(64)
Activities
(2)
Press/Media
(270)
Projects
(20)
Similar Profiles
(6)
Research output
Research output per year
2006
2010
2014
2017
2021
2024
37
Article in proceedings
8
Conference article
6
Report
6
Journal article
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%