Pietro Cenciarelli

According to our database, Pietro Cenciarelli authored at least 17 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs.

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo

Algorithmica, 2019

Depletable channels: dynamics, behaviour, and efficiency in network design.

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo

Acta Informatica, 2019

2018

Inefficiencies in network models: A graph-theoretic perspective.

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo

Inf. Process. Lett., 2018

Graph Theoretic Detection of Inefficiencies in Network Models.

Ivano Salvo, Daniele Gorla, Pietro Cenciarelli

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2016

Graph Theoretic Investigations on Inefficiencies in Network Models.

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo

CoRR, 2016

2009

Depletable Channels: Dynamics and Behaviour.

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008

Network Applications of Graph Bisimulation.

Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

The Java Memory Model: Operationally, Denotationally, Axiomatically.

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio

Proceedings of the Programming Languages and Systems, 2007

2004

Ambient Graph Rewriting.

Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Rational Unification in 28 Characters.

Pietro Cenciarelli, Alessandro Tiberi

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2002

Configuration Theories.

Pietro Cenciarelli

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Formal Syntax and Semantics of Java, 1999

Towards a Modular Denotational Semantics of Java.

Pietro Cenciarelli

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

An Algebraic View of Program Composition.

Pietro Cenciarelli

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Verifying a compiler optimization for Multi-Threaded Java.

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Computational applications of calculi based on monads.

Pietro Cenciarelli

PhD thesis, 1996