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.