CENCIARELLI, Pietro
CENCIARELLI, Pietro
DIPARTIMENTO DI INFORMATICA
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs
2019 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
Ambient Graph Rewriting
2004 Cenciarelli, Pietro; I., Talamo; A., Tiberi
Ambient Graph rewriting
2005 Cenciarelli, Pietro; Tiberi, A.
An Algebraic View of Program Composition
1999 Cenciarelli, Pietro
An Event-Based Structural Operational Semantics of Multi-Threaded Java
1999 Cenciarelli, Pietro; Alexander, Knapp; Bernhard, Reus; Martin, Wirsing
Configuration Theories
2002 Cenciarelli, Pietro
Depletable Channels: Dynamics and Behaviour
2009 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
Depletable channels: dynamics, behaviour, and efficiency in network design
2018 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
Event Structures for Java
2000 Cenciarelli, Pietro
From Sequential to Multi-Threaded Java: an Event-Based Operational Semantics
1997 Cenciarelli, Pietro; Alexander, Knapp; Reuss, Bernhard; Wirsing, Martin
Graph theoretic detection of inefficiencies in network models
2018 Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro
Inefficiencies in network models: a graph-theoretic perspective
2018 Cenciarelli, P.; Gorla, D.; Salvo, I.
Network Applications of Graph Bisimulation
2008 Cenciarelli, Pietro; Gorla, Daniele; E., Tuosto
Rational unification in 28 characters
2005 Cenciarelli, Pietro; Tiberi, A.
The Java Memory Model: Operationally, Denotationally, Axiomatically
2007 Cenciarelli, Pietro; Alexander, Knapp; Eleonora, Sibilio
The methane sink associated to soils of natural and agricultural ecosystems in Italy
2007 Simona, Castaldi; Cenciarelli, Pietro; P., Ciccioli; Massimo, Costantini; Riccardo, Valentini
Towards a Modular Denotational Semantics of Java
1999 Cenciarelli, Pietro
Verifying a compiler optimization for Multi-Threaded Java
1998 Cenciarelli, Pietro; A., Knapp; B., Reuss; M., Wirsing
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs | 2019 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
| Ambient Graph Rewriting | 2004 | Cenciarelli, Pietro; I., Talamo; A., Tiberi | |
| Ambient Graph rewriting | 2005 | Cenciarelli, Pietro; Tiberi, A. | |
| An Algebraic View of Program Composition | 1999 | Cenciarelli, Pietro | |
| An Event-Based Structural Operational Semantics of Multi-Threaded Java | 1999 | Cenciarelli, Pietro; Alexander, Knapp; Bernhard, Reus; Martin, Wirsing | |
| Configuration Theories | 2002 | Cenciarelli, Pietro | |
| Depletable Channels: Dynamics and Behaviour | 2009 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
| Depletable channels: dynamics, behaviour, and efficiency in network design | 2018 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
| Event Structures for Java | 2000 | Cenciarelli, Pietro | |
| From Sequential to Multi-Threaded Java: an Event-Based Operational Semantics | 1997 | Cenciarelli, Pietro; Alexander, Knapp; Reuss, Bernhard; Wirsing, Martin | |
| Graph theoretic detection of inefficiencies in network models | 2018 | Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro | |
| Inefficiencies in network models: a graph-theoretic perspective | 2018 | Cenciarelli, P.; Gorla, D.; Salvo, I. | |
| Network Applications of Graph Bisimulation | 2008 | Cenciarelli, Pietro; Gorla, Daniele; E., Tuosto | |
| Rational unification in 28 characters | 2005 | Cenciarelli, Pietro; Tiberi, A. | |
| The Java Memory Model: Operationally, Denotationally, Axiomatically | 2007 | Cenciarelli, Pietro; Alexander, Knapp; Eleonora, Sibilio | |
| The methane sink associated to soils of natural and agricultural ecosystems in Italy | 2007 | Simona, Castaldi; Cenciarelli, Pietro; P., Ciccioli; Massimo, Costantini; Riccardo, Valentini | |
| Towards a Modular Denotational Semantics of Java | 1999 | Cenciarelli, Pietro | |
| Verifying a compiler optimization for Multi-Threaded Java | 1998 | Cenciarelli, Pietro; A., Knapp; B., Reuss; M., Wirsing |