Pietro Cenciarelli

18 papers A 1B 3Journal 5Unranked 8

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2019	J	`jnl`	Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2018	—	`conf`	Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
2018	J	`jnl`	Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2016	J	`jnl`	A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2016	J	`jnl`	Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2009	B	`conf`	Depletable Channels: Dynamics and Behaviour. FCT Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2008	B	`conf`	Network Applications of Graph Bisimulation. ICGT Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
2007	A	`conf`	The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
2004	—	`conf`	Ambient Graph Rewriting. WRLA Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
2004	—	`conf`	Rational Unification in 28 Characters. TERMGRAPH Pietro Cenciarelli, Alessandro Tiberi
2002	B	`conf`	Configuration Theories. CSL Pietro Cenciarelli
1999	—	`conf`	An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1999	—	`conf`	Towards a Modular Denotational Semantics of Java. ECOOP Workshops Pietro Cenciarelli
1998	—	`conf`	An Algebraic View of Program Composition. AMAST Pietro Cenciarelli
1997	—	`conf`	From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1997	—	`conf`	Verifying a compiler optimization for Multi-Threaded Java. WADT Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
1996	—	`—`	Computational applications of calculi based on monads. Pietro Cenciarelli