Anna Labella
Anna Labella
professore ordinario informatica, Sapienza unversità di Roma
Verified email at - Homepage
Cited by
Cited by
Reaction systems with influence on environment
P Bottoni, A Labella, G Rozenberg
Journal of Membrane Computing 1, 3-19, 2019
Rewriting P systems with conditional communication
P Bottoni, A Labella, C Martín-Vide, G PĂun
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 325-353, 2002
Superposition based on Watson–Crick-like complementarity
P Bottoni, A Labella, V Manca, V Mitrana
Theory of Computing Systems 39 (4), 503-524, 2006
Networks of reaction systems
P Bottoni, A Labella, G Rozenberg
International Journal of Foundations of Computer Science 31 (01), 53-71, 2020
Equational properties of iteration in algebraically complete categories
Z Ésik, A Labella
Theoretical Computer Science 195 (1), 61-89, 1998
A completeness theorem for nondeterministic Kleene algebras
R De Nicola, A Labella
International Symposium on Mathematical Foundations of Computer Science, 536-545, 1994
Categories enriched on two sides
M Kelly, A Labella, V Schmitt, R Street
Journal of Pure and Applied Algebra 168 (1), 53-98, 2002
Iteration 2-theories
SL Bloom, Z Ésik, A Labella, EG Manes
Applied Categorical Structures 9, 173-216, 2001
Models of nondeterministic regular expressions
F Corradini, R De Nicola, A Labella
Journal of Computer and System Sciences 59 (3), 412-449, 1999
Le strutture matematiche dei dati
A Bellacicco, A Labella
Feltrinelli, 1979
CoPuppet : Collaborative Interaction in Virtual Puppetry
P Bottoni, S Faralli, A Labella, A Malizia, M Pierro, S Ryu
Transdisciplinary Digital Art. Sound, Vision and the New Screen: Digital Art …, 2008
Stories and signs in an e-learning environment for deaf people
P Bottoni, F Borgia, D Buccarella, D Capuano, M De Marsico, A Labella
Universal access in the information society 12, 369-386, 2013
Enriched categorial semantics for distributed calculi
S Kasangian, A Labella
Journal of pure and applied algebra 83 (3), 295-321, 1992
MADCOW: a visual interface for annotating web pages
P Bottoni, S Levialdi, A Labella, E Panizzi, R Trinchese, L Gigli
Proceedings of the working conference on Advanced visual interfaces, 314-317, 2006
An equational axiomatization of bisimulation over regular expressions
F Corradini, R De Nicola, A Labella
Journal of Logic and Computation 12 (2), 301-320, 2002
Graded modalities and resource bisimulation
F Corradini, R De Nicola, A Labella
Foundations of Software Technology and Theoretical Computer Science: 19th …, 1999
DELE: A deaf-centered E-learning environment
P Bottoni, D Capuano, M De Marsico, A Labella, S Levialdi
Chiang Mai J. Sci 38 (2011), 31-57, 2011
Observational trees as models for concurrency
S Kasangian, A Labella
Mathematical Structures in Computer Science 9 (6), 687-718, 1999
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
P Bottoni, A Labella, F Manea, V Mitrana, I Petre, JM Sempere
Natural Computing 10, 429-445, 2011
Accepting networks of evolutionary picture processors
P Bottoni, A Labella, V Mitrana
Fundamenta Informaticae 131 (3-4), 337-349, 2014
The system can't perform the operation now. Try again later.
Articles 1–20