| * | 2009 |
|---|
| 11 | EE | Chiara Bodei,
Linda Brodo,
Roberto Bruni:
Static Detection of Logic Flaws in Service-Oriented Applications.
ARSPA-WITS 2009: 70-87 |
| 10 | EE | Marcos Ortega,
Linda Brodo,
Manuele Bicego,
Massimo Tistarelli:
On the Quantitative Estimation of Short-Term Aging in Human Faces.
ICIAP 2009: 575-584 |
| 2008 |
|---|
| 9 | EE | Manuele Bicego,
Enrico Grosso,
Andrea Lagorio,
Gavin Brelstaff,
Linda Brodo,
Massimo Tistarelli:
Distinctiveness of faces: A computational approach.
TAP 5(2): (2008) |
| 2007 |
|---|
| 8 | EE | Paolo Baldan,
Andrea Bracciali,
Linda Brodo,
Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems.
AB 2007: 262-276 |
| 7 | EE | Massimo Tistarelli,
Linda Brodo,
Andrea Lagorio,
Manuele Bicego:
Recognition of Human Faces: From Biological to Artificial Vision.
BVAI 2007: 191-213 |
| 6 | EE | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A Stochastic Semantics for BioAmbients.
PaCT 2007: 22-34 |
| 5 | EE | Chiara Bodei,
Pierpaolo Degano,
Han Gao,
Linda Brodo:
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
| 2005 |
|---|
| 4 | EE | Michele Curti,
Davide Prandi,
Linda Brodo:
Formal Executable Descriptions of Biological Systems.
QEST 2005: 2-12 |
| 2003 |
|---|
| 3 | EE | Linda Brodo,
Pierpaolo Degano,
Stephen Gilmore,
Jane Hillston,
Corrado Priami:
Performance Evaluation for Global Computation.
Global Computing 2003: 229-253 |
| 2 | EE | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
Reflecting Mobile Ambients into the p-Calculus.
Global Computing 2003: 25-56 |
| 2000 |
|---|
| 1 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops 2000: 535-550 |
