default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnna Labella
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Paolo Bottoni
, Anna Labella, Giuseppe Perelli:
Strategies in Spatio-Temporal Logics for Multi-agent Systems. ISoLA (1) 2024: 287-305- 2021
- [j26]Paolo Bottoni, Anna Labella:
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting. Theor. Comput. Sci. 862: 59-80 (2021) - [j25]Paolo Bottoni, Anna Labella:
Transactions and contracts based on reaction systems. Theor. Comput. Sci. 881: 25-61 (2021) - [i1]Paolo Bottoni, Anna Labella, Remo Pareschi:
A formal model for ledger management systems based on contracts and temporal logic. CoRR abs/2109.15212 (2021) - 2020
- [j24]Paolo Bottoni, Anna Labella, Grzegorz Rozenberg:
Networks of Reaction Systems. Int. J. Found. Comput. Sci. 31(1): 53-71 (2020)
2010 – 2019
- 2019
- [j23]Paolo Bottoni, Anna Labella, Grzegorz Rozenberg:
Reaction systems with influence on environment. J. Membr. Comput. 1(1): 3-19 (2019) - [c27]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: 298-314 - 2018
- [j22]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): 508-532 (2018) - 2017
- [j21]Anna Labella, Rocco De Nicola:
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23(1): 191-201 (2017) - [j20]Paolo Bottoni, Anna Labella, Victor Mitrana:
Networks of polarized multiset processors. J. Comput. Syst. Sci. 85: 93-103 (2017) - [j19]Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana:
Networks of picture processors as problem solvers. Soft Comput. 21(19): 5529-5541 (2017) - [j18]Paolo Bottoni, Anna Labella, Victor Mitrana:
Prefix-suffix square reduction. Theor. Comput. Sci. 682: 49-56 (2017) - 2014
- [j17]Paolo Bottoni, Anna Labella, Victor Mitrana:
Accepting Networks of Evolutionary Picture Processors. Fundam. Informaticae 131(3-4): 337-349 (2014) - [c26]Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana:
Solving 2D-Pattern Matching with Networks of Picture Processors. TPNC 2014: 157-168 - 2013
- [j16]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): 369-386 (2013) - 2012
- [j15]Paolo Bottoni, Anna Labella, Stefano Kasangian:
Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23(2): 91-102 (2012) - [c25]Paolo Bottoni, Anna Labella, Daniele Capuano, Stefano Levialdi, Maria De Marsico:
Experimenting dele: a deaf-centered e-learning visual environment. AVI 2012: 780-781 - 2011
- [j14]Stefano Kasangian, Anna Labella, Andrea Montoli:
Generalising Conduché's Theorem. Appl. Categorical Struct. 19(1): 277-292 (2011) - [j13]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): 429-445 (2011) - [c24]Paolo Bottoni, Radu Gramatovici, Anna Labella, Florin Manea, Victor Mitrana:
Context Insertions. Computation, Cooperation, and Life 2011: 24-34 - [c23]Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella:
Color-Based Recognition of Gesture-traced 2D Symbols. DMS 2011: 5-6 - [c22]Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella:
FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces. DMS 2011: 295-300 - 2010
- [j12]Rocco De Nicola, Daniele Gorla, Anna Labella:
Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20(3): 319-358 (2010) - [c21]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: 22-27
2000 – 2009
- 2009
- [c20]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: 1-11 - [c19]Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere:
Networks of Evolutionary Picture Processors with Filtered Connections. UC 2009: 70-84 - 2007
- [j11]Paolo Bottoni, Anna Labella:
Pointed pictures. J. Vis. Lang. Comput. 18(5): 523-536 (2007) - [c18]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: 394-395 - 2006
- [j10]Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana:
Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39(4): 503-524 (2006) - [c17]Paolo Bottoni, Stefano Faralli, Anna Labella, Alessio Malizia, Claudio Scozzafava:
CHAMBRE: integrating multimedia and virtual tools. AVI 2006: 285-292 - [c16]Paolo Bottoni, Stefano Levialdi, Anna Labella, Emanuele Panizzi, Rosa Trinchese, Laura Gigli:
MADCOW: a visual interface for annotating web pages. AVI 2006: 314-317 - [c15]Paolo Bottoni, Anna Labella, Stefano Faralli, Mario Pierro, Claudio Scozzafava:
Interactive composition, performance and music generation through iterative structures. ACM Multimedia 2006: 189-192 - [c14]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 - 2003
- [j9]Rocco De Nicola, Anna Labella:
Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302(1-3): 179-189 (2003) - 2002
- [j8]Flavio Corradini, Rocco De Nicola, Anna Labella:
An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002) - [c13]Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun:
Rewriting P Systems with Conditional Communication. Formal and Natural Computing 2002: 325-353 - [c12]Anna Labella:
Kleene's (unary) star in nondeterministic context. FICS 2002: 67-68 - 2001
- [j7]Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes:
Iteration 2-theories. Appl. Categorical Struct. 9(2): 173-216 (2001)
1990 – 1999
- 1999
- [j6]Flavio Corradini, Rocco De Nicola, Anna Labella:
A finite axiomatization of nondeterministic regular expressions. RAIRO Theor. Informatics Appl. 33(4/5): 447-466 (1999) - [j5]Flavio Corradini, Rocco De Nicola, Anna Labella:
Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999) - [j4]Stefano Kasangian, Anna Labella:
Observational trees as models for concurrency. Math. Struct. Comput. Sci. 9(6): 687-718 (1999) - [c11]Flavio Corradini, Rocco De Nicola, Anna Labella:
Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393 - 1998
- [j3]Paolo Bottoni, Anna Labella, Piero Mussio, Gheorghe Paun:
Pattern Control on Derivations in Context-Free Rewriting. J. Autom. Lang. Comb. 3(1): 3-28 (1998) - [j2]Zoltán Ésik, Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories. Theor. Comput. Sci. 195(1): 61-89 (1998) - [c10]Rocco De Nicola, Anna Labella:
Tree Morphisms and Bisimulations. MFCS Workshop on Concurrency 1998: 46-64 - 1997
- [c9]Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes:
Iteration 2-Theories: Extended Abstract. AMAST 1997: 30-44 - 1996
- [j1]Stefano Kasangian, Anna Labella, David Murphy:
Process synchronisation as fusion. Appl. Categorical Struct. 4(4): 403-421 (1996) - [c8]Zoltán Ésik, Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories. MFCS 1996: 336-347 - 1995
- [c7]Flavio Corradini, Rocco De Nicola, Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144 - 1994
- [c6]Rocco De Nicola, Anna Labella:
A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS 1994: 536-545 - 1991
- [c5]Stefano Kasangian, Anna Labella:
On Continuous Time Agents. MFPS 1991: 403-425 - 1990
- [c4]Stefano Kasangian, Anna Labella, Alberto Pettorossi:
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. Semantics of Systems of Concurrent Processes 1990: 375-406
1980 – 1989
- 1987
- [c3]Stefano Kasangian, Anna Labella, Alberto Pettorossi:
Enriched Categories for Local and Interaction Calculi. Category Theory and Computer Science 1987: 57-70 - 1986
- [c2]Anna Labella, Alberto Pettorossi:
Universal Models in Categories for Process Synchronization. Mathematical Models for the Semantics of Parallelism 1986: 183-198 - 1985
- [c1]Anna Labella, Alberto Pettorossi:
Categorical Models of Process Cooperation. CTCS 1985: 282-298
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
