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 | 293 | 2009 |
A stochastic semantics for bioambients L Brodo, P Degano, C Priami Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 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 |
Process calculi for biological processes A Bernini, L Brodo, P Degano, M Falaschi, D Hermith Natural Computing 17, 345-373, 2018 | 19 | 2018 |
Open multiparty interaction C Bodei, L Brodo, R Bruni Recent Trends in Algebraic Development Techniques: 21st International …, 2013 | 19 | 2013 |
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 |
A flat process calculus for nested membrane interactions C Bodei, B Linda, R Bruni, C Davide Scientific Annals of Computer Science 24 (1), 91-136, 2014 | 15 | 2014 |
A formal approach to open multiparty interactions C Bodei, L Brodo, R Bruni Theoretical Computer Science 763, 38-65, 2019 | 13 | 2019 |
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 | 12 | 2017 |
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 logical and graphical framework for reaction systems L Brodo, R Bruni, M Falaschi Theoretical Computer Science 875, 1-27, 2021 | 11 | 2021 |
Enhancing reaction systems: a process algebraic approach L Brodo, R Bruni, M Falaschi The Art of Modelling Computational Systems: A Journey from Logic and …, 2019 | 11 | 2019 |
A tool for quantitative analysis of π-calculus processes L Brodo, P Degano, C Priami In Proceedings of PAPM’00. Carleton Scientific, 2000 | 11 | 2000 |
Symbolic semantics for multiparty interactions in the link-calculus L Brodo, C Olarte International Conference on Current Trends in Theory and Practice of …, 2017 | 10 | 2017 |
On the Expressiveness of the π-Calculus and the Mobile Ambients L Brodo International Conference on Algebraic Methodology and Software Technology, 44-59, 2010 | 10 | 2010 |
Static evidences for attack reconstruction C Bodei, L Brodo, R Focardi Programming Languages with Applications to Biology and Security: Essays …, 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 |
Static detection of logic flaws in service-oriented applications C Bodei, L Brodo, R Bruni Foundations and Applications of Security Analysis: Joint Workshop on …, 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 global occurrence counting analysis for brane calculi C Bodei, L Brodo, R Gori, D Hermith, F Levi Logic-Based Program Synthesis and Transformation: 25th International …, 2015 | 8 | 2015 |