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
Alessandro Bruni
Associate Professor
,
Computer Science
Programming Logic and Semantics
cisat.dk
https://orcid.org/0000-0003-2946-9462
Phone
72185163
Email
brun
itu
dk
Website
http://alessandrobruni.name
2016
2024
Research activity per year
Overview
Fingerprint
Network
Publications
(14)
Press/Media
(11)
Projects
(3)
Similar Profiles
(6)
Research output
Research output per year
2016
2016
2017
2020
2021
2024
10
Article in proceedings
1
Report
1
Paper
1
Conference article
1
More
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%