Categorical Models of Process Cooperation. - Anna Labella; Alberto Pettorossi (CTCS, 1985)

Universal Models in Categories for Process Synchronization. - Anna Labella; Alberto Pettorossi (Mathematical Models for the Semantics of Parallelism, 1986)

Enriched Categories for Local and Interaction Calculi. - Stefano Kasangian; Anna Labella; Alberto Pettorossi (Category Theory and Computer Science, 1987)

Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. - Stefano Kasangian; Anna Labella; Alberto Pettorossi (Semantics of Systems of Concurrent Processes, 1990)

On Continuous Time Agents. - Stefano Kasangian; Anna Labella (MFPS, 1991)

A Completeness Theorem fro Nondeterministic Kleene Algebras. - Rocco De Nicola; Anna Labella (MFCS, 1994)

Fully Abstract Models for Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (CONCUR, 1995)

Process synchronisation as fusion. - Stefano Kasangian; Anna Labella; David Murphy (Appl. Categorical Struct., 1996)

Iteration 2-Theories: Extended Abstract. - Stephen L. Bloom; Anna Labella; Zoltán Ésik; Ernest G. Manes (AMAST, 1997)

Tree Morphisms and Bisimulations. - Rocco De Nicola; Anna Labella (MFCS Workshop on Concurrency, 1998)

Pattern Control on Derivations in Context-Free Rewriting. - Paolo Bottoni; Anna Labella; Piero Mussio; Gheorghe Paun (J. Autom. Lang. Comb., 1998)

Equational Properties of Iteration in Algebraically Complete Categories. - Zoltán Ésik; Anna Labella (Theor. Comput. Sci., 1998)

Graded Modalities and Resource Bisimulation. - Flavio Corradini; Rocco De Nicola; Anna Labella (FSTTCS, 1999)

A finite axiomatization of nondeterministic regular expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (RAIRO Theor. Informatics Appl., 1999)

Models of Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Comput. Syst. Sci., 1999)

Observational trees as models for concurrency. - Stefano Kasangian; Anna Labella (Math. Struct. Comput. Sci., 1999)

Iteration 2-theories. - Stephen L. Bloom; Zoltán Ésik; Anna Labella; Ernest G. Manes (Appl. Categorical Struct., 2001)

Rewriting P Systems with Conditional Communication. - Paolo Bottoni; Anna Labella; Carlos Martín-Vide; Gheorghe Paun (Formal and Natural Computing, 2002)

Kleene's (unary) star in nondeterministic context. - Anna Labella (FICS, 2002)

An Equational Axiomatization of Bisimulation over Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Log. Comput., 2002)

Nondeterministic regular expressions as solutions of equational systems. - Rocco De Nicola; Anna Labella (Theor. Comput. Sci., 2003)

CHAMBRE: integrating multimedia and virtual tools. - Paolo Bottoni; Stefano Faralli 001; Anna Labella; Alessio Malizia; Claudio Scozzafava (AVI, 2006)

MADCOW: a visual interface for annotating web pages. - Paolo Bottoni; Stefano Levialdi; Anna Labella; Emanuele Panizzi; Rosa Trinchese; Laura Gigli (AVI, 2006)

Interactive composition, performance and music generation through iterative structures. - Paolo Bottoni; Anna Labella; Stefano Faralli 001; Mario Pierro; Claudio Scozzafava (ACM Multimedia, 2006)

Mapping with planning agents in the Max/MSP environment: the GO/Max language. - Paolo Bottoni; Stefano Faralli 001; Anna Labella; Mario Pierro (NIME, 2006)

Superposition Based on Watson-Crick-Like Complementarity. - Paolo Bottoni; Anna Labella; Vincenzo Manca; Victor Mitrana (Theory Comput. Syst., 2006)

Use of a Dual-Core DSP in a Low-Cost, Touch-Screen Based Musical Instrument. - Paolo Bottoni; Riccardo Caporali; Daniele Capuano; Stefano Faralli 001; Anna Labella; Mario Pierro (NIME, 2007)

Pointed pictures. - Paolo Bottoni; Anna Labella (J. Vis. Lang. Comput., 2007)

Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. - Paolo Bottoni; Anna Labella; Florin Manea; Victor Mitrana; José M. Sempere (DNA, 2009)

Networks of Evolutionary Picture Processors with Filtered Connections. - Paolo Bottoni; Anna Labella; Florin Manea; Victor Mitrana; José M. Sempere (UC, 2009)

A framework for hand-based interaction. - Paolo Bottoni; Luigi Cinque; Marco Cupelli; Luca Di Filippo; Anna Labella; Mario Pierro; Enver Sangineto (Humans and Computers, 2010)

Tree-functors, determinacy and bisimulations. - Rocco De Nicola; Daniele Gorla; Anna Labella (Math. Struct. Comput. Sci., 2010)

Context Insertions. - Paolo Bottoni; Radu Gramatovici; Anna Labella; Florin Manea; Victor Mitrana (Computation, Cooperation, and Life, 2011)

FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces. - Danilo Avola; Paolo Bottoni; Alexandru Dafinei; Anna Labella (DMS, 2011)

Color-Based Recognition of Gesture-traced 2D Symbols. - Danilo Avola; Paolo Bottoni; Alexandru Dafinei; Anna Labella (DMS, 2011)

Generalising Conduché's Theorem. - Stefano Kasangian; Anna Labella; Andrea Montoli (Appl. Categorical Struct., 2011)

Complexity-preserving simulations among three variants of accepting networks of evolutionary processors. - Paolo Bottoni; Anna Labella; Florin Manea; Victor Mitrana; Ion Petre; José M. Sempere (Nat. Comput., 2011)

Experimenting dele: a deaf-centered e-learning visual environment. - Paolo Bottoni; Anna Labella; Daniele Capuano; Stefano Levialdi; Maria De Marsico (AVI, 2012)

Spatial and temporal aspects in visual interaction. - Paolo Bottoni; Anna Labella; Stefano Kasangian (J. Vis. Lang. Comput., 2012)

Stories and signs in an e-learning environment for deaf people. - Paolo Bottoni; Fabrizio Borgia; Daniel Buccarella; Daniele Capuano; Maria De Marsico; Anna Labella (Univers. Access Inf. Soc., 2013)

Solving 2D-Pattern Matching with Networks of Picture Processors. - Henning Bordihn; Paolo Bottoni; Anna Labella; Victor Mitrana (TPNC, 2014)

Accepting Networks of Evolutionary Picture Processors. - Paolo Bottoni; Anna Labella; Victor Mitrana (Fundam. Informaticae, 2014)

Initial Algebra for a System of Right-Linear Functors. - Anna Labella; Rocco De Nicola (Acta Cybern., 2017)

Networks of polarized multiset processors. - Paolo Bottoni; Anna Labella; Victor Mitrana (J. Comput. Syst. Sci., 2017)

Networks of picture processors as problem solvers. - Henning Bordihn; Paolo Bottoni; Anna Labella; Victor Mitrana (Soft Comput., 2017)

Prefix-suffix square reduction. - Paolo Bottoni; Anna Labella; Victor Mitrana (Theor. Comput. Sci., 2017)

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Math. Struct. Comput. Sci., 2018)

Modal Epistemic Logic on Contracts: A Doctrinal Approach. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Reaction systems with influence on environment. - Paolo Bottoni; Anna Labella; Grzegorz Rozenberg (J. Membr. Comput., 2019)

Networks of Reaction Systems. - Paolo Bottoni; Anna Labella; Grzegorz Rozenberg (Int. J. Found. Comput. Sci., 2020)

A formal model for ledger management systems based on contracts and temporal logic. - Paolo Bottoni; Anna Labella; Remo Pareschi (CoRR, 2021)

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting. - Paolo Bottoni; Anna Labella (Theor. Comput. Sci., 2021)

Transactions and contracts based on reaction systems. - Paolo Bottoni; Anna Labella (Theor. Comput. Sci., 2021)

Strategies in Spatio-Temporal Logics for Multi-agent Systems. - Paolo Bottoni; Anna Labella; Giuseppe Perelli (ISoLA (1), 2024)