|
|
Selected papers
|
-
Configuration Structures and Logical
Equivalence
Pietro Cenciarelli. Submitted.
-
Context-free Synchronising Graphs
Pietro Cenciarelli and Alessandro Tiberi. Submitted.
-
The Synchronised Hyperedge Environment
I. Talamo, P. Cenciarelli and Alessandro Tiberi. Submitted.
-
The Java Memory Model: Operationally,
Denotationally, Axiomatically
Pietro Cenciarelli, Alexander Knapp and Eleonora Sibilio.
Programming
Languages and Systems (ESOP 2007), LNCS 4421, 331-346. 2007.
-
The methane sink associated to soils of natural and agricultural ecosystems in Italy
S. Castaldi, M. Costantini, P. Cenciarelli, P. Ciccioli and R. Valentini.
Chemosphere, vol. 66, page 723-729. 2007.
Also available at
CLIM-FO-L ELECTRONIC JOURNAL ON CLIMATE CHANGE AND FORESTRY
No. 08/2006
-
Quantification of the Methane
Sink in Italian Soils: a GIS Based Modelling Approach
S. Castaldi, M. Costantini, P. Cenciarelli, P. Ciccioli and R. Valentini.
Presented in poster format at the
XV Conference of the Italian Society of Ecology, Turin (Italy) Sept 12-14,
2005.
-
Ambient Graph Rewriting
Pietro Cenciarelli, Ivano Talamo and Alessandro Tiberi
Electronic Notes in Theoretical Computer Science, Elsevier
Volume 117 (January 2005), N. Martì-Oliet editor,
pp. 335-351
-
Rational Unification in 28 Characters
Pietro Cenciarelli and Alessandro Tiberi
Electronic Notes in Theoretical Computer Science, Elsevier
Volume 127, Issue 5 (2005),
pp. 3-20
-
Configuration Theories
Pietro Cenciarelli
Proceedings of CSL 2002, J. Bradfield editor,
Springer LNCS 2471, pp.200-215
-
An Algebraic View of Program Composition
Pietro Cenciarelli
Proceedings of 7th International Conference on
Algebraic Methodology and Software Technology
Armando Haeberer editor, Springer LNCS 1548, 1999
-
An Event-Based Structural Operational
Semantics of Multi-Threaded Java
P. Cenciarelli, A. Knapp, B. Reus and M. Wirsing
in Formal Syntax and Semantics of Java,
J. Alves-Foss editor, Springer LNCS 1523, 1998
-
From Sequential to Multi-Threaded Java:
an Event-Based Operational Semantics
P. Cenciarelli, A. Knapp, B. Reus and M. Wirsing
Proceedings of 6th International Conference on
Algebraic Methodology and Software Technology
Michael Johnson editor, Springer LNCS 1349, 1997
[back to homepage]