Skip to main navigation
Skip to search
Skip to main content
University of Southern Denmark Home
Help & FAQ
Dansk
English
Home
Researchers
Research units
Research output
Activities
Projects
Press / Media
Prizes
Teaching
Impacts
Datasets
Search by expertise, name or affiliation
View Scopus Profile
Marco Peressotti
Department of Mathematics and Computer Science
Associate professor
,
Concurrency
https://orcid.org/0000-0002-0243-0480
Phone
+4565509026
Email
Peressotti
imada.sdu
dk
Overview
Fingerprint
Network
Research output
(35)
Activities
(5)
Prizes
(1)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Semantics
100%
Computer programming languages
83%
Formal languages
55%
Linked data
55%
Pattern matching
51%
Labels
47%
Application programming interfaces (API)
42%
Chemical analysis
40%
Computer programming
39%
Embeddings (Algorithms)
36%
Recursive functions
33%
Integration testing
32%
Theorem proving
29%
Functional programming
29%
Specifications
29%
Data storage equipment
27%
Multi agent systems
26%
Linear equations
24%
Molecules
22%
Constraint satisfaction problems
21%
Interfaces (computer)
21%
Explosions
21%
Containers
21%
Communication
19%
Biological systems
19%
Systems analysis
17%
Network protocols
15%
Stochastic systems
13%
Fruits
13%
Object oriented programming
12%
Architectural design
12%
Derivatives
12%
Information systems
12%
Polynomials
11%
Lenses
11%
Chemical reactions
11%
Flow control
10%
Probability distributions
10%
Linguistics
10%
Model checking
7%
Concretes
7%
Merging
7%
Parallel algorithms
7%
Software engineering
6%
Service oriented architecture (SOA)
6%
Productivity
6%
Synchronization
6%
Graph theory
5%
Mathematics
Reactive Systems
49%
Structural Operational Semantics
36%
Domain Model
32%
Equivalence
31%
Coalgebra
30%
Transition Systems
27%
Architecture
24%
Programming Languages
24%
Embedding Problem
23%
Service-oriented
21%
Specification
20%
Bisimulation
19%
Computing
18%
Process Calculi
15%
Weight Function
15%
Design
14%
Framework
12%
Soundness
12%
Linguistics
12%
Service-oriented Architecture
11%
Parallel Simulation
11%
Distributed Algorithms
10%
Decentralized
9%
Completeness
9%
Concurrent
8%
Metamodel
8%
Labeled Transition System
7%
Enriched Category
7%
Flow Time
7%
Java
7%
Multi-agent Systems
7%
Presheaves
7%
Model
7%
Measurable space
7%
Range of data
6%
Nondeterminism
6%
Monads
6%
Constraint Satisfaction Problem
6%
Biological Systems
6%
Libraries
6%
Reachability
6%
Saturation
5%
Characterization
5%
Experimental Results
5%
Relevance
5%
Categorical
5%