The multiscenario multienvironment biosecure multimodal database (bmdb) J Ortega-Garcia, J Fierrez, F Alonso-Fernandez, J Galbally, MR Freire, ... IEEE Transactions on Pattern Analysis and Machine Intelligence 32 (6), 1097-1111, 2009 | 268 | 2009 |

A stochastic semantics for bioambients L Brodo, P Degano, C Priami International Conference on Parallel Computing Technologies, 22-34, 2007 | 32 | 2007 |

Distinctiveness of faces: a computational approach M Bicego, E Grosso, A Lagorio, G Brelstaff, L Brodo, M Tistarelli ACM Transactions on Applied Perception (TAP) 5 (2), 1-18, 2008 | 27 | 2008 |

Detecting and preventing type flaws at static time C Bodei, L Brodo, P Degano, H Gao Journal of Computer Security 18 (2), 229-264, 2010 | 16 | 2010 |

Open multiparty interaction C Bodei, L Brodo, R Bruni International Workshop on Algebraic Development Techniques, 1-23, 2012 | 15 | 2012 |

Process calculi for biological processes A Bernini, L Brodo, P Degano, M Falaschi, D Hermith Natural Computing 17 (2), 345-373, 2018 | 14 | 2018 |

A flat process calculus for nested membrane interactions C Bodei, B Linda, R Bruni, C Davide | 14 | 2014 |

Detecting and preventing type flaws: a control flow analysis with tags C Bodei, P Degano, H Gao, L Brodo Electronic Notes in Theoretical Computer Science 194 (1), 3-22, 2007 | 12 | 2007 |

A tool for quantitative analysis of π-calculus processes L Brodo, P Degano, C Priami In Proceedings of PAPM’00. Carleton Scientific, 2000 | 11 | 2000 |

A formal approach to open multiparty interactions C Bodei, L Brodo, R Bruni Theoretical Computer Science 763, 38-65, 2019 | 9 | 2019 |

Static evidences for attack reconstruction C Bodei, L Brodo, R Focardi Programming Languages with Applications to Biology and Security, 162-182, 2015 | 9 | 2015 |

Visual judgments of kinship: An alternative perspective L Lorusso, G Brelstaff, L Brodo, A Lagorio, E Grosso Perception 40 (11), 1282-1289, 2011 | 9 | 2011 |

On the expressiveness of the π-calculus and the mobile ambients L Brodo International Conference on Algebraic Methodology and Software Technology, 44-59, 2010 | 9 | 2010 |

Static detection of logic flaws in service-oriented applications C Bodei, L Brodo, R Bruni Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2009 | 9 | 2009 |

On the expressiveness of π-calculus for encoding mobile ambients L Brodo Mathematical Structures in Computer Science 28 (2), 202-240, 2018 | 8 | 2018 |

A static analysis for Brane Calculi providing global occurrence counting information C Bodei, L Brodo, R Gori, F Levi, A Bernini, D Hermith Theoretical Computer Science 696, 11-51, 2017 | 8 | 2017 |

Symbolic semantics for multiparty interactions in the link-calculus L Brodo, C Olarte International Conference on Current Trends in Theory and Practice of …, 2017 | 8 | 2017 |

Measuring changes in face appearance through aging M Ortega, L Brodo, M Bicego, M Tistarelli 2009 IEEE Computer Society Conference on Computer Vision and Pattern …, 2009 | 8 | 2009 |

Performance evaluation for global computation L Brodo, P Degano, S Gilmore, J Hillston, C Priami International Workshop on Global Computing, 229-253, 2003 | 8 | 2003 |

On the quantitative estimation of short-term aging in human faces M Ortega, L Brodo, M Bicego, M Tistarelli International Conference on Image Analysis and Processing, 575-584, 2009 | 6 | 2009 |