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
Theoretical Computer Science
IT University of Copenhagen
Overview
Fingerprint
Network
Researchers
(30)
Publications
(409)
Datasets
(6)
Prizes
(5)
Activities
(20)
Press/Media
(237)
Projects
(59)
Research output
Research output per year
2007
2013
2014
2015
2016
2017
2018
2019
2022
2024
205
Article in proceedings
95
Journal article
36
Conference article
16
Ph.D. thesis
57
More
13
Book chapter
9
Report
9
Paper
4
Preprint
3
Encyclopedia chapter
3
Conference abstract for conference
2
Anthology
2
Contribution to newspaper - Feature article
2
Contribution to newspaper - Newspaper article
2
Other contribution
1
Book
1
Preface/postscript
1
Poster
1
Contribution to newspaper - Comment/debate
1
Editorial
1
Net publication - Internet publication
1
Patent
1
Working paper
Research output per year
Research output per year
2 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%
2015
M3: Matrix Multiplication on MapReduce
Silvestri, F. & Ceccarello, M.,
2015
Research output
:
Other contribution
›
Research
Matrix multiplication
100%
MapReduce
100%
Matrix Multiplication
100%
Map-Reduce
100%
Multi-round
50%