CENCIARELLI, Pietro

CENCIARELLI, Pietro  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.024 secondi).
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 2005 Cenciarelli, Pietro; Tiberi, A.
Ambient Graph Rewriting 2004 Cenciarelli, Pietro; I., Talamo; A., Tiberi
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