Подписаться
Linda Brodo
Linda Brodo
doctor of computer science, Sassari university
Подтвержден адрес электронной почты в домене uniss.it
Название
Процитировано
Процитировано
Год
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
2912009
A stochastic semantics for bioambients
L Brodo, P Degano, C Priami
Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 2007
322007
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
262008
Open multiparty interaction
C Bodei, L Brodo, R Bruni
Recent Trends in Algebraic Development Techniques: 21st International …, 2013
182013
Process calculi for biological processes
A Bernini, L Brodo, P Degano, M Falaschi, D Hermith
Natural Computing 17, 345-373, 2018
172018
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
162010
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
152014
A formal approach to open multiparty interactions
C Bodei, L Brodo, R Bruni
Theoretical Computer Science 763, 38-65, 2019
122019
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
122007
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
112017
A tool for quantitative analysis of π-calculus processes
L Brodo, P Degano, C Priami
In Proceedings of PAPM’00. Carleton Scientific, 2000
112000
A logical and graphical framework for reaction systems
L Brodo, R Bruni, M Falaschi
Theoretical Computer Science 875, 1-27, 2021
102021
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
102019
On the Expressiveness of the π-Calculus and the Mobile Ambients
L Brodo
International Conference on Algebraic Methodology and Software Technology, 44-59, 2010
102010
Symbolic semantics for multiparty interactions in the link-calculus
L Brodo, C Olarte
International Conference on Current Trends in Theory and Practice of …, 2017
92017
Static evidences for attack reconstruction
C Bodei, L Brodo, R Focardi
Programming Languages with Applications to Biology and Security: Essays …, 2015
92015
Visual judgments of kinship: An alternative perspective
L Lorusso, G Brelstaff, L Brodo, A Lagorio, E Grosso
Perception 40 (11), 1282-1289, 2011
92011
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
92009
On the expressiveness of π-calculus for encoding mobile ambients
L Brodo
Mathematical Structures in Computer Science 28 (2), 202-240, 2018
82018
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
82015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20