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.
Publikationer
20
Konferencebidrag i proceedings
9
Tidsskriftartikel
5
Konferenceartikel
4
Working paper
2
Mere
1
Forord/efterskrift
1
Konferenceabstrakt til konference
Publikationer pr. år
Publikationer pr. år
4 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filtrer
Working paper
Søgeresultater
2018
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
Kokke, W.
,
Montesi, F.
&
Peressotti, M.
,
6. nov. 2018
.
Publikation
:
Working paper
›
Forskning
Semantics
100%
Derivatives
40%
Chemical analysis
31%
2017
Behavioural equivalences for timed systems
Brengos, T.
&
Peressotti, M.
,
28. nov. 2017
,
41 s.
Publikation
:
Working paper
›
Forskning
Semantics
100%
Loose Graph Simulations
Mansutti, A.
,
Miculan, M.
&
Peressotti, M.
,
23. maj 2017
.
Publikation
:
Working paper
›
Forskning
Formal languages
100%
Pattern matching
91%
Polynomials
20%
On the trade-off between labels and weights in quantitative bisimulation
Peressotti, M.
,
18. maj 2017
,
15 s.
Publikation
:
Working paper
›
Forskning
Labels
100%
Information systems
63%