Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Syddansk Universitet Forside
Hjælp og FAQ
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Projekter
Presse/medie
Priser
Undervisning
Impacts
Datasæt
Søg efter ekspertise, navn eller tilknytning
Vis Scopus-profil
Marco Peressotti
Institut for Matematik og Datalogi
Lektor
,
Concurrency
https://orcid.org/0000-0002-0243-0480
Telefon
+4565509026
E-mail
Peressotti
imada.sdu
dk
Oversigt
Fingeraftryk
Netværk
Publikationer
(40)
Aktiviteter
(5)
Projekter
(1)
Presse/medie
(1)
Priser
(2)
Datasæt
(1)
Lignende profiler
(6)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Fingeraftryk
Fingeraftryk dannes ud fra videnskabelige udgivelser og skaber et indeks med vægtede emneord for hver enkelt forsker.
Sorter
Vægt
Alfabetisk
Teknik og materialevidenskab
Semantics
100%
Computer programming languages
90%
Formal languages
48%
Linked data
47%
Pattern matching
44%
Labels
41%
Computer programming
41%
Application programming interfaces (API)
37%
Chemical analysis
35%
Functional programming
34%
Embeddings (Algorithms)
31%
Recursive functions
29%
Integration testing
28%
Computability and decidability
26%
Theorem proving
25%
Specifications
25%
Data storage equipment
23%
Multi agent systems
23%
Linear equations
21%
Message passing
20%
Communication
20%
Molecules
19%
Constraint satisfaction problems
18%
Interfaces (computer)
18%
Explosions
18%
Containers
18%
Biological systems
16%
Acoustic waves
15%
Systems analysis
14%
Network protocols
13%
Stochastic systems
11%
Fruits
11%
Object oriented programming
11%
Architectural design
11%
Derivatives
10%
Information systems
10%
Synchronization
10%
Testing
10%
Polynomials
10%
Lenses
9%
Chemical reactions
9%
Flow control
9%
Probability distributions
9%
Linguistics
9%
Model checking
6%
Syntactics
6%
Concretes
6%
Merging
6%
Parallel algorithms
6%
Software engineering
5%
Matematik
Reactive Systems
42%
Structural Operational Semantics
31%
Domain Model
28%
Programming Languages
28%
Equivalence
27%
Coalgebra
26%
Transition Systems
23%
Architecture
21%
Embedding Problem
20%
Service-oriented
18%
Programming
18%
Language
17%
Specification
17%
Decentralized
16%
Bisimulation
16%
Computing
16%
Process Calculi
13%
Completeness
13%
Weight Function
13%
Design
12%
Framework
11%
Soundness
11%
Linguistics
10%
Service-oriented Architecture
10%
Parallel Simulation
10%
Distributed Algorithms
8%
Characterization
8%
Compilation
8%
Distributed Systems
7%
Turing
7%
Concurrent
7%
Metamodel
7%
Labeled Transition System
6%
Confidence
6%
Enriched Category
6%
Flow Time
6%
Java
6%
Multi-agent Systems
6%
Correctness
6%
Simplification
6%
Proof by induction
6%
Presheaves
6%
Paradigm
6%
Model
6%
Measurable space
6%
Range of data
6%
Nondeterminism
5%
Monads
5%
Constraint Satisfaction Problem
5%
