Anna Labella - RankMe

56 papers A* 1B 8C 1Journal 28Unranked 18

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