Progetti e attività di Labella, Anna
HCM EXPRESS CEE 1994-1997
TOSCA, task: Categorie arricchite (maintainer) 2000
Faculty project
Titolo: 'Metodi per la specifica di sistemi basati su Web' Cod.: C26F014572 2001-2002
Faculty conference 'Suonala ancora Hal!' (May 2003)
University project
Titolo: 'Analisi e modelli di sistemi reattivi e multimediali' Cod.: C26A032984 2003-2004
Selected Pubblications
Labella, A. and Pettorossi, A.:
A first step for analyzing the semantics of parallelism in
computations using a categorical approach.
J. of Symb. Logic, 49 , (1984) 695-696
Labella, A. and Pettorossi, A.:
Categorical models for handshaking communications.
Fund. Inf. , VIII , (1985) 321-357.
Labella, A. and Pettorossi, A.:
Categories for modelling communicating processes.
Comp. and Art. Intell., 6, (1987) 279-296.
Kasangian,S., Labella,A.:
The topos of continuous trees as a model for distributed calculi.
J. of Symb. Logic , 55, (1990) 410
Kasangian,S., Labella,A.:
Enriched Categorical Semantics for Distributed Calculi.
J. of Pure and Applied Algebra, 83, (1992) 295-321.
Kasangian,S., Labella,A., Murphy,D. :
Process Synchronization as fusion.
Applied Categorical Structures, 4, (1996) 403-21.
\'Esik,Z., Labella,A.:
Equational Properties of Iteration in Algebraically Complete Categories. Th. Comp. Science, 195, (1998) 61-89
Bottoni,P., Labella,A., Paun,G.:
Chomsky Hierarchies of Pattern Languages.
Annals of the Bucharest University. Math.-Inform. Series , 47 , (1998) 27-34.
Bottoni,P., Labella,A., Mussio,P., Paun,G.:
Pattern Control on Derivation in Context-Free Rewriting.
Automata, Languages and Combinatorics , 3 , (1998) 1-26.
Kasangian,S., Labella,A.:
Observational trees as models for concurrency.
Math. Struct in Comp. Science , 9 , (1999) 687-718.
Corradini,F., De Nicola,R., Labella,A.:
Models of nondeterministic regular expressions.
J. of Comp. Sys. Science, 59 , (1999) 412-449.
Corradini,F., De Nicola, R., Labella,A.:
A finite axiomatization of nondeterministic regular expressions,
Theor. Informatics and Appl. 33 (1999) 447-465.
Bloom,S.L., \'Esik,Z., Labella, A., Manes,E.G.: Iteration
2-theories, Applied Categorical Structures 9 (2001), 173-216.
Kelly,M., Labella,A., Schmitt,V., Street,R.:
Categories enriched on two sides. J. Pure Appl. Algebra
168 (1) (2002), 53--98.
Corradini,F., De Nicola, R., Labella,A.:
An Equational Axiomatization of Bisimulation over Regular
Expressions, J. of Logic and Computation (2) (2002), 89-108
Labella,A.: Categories with sums and right distributive
tensor product, J. Pure Appl. Algebra, 178 (3)(2003), 273--296
De Nicola,R., Labella,A.:
Nondeterministic regular expressions as solutions of equational systems, Theor. Comp. Science, 302, (2003) 179-189.
Bottoni, P., Labella , A., Manca, V., Mitrana, V.:
Superposition Based on Watson-Crick-like Complementarity, Theory Comput. Systems, OF1–OF22, 37 (2004) DOI: 10.1007/s00224-004-1175-1.
Bottoni, P., Labella , A.: Pointed pictures , J. of Visual Language
and Computing, (2007), doi:10.1016/j.jvlc.2007.08.003
Labella,A. and Scozzafava, C.:
Music and algorithms: a historical perspective., Studi musicali(2003), 3-50.