|
Search the dblp DataBase
Linda Brodo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
Performance Evaluation for Global Computation. [Citation Graph (0, 0)][DBLP] Global Computing, 2003, pp:229-253 [Conf]
- Linda Brodo, Pierpaolo Degano, Corrado Priami
Reflecting Mobile Ambients into the p-Calculus. [Citation Graph (0, 0)][DBLP] Global Computing, 2003, pp:25-56 [Conf]
- Linda Brodo, Pierpaolo Degano, Corrado Priami
A tool for quantitative analysis of calculus processes. [Citation Graph (0, 0)][DBLP] ICALP Satellite Workshops, 2000, pp:535-550 [Conf]
- Michele Curti, Davide Prandi, Linda Brodo
Formal Executable Descriptions of Biological Systems. [Citation Graph (0, 0)][DBLP] QEST, 2005, pp:2-12 [Conf]
- Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego
Recognition of Human Faces: From Biological to Artificial Vision. [Citation Graph (0, 0)][DBLP] BVAI, 2007, pp:191-213 [Conf]
- Linda Brodo, Pierpaolo Degano, Corrado Priami
A Stochastic Semantics for BioAmbients. [Citation Graph (0, 0)][DBLP] PaCT, 2007, pp:22-34 [Conf]
- Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems. [Citation Graph (0, 0)][DBLP] AB, 2007, pp:262-276 [Conf]
On the Quantitative Estimation of Short-Term Aging in Human Faces. [Citation Graph (, )][DBLP]
Static Detection of Logic Flaws in Service-Oriented Applications. [Citation Graph (, )][DBLP]
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|