Dipartimento di Informatica

Algebraic models for parallel and distributed computations.
Iteration theories.
Enriched category theory.
Language theory with particular respect to applications in music.
Multimodal interfaces
http://hci.uniroma1.it/multimedialab/web/modulesd396.html?newlang=english

Selected Pubblications

Bottoni, P., Faralli, S., Labella , A., Pierro, M., Ryu,
S.: CoPuppet: Collaborative Interaction in Virtual Puppetry. DAW'07
http://www.digitalartweeks.ethz.ch/web/Doc07/Proceedings
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

---