Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Projekter
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Alessandro Bruni
Associate Professor
,
Computer Science
Programming Logic and Semantics
Center for Information Security and Trust
https://orcid.org/0000-0003-2946-9462
Fastnet
72185163
E-mail
brun
itu
dk
Websted
http://alessandrobruni.name
2016
2024
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(14)
Presse/medier
(11)
Projekter
(3)
Lignende profiler
(6)
Publikation
Publikationer pr. år
2016
2016
2017
2020
2021
2024
10
Konferencebidrag i proceedings
1
Rapport
1
Paper
1
Konferenceartikel
1
Mere
1
Andet bidrag
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Andet bidrag
Søgeresultater
2016
Representing Session Types
Bock, P. B., Murawska, A.,
Bruni, A.
&
Schürmann, C.
,
2016
,
23 s.
Publikation
:
Andet
›
Andet bidrag
›
Forskning
Åben adgang
Fil
Session Types
100%
Operational Semantics
100%
Calculus
50%
Metalanguage
50%
Network Routing
50%