C. Priami

A mathematical theory of programming languages and their implementations

C. Priami, 1998 .

Performance evaluation via abstract machines

C. Priami, 1998 .

Performance consideration on the WAP secure transport layer

C. Priami, L. Brodo, 2001 .

"Computational Methods in Systems Biology" for BioSystems

C. Priami, 2004 .

A formal paradigm for multiview distributed debugging environments

C. Priami, D. Yankelevich, 1993 .

Enhanced operational semantics for concurrency, PhD thesis

C. Priami, 1996 .

Observing Concurrency via Proved Trees

C. Priami, P. Degano, 1992 .

An Automatic Translation of SBML into Beta-Binders

F. Ciocchetta, C. Priami, P. Quaglia, 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Logical analisys of biological systems

C. Priami, R. Mardare, 2005 .

"Computational Methods in Systems Biology" for Theoretical Computer Science

C. Priami, 2004 .