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
Aktiviteter
Priser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Marco Carbone
Associate Professor, Head of study programme
,
Computer Science
Programming Logic and Semantics
Center for Information Security and Trust
Fastnet
72185067
E-mail
maca
itu
dk
2009
2023
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(30)
Aktiviteter
(2)
Presse/medier
(3)
Lignende profiler
(8)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Marco Carbone er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Matematik
Asynchronous Communication
10%
Binary
9%
Buffer
13%
Choreography
41%
Communication
23%
Communication Protocol
25%
Concepts
6%
Concurrent
19%
Context
11%
Decidability
30%
Distributed Computation
17%
Distributed Systems
25%
Exception
5%
Express
5%
Fragment
29%
Interaction
17%
Intuitive
5%
Language
17%
Methodology
8%
Output
17%
Programming
11%
Programming Languages
10%
Projection
8%
Proof Theory
15%
Reasoning
11%
Semantics
10%
Software Components
20%
Sound
22%
Term
6%
Type Systems
12%
Type Theory
6%
Undecidability
56%
Teknik og materialevidenskab
Acoustic waves
75%
Authentication
10%
Chemical analysis
15%
Communication
100%
Computability and decidability
65%
Computer programming languages
18%
Message passing
8%
Network protocols
40%
Semantics
48%
Servers
26%
Specifications
5%
Syntactics
12%
Web services
21%
WSDL
33%
