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
(40)
Activities
(5)
Projects
(1)
Press / Media
(1)
Prizes
(2)
Datasets
(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
Acoustic waves
15%
Application programming interfaces (API)
37%
Architectural design
11%
Biological systems
16%
Chemical analysis
35%
Chemical reactions
9%
Communication
20%
Computability and decidability
26%
Computer programming
41%
Computer programming languages
90%
Concretes
6%
Constraint satisfaction problems
18%
Containers
18%
Data storage equipment
23%
Derivatives
10%
Embeddings (Algorithms)
31%
Explosions
18%
Flow control
9%
Formal languages
48%
Fruits
11%
Functional programming
34%
Information systems
10%
Integration testing
28%
Interfaces (computer)
18%
Labels
41%
Lenses
9%
Linear equations
21%
Linguistics
9%
Linked data
47%
Merging
6%
Message passing
20%
Model checking
6%
Molecules
19%
Multi agent systems
23%
Network protocols
13%
Object oriented programming
11%
Parallel algorithms
6%
Pattern matching
44%
Polynomials
10%
Probability distributions
9%
Recursive functions
29%
Semantics
100%
Software engineering
5%
Specifications
25%
Stochastic systems
11%
Synchronization
10%
Syntactics
6%
Systems analysis
14%
Testing
10%
Theorem proving
25%
Mathematics
Architecture
21%
Bisimulation
16%
Characterization
8%
Coalgebra
26%
Compilation
8%
Completeness
13%
Computing
16%
Concurrent
7%
Confidence
6%
Constraint Satisfaction Problem
5%
Correctness
6%
Decentralized
16%
Design
12%
Distributed Algorithms
8%
Distributed Systems
7%
Domain Model
28%
Embedding Problem
20%
Enriched Category
6%
Equivalence
27%
Flow Time
6%
Framework
11%
Java
6%
Labeled Transition System
6%
Language
17%
Linguistics
10%
Measurable space
6%
Metamodel
7%
Model
6%
Monads
5%
Multi-agent Systems
6%
Nondeterminism
5%
Paradigm
6%
Parallel Simulation
10%
Presheaves
6%
Process Calculi
13%
Programming
18%
Programming Languages
28%
Proof by induction
6%
Range of data
6%
Reactive Systems
42%
Service-oriented
18%
Service-oriented Architecture
10%
Simplification
6%
Soundness
11%
Specification
17%
Structural Operational Semantics
31%
Transition Systems
23%
Turing
7%
Weight Function
13%
