Anna Labella

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 11

Top Topics

Epistemic Logic

Visual Environment

Computer Assisted Learning

Pattern Matching

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

J. Comput. Syst. Sci.

Math. Struct. Comput. Sci.

Publications

Paolo Bottoni, Anna Labella
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting. Theor. Comput. Sci. 862 (2021)
Paolo Bottoni, Anna Labella, Remo Pareschi
A formal model for ledger management systems based on contracts and temporal logic. CoRR (2021)
Paolo Bottoni, Anna Labella
Transactions and contracts based on reaction systems. Theor. Comput. Sci. 881 (2021)
Paolo Bottoni, Anna Labella, Grzegorz Rozenberg
Networks of Reaction Systems. Int. J. Found. Comput. Sci. 31 (1) (2020)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
Modal Epistemic Logic on Contracts: A Doctrinal Approach. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Paolo Bottoni, Anna Labella, Grzegorz Rozenberg
Reaction systems with influence on environment. J. Membr. Comput. 1 (1) (2019)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Math. Struct. Comput. Sci. 28 (4) (2018)
Paolo Bottoni, Anna Labella, Victor Mitrana
Networks of polarized multiset processors. J. Comput. Syst. Sci. 85 (2017)
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
Networks of picture processors as problem solvers. Soft Comput. 21 (19) (2017)
Paolo Bottoni, Anna Labella, Victor Mitrana
Prefix-suffix square reduction. Theor. Comput. Sci. 682 (2017)
Anna Labella, Rocco De Nicola
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23 (1) (2017)
Paolo Bottoni, Anna Labella, Victor Mitrana
Accepting Networks of Evolutionary Picture Processors. Fundam. Informaticae 131 (3-4) (2014)
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
Solving 2D-Pattern Matching with Networks of Picture Processors. TPNC (2014)
Paolo Bottoni, Fabrizio Borgia, Daniel Buccarella, Daniele Capuano, Maria De Marsico, Anna Labella
Stories and signs in an e-learning environment for deaf people. Univers. Access Inf. Soc. 12 (4) (2013)
Paolo Bottoni, Anna Labella, Stefano Kasangian
Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23 (2) (2012)
Paolo Bottoni, Anna Labella, Daniele Capuano, Stefano Levialdi, Maria De Marsico
Experimenting dele: a deaf-centered e-learning visual environment. AVI (2012)
Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella
FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces. DMS (2011)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Ion Petre, José M. Sempere
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors. Nat. Comput. 10 (1) (2011)
Paolo Bottoni, Radu Gramatovici, Anna Labella, Florin Manea, Victor Mitrana
Context Insertions. Computation, Cooperation, and Life (2011)
Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella
Color-Based Recognition of Gesture-traced 2D Symbols. DMS (2011)
Stefano Kasangian, Anna Labella, Andrea Montoli
Generalising Conduché's Theorem. Appl. Categorical Struct. 19 (1) (2011)
Paolo Bottoni, Luigi Cinque, Marco Cupelli, Luca Di Filippo, Anna Labella, Mario Pierro, Enver Sangineto
A framework for hand-based interaction. Humans and Computers (2010)
Rocco De Nicola, Daniele Gorla, Anna Labella
Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20 (3) (2010)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. DNA (2009)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
Networks of Evolutionary Picture Processors with Filtered Connections. UC (2009)
Paolo Bottoni, Riccardo Caporali, Daniele Capuano, Stefano Faralli, Anna Labella, Mario Pierro
Use of a Dual-Core DSP in a Low-Cost, Touch-Screen Based Musical Instrument. NIME (2007)
Paolo Bottoni, Anna Labella
Pointed pictures. J. Vis. Lang. Comput. 18 (5) (2007)
Paolo Bottoni, Stefano Levialdi, Anna Labella, Emanuele Panizzi, Rosa Trinchese, Laura Gigli
MADCOW: a visual interface for annotating web pages. AVI (2006)
Paolo Bottoni, Stefano Faralli, Anna Labella, Mario Pierro
Mapping with planning agents in the Max/MSP environment: the GO/Max language. NIME (2006)
Paolo Bottoni, Stefano Faralli, Anna Labella, Alessio Malizia, Claudio Scozzafava
CHAMBRE: integrating multimedia and virtual tools. AVI (2006)
Paolo Bottoni, Anna Labella, Stefano Faralli, Mario Pierro, Claudio Scozzafava
Interactive composition, performance and music generation through iterative structures. ACM Multimedia (2006)
Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39 (4) (2006)
Rocco De Nicola, Anna Labella
Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302 (1-3) (2003)
Anna Labella
Kleene's (unary) star in nondeterministic context. FICS (2002)
Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun
Rewriting P Systems with Conditional Communication. Formal and Natural Computing (2002)
Flavio Corradini, Rocco De Nicola, Anna Labella
An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12 (2) (2002)
Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes
Iteration 2-theories. Appl. Categorical Struct. 9 (2) (2001)
Flavio Corradini, Rocco De Nicola, Anna Labella
A finite axiomatization of nondeterministic regular expressions. RAIRO Theor. Informatics Appl. 33 (4/5) (1999)
Flavio Corradini, Rocco De Nicola, Anna Labella
Graded Modalities and Resource Bisimulation. FSTTCS (1999)
Flavio Corradini, Rocco De Nicola, Anna Labella
Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59 (3) (1999)
Stefano Kasangian, Anna Labella
Observational trees as models for concurrency. Math. Struct. Comput. Sci. 9 (6) (1999)
Paolo Bottoni, Anna Labella, Piero Mussio, Gheorghe Paun
Pattern Control on Derivations in Context-Free Rewriting. J. Autom. Lang. Comb. 3 (1) (1998)
Rocco De Nicola, Anna Labella
Tree Morphisms and Bisimulations. Electron. Notes Theor. Comput. Sci. 18 (1998)
Zoltán Ésik, Anna Labella
Equational Properties of Iteration in Algebraically Complete Categories. Theor. Comput. Sci. 195 (1) (1998)
Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
Iteration 2-Theories: Extended Abstract. AMAST (1997)
Stefano Kasangian, Anna Labella, David Murphy
Process synchronisation as fusion. Appl. Categorical Struct. 4 (4) (1996)
Zoltán Ésik, Anna Labella
Equational Properties of Iteration in Algebraically Complete Categories. MFCS (1996)
Flavio Corradini, Rocco De Nicola, Anna Labella
Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR (1995)
Rocco De Nicola, Anna Labella
A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS (1994)
Stefano Kasangian, Anna Labella
On Continuous Time Agents. MFPS (1991)
Stefano Kasangian, Anna Labella, Alberto Pettorossi
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. Semantics of Systems of Concurrent Processes (1990)
Stefano Kasangian, Anna Labella, Alberto Pettorossi
Enriched Categories for Local and Interaction Calculi. Category Theory and Computer Science (1987)
Anna Labella, Alberto Pettorossi
Universal Models in Categories for Process Synchronization. Mathematical Models for the Semantics of Parallelism (1986)
Anna Labella, Alberto Pettorossi
Categorical Models of Process Cooperation. CTCS (1985)