Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Carsten Schürmann
Professor
,
Theoretical Computer Science
Centerleder
,
Center for Information Security and Trust
https://orcid.org/0000-0003-4793-0099
E-mail
carsten
itu
dk
2006
2024
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(64)
Aktiviteter
(2)
Presse/medier
(270)
Projekter
(20)
Lignende profiler
(6)
Publikation
Publikationer pr. år
2006
2010
2014
2017
2021
2024
37
Konferencebidrag i proceedings
8
Konferenceartikel
6
Rapport
6
Tidsskriftartikel
7
Mere
2
Bog
2
Konferenceabstrakt til konference
1
Bidrag til bog/antologi
1
Paper
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%