Publications
Journals
Linda Brodo, Carlos Olarte
A Constraint-based Language for Multiparty Interactions
(2020) Electronic Notes in Theoretical Computer Science Volume 351, pp 25-50
Bodei, C., Brodo, L. , Bruni, R.
The link-calculus for Open Multiparty Interactions
Information and Computation, In Press
Brodo, L., Olarte, C.
Verification techniques for a network algebra
(2020) Fundamenta Informaticae, Volume 172 (1), pp 1-38
Bodei, C., Brodo, L. , Bruni, R.
A Formal Approach to Open
Multiparty Interactions
(2019) Theoretical Computer Science, Volume 763, pp 38-65
Brodo, L., Grosso, E.
On the complexity of visual judgement of kinship.
(2019) i-Perception, Volume 10, n.3, pp 1–19.
Bernini, A., Brodo, L., Degano, P., Falaschi, M., Hermith,
D.
Process calculi for biological processes.
(2018) Natural
Computing, Volume 17, n. 2, pp 345-373
Bodei, C., Brodo, L., Gori, R., Levi, F. , Bernini, A. , Hermith,
D.
A Static Analysis for Brane Calculi providing Global
Occurrence Counting Information
(2017) Theoretical Computer
Science, Volume 696, pp. 11-51.
Brodo, L.
On the expressiveness of pi-calculus for encoding
mobile ambients
(2018) Mathematical Structures in Computer
Science, 28(2), pp. 202-240.
Brodo, L., Brugnolo, S.
Modernity degraded of the peripheries:
An analysis of "Berlinguer, ti voglio bene"
[La
modernita' degradata delle periferie: un'analisi di "Berlinguer
ti voglio bene"]
(2014) Intersezioni, 34 (3), pp. 473-495.
Well, this is not a Computer Science publication. Honestly, I
had a lot of fun in writing it!
Bodei, C., Brodo, L., Bruni, R., Chiarugi, D.
A flat process
calculus for nested membrane interactions.
(2014) Scientific
Annals of Computer Science
Volume 24, Issue 1, 2014, Pages
91-136
Bodei,C., Brodo, L., Chiarugi, D.
Control Flow Analysis of
Generalised Boolean Networks.
(2012) Electr. Notes Theor. Comput. Sci.
284: 3-22
Lorusso, L., Brelstaff, G., Brodo, L., Lagorio, A., Grosso, E.
Visual judgments of kinship: An alternative perspective
(2011)
Perception, 40 (11), pp. 1282-1289.
Bodei, C., Brodo, L., Degano, P., Gao, H.
Detecting and
preventing type flaws at static time
(2010) Journal of Computer
Security, 18 (2), pp. 229-264.
Ortega-Garcia, J., Fierrez, J., Alonso-Fernandez, F., Galbally,
J., Freire, M.R., Gonzalez-Rodriguez, J., Garcia-Mateo, C.,
Alba-Castro, J.-L., Gonzalez-Agulla, E., Otero-Muras, E.,
Garcia-Salicetti, S., Allano, L., Ly-Van, B., Dorizzi, B., Kittler,
J., Bourlai, T., Poh, N., Deravi, F., Ng, M.N.R., Fairhurst, M.,
Hennebert, J., Humm, A., Tistarelli, M., Brodo, L., Richiardi, J.,
Drygajlo, A., Ganster, H., Sukno, F.M., Pavani, S.-K., Frangi, A.,
Akarun, L., Savran, A.
The multiscenario multienvironment
biosecure multimodal database (BMDB)
(2010) IEEE Transactions on
Pattern Analysis and Machine Intelligence, 32 (6), art. no. 4815263,
pp. 1097-1111.
Bicego, M., Grosso, E., Lagorio, A., Brelstaff, G., Brodo, L.,
Tistarelli, M.
Distinctiveness of faces: A computational
approach
(2008) ACM Transactions on Applied Perception, 5 (2),
pp. 11:1-11:18.
Conference papers
Brodo L., Bruni R., Falaschi M.
Enhancing Reaction Systems: A Process Algebraic Approach
(2019) Lecture Notes in
Computer Science,
volume 11769 LNCS, pp. 68-85.
Brodo, L., Olarte, C.
Symbolic semantics for multiparty
interactions in the link-calculus
(2017) Lecture Notes in
Computer Science
(including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics),
volume 10139 LNCS, pp. 62-75.
Bodei, C., Brodo, L., Focardi, R.
Static evidences for attack
reconstruction
(2015) Lecture Notes in Computer Science
(including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics),
volume 9465, pp. 162-182.
Bodei,C., Brodo, L., Gori, R., Hermith, D., Levi, F.
A global
occurrence counting analysis for Brane Calculi
(2015) Lecture
Notes in Computer Science
(including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
9527, 2015, Pages 179-200
Bodei, C., Brodo, L., Bruni, R.
Open multiparty interaction
(2013) Lecture Notes in Computer Science
(including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics),
volume 7841 LNCS, pp. 1-2
Brodo, L.
On the expressiveness of the pi-calculus and the
mobile ambients
(2011) Lecture Notes in Computer Science
volume
6486 LNCS, pp. 44-59
Ortega, M., Brodo, L., Bicego, M., Tistarelli, M.
On the
quantitative estimation of short-term aging in human faces
(2009)
Lecture Notes in Computer Science, 5716 LNCS, pp. 575-584.
Ortega, M., Brodo, L., Bicego, M., Tistarelli, M.
Measuring
changes in face appearance through aging
(2009) IEEE Conference
on Computer Vision and Pattern Recognition, CVPR 2009,
art. no.
5204302, pp. 107-113.
Bodei, C., Brodo, L., Bruni, R.
Static detection of logic
flaws in service-oriented applications
(2009) Lecture Notes in
Computer Science, 5511 LNCS, pp. 70-87.
Brodo, L., Degano, P., Priami, C.
A stochastic semantics for
BioAmbients
(2007) Lecture Notes in Computer Science 4671 LNCS,
pp. 22-34.
Baldan, P., Bracciali, A., Brodo, L., Bruni, R.
Deducing
interactions in partially unspecified biological systems
(2007)
Lecture Notes in Computer Science, 4545 LNCS, pp. 262-276.
Tistarelli, M., Brodo, L., Lagorio, A., Bicego, M.
Recognition
of human faces: From biological to artificial vision
(2007)
Lecture Notes in Computer Science, 4729 LNCS, pp. 191-213.
Bodei, C., Degano, P., Gao, H., Brodo, L.
Detecting and
Preventing Type flaws: a Control Flow Analysis with Tags.
(2007)
Electronic Notes in Theoretical Computer Science, 194 (1), pp. 3-22.
Brodo, L., Bicego, M., Brelstaff, G., Lagorio, A., Tistarelli,
M., Grosso, E.
Comparing faces: A computational and perceptual
study.
(2006) VISAPP 2006 - Proceedings of the 1st International
Conference on Computer Vision Theory and Applications, 2, pp.
188-191.
Curti, M., Degano, P., Prandi, D., Priami, C., Quaglia, P.,
Brodo, L.
Formal executable descriptions of biological
systems
(2005) QEST 2005 - Proceedings Second International
Conference on the Quantitative Evaluation of SysTems, 2005, art. no.
1595776, pp. 2-11.
Brodo, L., Degano, P., Priami, C.
Reflecting mobile ambients
into the π-calculus
(2003) Lecture Notes in Computer Science,
2874, pp. 25-56.
Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami,
C.
Performance evaluation for global computation
(2003)
Lecture Notes in Computer Science 2874, pp. 229-253.
Brodo, L., Degano,P., Priami C.
A tool for quantitative
analysis of calculus processes.
(2000) ICALP Satellite Workshops
535-550