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
https://orcid.org/0000-0001-9479-2632
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
Undecidability
56%
Choreography
41%
Decidability
30%
Fragment
29%
Communication Protocol
25%
Distributed Systems
25%
Communication
23%
Sound
22%
Software Components
20%
Concurrent
19%
Output
17%
Distributed Computation
17%
Language
17%
Interaction
17%
Proof Theory
15%
Buffer
13%
Type Systems
12%
Reasoning
11%
Programming
11%
Context
11%
Programming Languages
10%
Asynchronous Communication
10%
Semantics
10%
Binary
9%
Projection
8%
Methodology
8%
Type Theory
6%
Term
6%
Concepts
6%
Exception
5%
Intuitive
5%
Express
5%
Teknik og materialevidenskab
Communication
100%
Acoustic waves
75%
Computability and decidability
65%
Semantics
48%
Network protocols
40%
WSDL
33%
Servers
26%
Web services
21%
Computer programming languages
18%
Chemical analysis
15%
Syntactics
12%
Authentication
10%
Message passing
8%
Specifications
5%
