Attività di ricerca di Labella, Anna

Algebraic models for parallel and distributed computations.
Iteration theories.
Enriched category theory.
Language theory with particular respect to applications in music.
Multimodal interfaces

Selected Pubblications

Bottoni, P., Faralli, S., Labella , A., Pierro, M., Ryu,
S.: CoPuppet: Collaborative Interaction in Virtual Puppetry. DAW'07
volume of Springer CCIS (Communications in Computer and
Communication Science) series.

Bottoni, P., Labella , A.: Pointed pictures , J. of Visual Language
and Computing, (2007), doi:10.1016/j.jvlc.2007.08.003

Bottoni, P., Caporali, R., Capuano, D., Faralli, S., Labella , A., Pierro, M.: Use of a dual-core DSP in a low-cost, touch-screen based
musical instrument
Proc. NIME'07, 294-5.

Bottoni, P., Faralli, S., Labella , A., Malizia, A., Scozzafava, C.:
CHAMBRE: integrating Multimedia and Virtual Tools,
AVI '06 Venezia. 24-26 Maggio 2006. ACM Press. pp. 285-292.

Bottoni, P., Gigli, L., Labella, A., Levialdi,
S., Panizzi, E., Trinchese, R.:
MADCOW: a visual interface for annotating web pages,
AVI '06 Venezia. 24-26 Maggio 2006. ACM Press. pp. 314-317.

\item[C19] Bottoni, P., Faralli, S., Labella , A., Pierro,
M.: Mapping with planning agents in the Max/MSP
environment: the GO/Max language, NIME '06 Parigi. 6-8 Giugno 2006. pp. 322-325.

Bottoni, P., Faralli, S.,Labella , A., Pierro, M., Scozzafava, C.:
Interactive Composition, Performance and Music Generation
through Iterative Structures,
ACM Multimedia 06 - Interactive Arts Program,
Santa Barbara, CA, USA 22-28 ottobre 2006.

Bottoni, P., Faralli, S., Labella , A., Scozzafava, C.:
Experimenting with CHAMBRE : Music, Image and Interaction, proceedings
GenerativeArt 2004, v.II, 144-156, Milano.

Bottoni, P., Faralli, S., Labella , A., Scozzafava, C.:
CHAMBRE: A distributed environment for the production of multimedia events,
proceedings DMS'2004,San Francisco. 8-10/9/2004. pp. 51-56.

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.

De Nicola,R., Labella,A.:
Nondeterministic regular expressions as solutions of equational systems, Theor. Comp. Science, 302, (2003) 179-189.

Labella,A.: Categories with sums and right distributive
tensor product, J. Pure Appl. Algebra, 178 (3)(2003), 273--296

Labella,A. and Scozzafava, C.:
Music and algorithms: a historical perspective., Studi musicali(2003), 3-50.

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

Bloom,S.L., \'Esik,Z., Labella, A., Manes,E.G.: Iteration
2-theories, Applied Categorical Structures 9 (2001), 173-216.

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.

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., Murphy,D. :
Process Synchronization as fusion.
Applied Categorical Structures, 4, (1996) 403-21.

Kasangian,S., Labella,A.:
Enriched Categorical Semantics for Distributed Calculi.
J. of Pure and Applied Algebra, 83, (1992) 295-321.

Kasangian,S., Labella,A.:
The topos of continuous trees as a model for distributed calculi.
J. of Symb. Logic , 55, (1990) 410

Labella, A. and Pettorossi, A.:
Categories for modelling communicating processes.
Comp. and Art. Intell., 6, (1987) 279-296.

Labella, A. and Pettorossi, A.:
Categorical models for handshaking communications.
Fund. Inf. , VIII , (1985) 321-357.

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