Anna Labella
Anna Labella
professore ordinario informatica, Sapienza unversità di Roma
Geverifieerd e-mailadres voor di.uniroma1.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Rewriting P systems with conditional communication
P Bottoni, A Labella, C Martín-Vide, G PĂun
Formal and Natural Computing, 325-353, 2002
382002
Superposition based on Watson–Crick-like complementarity
P Bottoni, A Labella, V Manca, V Mitrana
Theory of Computing Systems 39 (4), 503-524, 2006
362006
Equational properties of iteration in algebraically complete categories
Z Ésik, A Labella
Theoretical Computer Science 195 (1), 61-89, 1998
331998
A completeness theorem for nondeterministic Kleene algebras
R De Nicola, A Labella
International Symposium on Mathematical Foundations of Computer Science, 536-545, 1994
261994
Models of nondeterministic regular expressions
F Corradini, R De Nicola, A Labella
Journal of Computer and System Sciences 59 (3), 412-449, 1999
241999
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, 326-341, 2008
222008
Categories enriched on two sides
M Kelly, A Labella, V Schmitt, R Street
Journal of Pure and Applied Algebra 168 (1), 53-98, 2002
222002
Le strutture matematiche dei dati
A Bellacicco, A Labella
Feltrinelli, 1979
221979
Reaction systems with influence on environment
P Bottoni, A Labella, G Rozenberg
Journal of Membrane Computing 1 (1), 3-19, 2019
212019
Enriched categorial semantics for distributed calculi
S Kasangian, A Labella
Journal of pure and applied algebra 83 (3), 295-321, 1992
201992
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
182006
Graded modalities and resource bisimulation
F Corradini, R De Nicola, A Labella
International Conference on Foundations of Software Technology and …, 1999
181999
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 (4), 369-386, 2013
162013
Networks of reaction systems
P Bottoni, A Labella, G Rozenberg
International Journal of Foundations of Computer Science 31 (01), 53-71, 2020
152020
Iteration 2-theories
SL Bloom, Z Ésik, A Labella, EG Manes
Applied Categorical Structures 9 (2), 173-216, 2001
152001
Observational trees as models for concurrency
S Kasangian, A Labella
Mathematical Structures in Computer Science 9 (6), 687-718, 1999
151999
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
142002
Accepting networks of evolutionary picture processors
P Bottoni, A Labella, V Mitrana
Fundamenta Informaticae 131 (3-4), 337-349, 2014
132014
Filter position in networks of evolutionary processors does not matter: a direct proof
P Bottoni, A Labella, F Manea, V Mitrana, JM Sempere
International Workshop on DNA-Based Computers, 1-11, 2009
122009
Nondeterministic regular expressions as solutions of equational systems
R De Nicola, A Labella
Theoretical Computer Science 302 (1-3), 179-189, 2003
122003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20