Linda Brodo
Linda Brodo
doctor of computer science, Sassari university
Verified email at
Cited by
Cited by
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
A stochastic semantics for bioambients
L Brodo, P Degano, C Priami
International Conference on Parallel Computing Technologies, 22-34, 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
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
Open multiparty interaction
C Bodei, L Brodo, R Bruni
International Workshop on Algebraic Development Techniques, 1-23, 2012
Process calculi for biological processes
A Bernini, L Brodo, P Degano, M Falaschi, D Hermith
Natural Computing 17 (2), 345-373, 2018
A flat process calculus for nested membrane interactions
C Bodei, B Linda, R Bruni, C Davide
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
A tool for quantitative analysis of π-calculus processes
L Brodo, P Degano, C Priami
In Proceedings of PAPM’00. Carleton Scientific, 2000
A formal approach to open multiparty interactions
C Bodei, L Brodo, R Bruni
Theoretical Computer Science 763, 38-65, 2019
Static evidences for attack reconstruction
C Bodei, L Brodo, R Focardi
Programming Languages with Applications to Biology and Security, 162-182, 2015
Visual judgments of kinship: An alternative perspective
L Lorusso, G Brelstaff, L Brodo, A Lagorio, E Grosso
Perception 40 (11), 1282-1289, 2011
On the expressiveness of the π-calculus and the mobile ambients
L Brodo
International Conference on Algebraic Methodology and Software Technology, 44-59, 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
On the expressiveness of π-calculus for encoding mobile ambients
L Brodo
Mathematical Structures in Computer Science 28 (2), 202-240, 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
Symbolic semantics for multiparty interactions in the link-calculus
L Brodo, C Olarte
International Conference on Current Trends in Theory and Practice of …, 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
Performance evaluation for global computation
L Brodo, P Degano, S Gilmore, J Hillston, C Priami
International Workshop on Global Computing, 229-253, 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
The system can't perform the operation now. Try again later.
Articles 1–20