| 2024 | ISoLA | Strategies in Spatio-Temporal Logics for Multi-agent Systems. | Paolo Bottoni, Anna Labella, Giuseppe Perelli |
| 2012 | AVI | Experimenting dele: a deaf-centered e-learning visual environment. | Paolo Bottoni, Anna Labella, Daniele Capuano, Stefano Levialdi, Maria De Marsico |
| 2009 | DNA | Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. | Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Jos M. Sempere |
| 2009 | UC | Networks of Evolutionary Picture Processors with Filtered Connections. | Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Jos M. Sempere |
| 2006 | AVI | CHAMBRE: integrating multimedia and virtual tools. | Paolo Bottoni, Stefano Faralli, Anna Labella, Alessio Malizia, Claudio Scozzafava |
| 2006 | AVI | MADCOW: a visual interface for annotating web pages. | Paolo Bottoni, Stefano Levialdi, Anna Labella, Emanuele Panizzi, Rosa Trinchese, Laura Gigli |
| 1996 | MFCS | Equational Properties of Iteration in Algebraically Complete Categories. | Zoltn sik, Anna Labella |
| 1995 | CONCUR | Fully Abstract Models for Nondeterministic Regular Expressions. | Flavio Corradini, Rocco De Nicola, Anna Labella |
| 1994 | MFCS | A Completeness Theorem fro Nondeterministic Kleene Algebras. | Rocco De Nicola, Anna Labella |
| 1991 | MFPS | On Continuous Time Agents. | Stefano Kasangian, Anna Labella |