![]() | ![]() |
| 2011 | ||
|---|---|---|
| 15 | Chiara Bodei, Linda Brodo: Brane Calculi Systems: A Static Preview of their Possible Behaviour CoRR abs/1108.3429: (2011) | |
| 2010 | ||
| 14 | Linda Brodo: On the Expressiveness of the pi-Calculus and the Mobile Ambients. AMAST 2010: 44-59 | |
| 13 | Javier Ortega-Garcia, Julian Fiérrez, Fernando Alonso-Fernandez, Javier Galbally, Manuel R. Freire, Joaquin Gonzalez-Rodriguez, Carmen García-Mateo, José Luis Alba-Castro, Elisardo González-Agulla, Enrique Otero Muras, Sonia Garcia-Salicetti, Lorène Allano, Van-Bao Ly, Bernadette Dorizzi, Josef Kittler, Thirimachos Bourlai, Norman Poh, Farzin Deravi, Ming W. R. Ng, Michael C. Fairhurst, Jean Hennebert, Andreas Humm, Massimo Tistarelli, Linda Brodo, Jonas Richiardi, Andrzej Drygajlo, Harald Ganster, Federico Sukno, Sri-Kaushik Pavani, Alejandro F. Frangi, Lale Akarun, Arman Savran: The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). IEEE Trans. Pattern Anal. Mach. Intell. 32(6): 1097-1111 (2010) | |
| 12 | Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010) | |
| 2009 | ||
| 11 | Chiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87 | |
| 10 | 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 | Manuele Bicego, Enrico Grosso, Andrea Lagorio, Gavin Brelstaff, Linda Brodo, Massimo Tistarelli: Distinctiveness of faces: A computational approach. TAP 5(2): (2008) | |
| 2007 | ||
| 8 | Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276 | |
| 7 | Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego: Recognition of Human Faces: From Biological to Artificial Vision. BVAI 2007: 191-213 | |
| 6 | Linda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34 | |
| 5 | 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 | Michele Curti, Davide Prandi, Linda Brodo: Formal Executable Descriptions of Biological Systems. QEST 2005: 2-12 | |
| 2003 | ||
| 3 | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253 | |
| 2 | 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 | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page