Pietro Cenciarelli

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 6

Top Venues

CoRR

ICTCS

Inf. Process. Lett.

Acta Informatica

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica 81 (4) (2019)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica 56 (5) (2019)
Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS (2018)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. 131 (2018)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR (2016)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR (2016)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable Channels: Dynamics and Behaviour. FCT (2009)
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
Network Applications of Graph Bisimulation. ICGT (2008)
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP (2007)
Pietro Cenciarelli, Alessandro Tiberi
Rational Unification in 28 Characters. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
Ambient Graph Rewriting. WRLA (2004)
Pietro Cenciarelli
Configuration Theories. CSL (2002)
Pietro Cenciarelli
Towards a Modular Denotational Semantics of Java. ECOOP Workshops (1999)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java (1999)
Pietro Cenciarelli
An Algebraic View of Program Composition. AMAST (1998)
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
Verifying a compiler optimization for Multi-Threaded Java. WADT (1997)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST (1997)

Pietro Cenciarelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pietro Cenciarelli