| 2007 |
|---|
| 27 | EE | Paolo Bottoni,
Anna Labella:
Pointed pictures.
J. Vis. Lang. Comput. 18(5): 523-536 (2007) |
| 2006 |
|---|
| 26 | EE | Paolo Bottoni,
Anna Labella,
Stefano Faralli,
Mario Pierro,
Claudio Scozzafava:
Interactive composition, performance and music generation through iterative structures.
ACM Multimedia 2006: 189-192 |
| 25 | EE | Paolo Bottoni,
Stefano Faralli,
Anna Labella,
Alessio Malizia,
Claudio Scozzafava:
CHAMBRE: integrating multimedia and virtual tools.
AVI 2006: 285-292 |
| 24 | EE | Paolo Bottoni,
Stefano Levialdi,
Anna Labella,
Emanuele Panizzi,
Rosa Trinchese,
Laura Gigli:
MADCOW: a visual interface for annotating web pages.
AVI 2006: 314-317 |
| 23 | EE | Paolo Bottoni,
Stefano Faralli,
Anna Labella,
Mario Pierro:
Mapping with planning agents in the Max/MSP environment: the GO/Max language.
NIME 2006: 322-325 |
| 22 | EE | Paolo Bottoni,
Anna Labella,
Vincenzo Manca,
Victor Mitrana:
Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst. 39(4): 503-524 (2006) |
| 2003 |
|---|
| 21 | EE | Rocco De Nicola,
Anna Labella:
Nondeterministic regular expressions as solutions of equational systems.
Theor. Comput. Sci. 302(1-3): 179-189 (2003) |
| 2002 |
|---|
| 20 | | Anna Labella:
Kleene's (unary) star in nondeterministic context.
FICS 2002: 67-68 |
| 19 | EE | Paolo Bottoni,
Anna Labella,
Carlos Martín-Vide,
Gheorghe Paun:
Rewriting P Systems with Conditional Communication.
Formal and Natural Computing 2002: 325-353 |
| 18 | EE | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
An Equational Axiomatization of Bisimulation over Regular Expressions.
J. Log. Comput. 12(2): 301-320 (2002) |
| 2001 |
|---|
| 17 | EE | Stephen L. Bloom,
Zoltán Ésik,
Anna Labella,
Ernest G. Manes:
Iteration 2-theories.
Applied Categorical Structures 9(2): 173-216 (2001) |
| 1999 |
|---|
| 16 | EE | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
Graded Modalities and Resource Bisimulation.
FSTTCS 1999: 381-393 |
| 15 | | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
A finite axiomatization of nondeterministic regular expressions.
ITA 33(4/5): 447-466 (1999) |
| 14 | | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
Models of Nondeterministic Regular Expressions.
J. Comput. Syst. Sci. 59(3): 412-449 (1999) |
| 13 | | Stefano Kasangian,
Anna Labella:
Observational trees as models for concurrency.
Mathematical Structures in Computer Science 9(6): 687-718 (1999) |
| 1998 |
|---|
| 12 | EE | Rocco De Nicola,
Anna Labella:
Tree Morphisms and Bisimulations.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 11 | | Paolo Bottoni,
Anna Labella,
Piero Mussio,
Gheorghe Paun:
Pattern Control on Derivations in Context-Free Rewriting.
Journal of Automata, Languages and Combinatorics 3(1): 3-28 (1998) |
| 10 | EE | Zoltán Ésik,
Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories.
Theor. Comput. Sci. 195(1): 61-89 (1998) |
| 1997 |
|---|
| 9 | | Stephen L. Bloom,
Anna Labella,
Zoltán Ésik,
Ernest G. Manes:
Iteration 2-Theories: Extended Abstract.
AMAST 1997: 30-44 |
| 1996 |
|---|
| 8 | | Zoltán Ésik,
Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories.
MFCS 1996: 336-347 |
| 1995 |
|---|
| 7 | | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions.
CONCUR 1995: 130-144 |
| 1994 |
|---|
| 6 | | Rocco De Nicola,
Anna Labella:
A Completeness Theorem fro Nondeterministic Kleene Algebras.
MFCS 1994: 536-545 |
| 1991 |
|---|
| 5 | | Stefano Kasangian,
Anna Labella:
On Continuous Time Agents.
MFPS 1991: 403-425 |
| 1990 |
|---|
| 4 | | Stefano Kasangian,
Anna Labella,
Alberto Pettorossi:
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.
Semantics of Systems of Concurrent Processes 1990: 375-406 |
| 1987 |
|---|
| 3 | | Stefano Kasangian,
Anna Labella,
Alberto Pettorossi:
Enriched Categories for Local and Interaction Calculi.
Category Theory and Computer Science 1987: 57-70 |
| 1986 |
|---|
| 2 | | Anna Labella,
Alberto Pettorossi:
Universal Models in Categories for Process Synchronization.
Mathematical Models for the Semantics of Parallelism 1986: 183-198 |
| 1985 |
|---|
| 1 | | Anna Labella,
Alberto Pettorossi:
Categorical Models of Process Cooperation.
CTCS 1985: 282-298 |
