Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
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
Adjunkt
,
Institut for Matematik og Datalogi
Adjunkt
,
Datalogi
Adjunkt
,
Artificial Intelligence, Cybersecurity, and Programming Languages
https://orcid.org/0000-0002-0243-0480
E-mail
peressotti@imada.sdu.dk
Vis
Fingeraftryk
Netværk
Publikationer
(26)
Aktiviteter
(5)
Lignende profiler
(3)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Publikationer
10
Konferencebidrag i proceedings
6
Tidsskriftartikel
5
Konferenceartikel
4
Working paper
1
Mere
1
Forord/efterskrift
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
Derivatives
Chemical analysis
2017
Behavioural equivalences for timed systems
Brengos, T. &
Peressotti, M.
,
28. nov. 2017
,
41 s.
Publikation
:
Working paper
›
Forskning
Semantics
Loose Graph Simulations
Mansutti, A., Miculan, M. &
Peressotti, M.
,
23. maj 2017
.
Publikation
:
Working paper
›
Forskning
Formal languages
Pattern matching
Polynomials
On the trade-off between labels and weights in quantitative bisimulation
Peressotti, M.
,
18. maj 2017
,
15 s.
Publikation
:
Working paper
›
Forskning
Labels
Information systems