#### Filter Results:

- Full text PDF available (18)

#### Publication Year

1985

2017

- This year (4)
- Last 5 years (9)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun
- Formal and Natural Computing
- 2002

A membrane system (P system) is a model of computation inspired by some basic features of the structure and behaviour of living cells. In this paper we consider systems with string-objects processed by rewriting, with the communication controlled by conditions on the contents of the strings. Symbols, substrings (in an arbitrary place, or as a… (More)

- Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
- Theory of Computing Systems
- 2004

In this paper we propose a new formal operation on words and languages, called superposition. By this operation, based on a Watson–Crick-like complementarity, we can generate a set of words, starting from a pair of words, in which the contribution of a word to the result need not be one subword only, as happens in classical bio-operations of DNA computing.… (More)

- Rocco De Nicola, Anna Labella
- Theor. Comput. Sci.
- 2003

- Zoltán Ésik, Anna Labella
- Theor. Comput. Sci.
- 1996

We prove the following completeness theorem: If the fixed point operation over a category is defined by initial@, then the equations satisfied by the fixed point operation are exactly those of iteration theories. Thus, in such categories, the equational axioms of iteration theories provide a sound and complete axiomatization of the equational properties of… (More)

The use of the Web and the diffusion of knowledge management systems makes it possible to base discussions upon a vast set of documents, many of which also include links to multimedia material, such as images or videos. This perspective could be exploited by allowing a team to collaborate by exchanging and retrieving annotated multimedia documents (text,… (More)

- Flavio Corradini, Rocco De Nicola, Anna Labella
- J. Log. Comput.
- 2002

We provide a finite equational axiomatization for bisimulation equivalence of nondeterministic interpretation of regular expressions. Our axiomatization is heavily based on the one by Salomaa, that provided an implicative axiomatization for a large subset of regular expressions, namely all those that satisfy the non-empty word property (i.e. without 1… (More)

CoPuppet is a framework for the development of performances of virtual puppetry. In particular, it defines a class of interactive systems in which to realize collaborative performances involving several puppeteers. Users are able to control puppets’ body parts and interact with the puppets by producing gestures which are captured by video devices and… (More)

- Flavio Corradini, Rocco De Nicola, Anna Labella
- ITA
- 1999

- Paolo Bottoni, Stefano Faralli, Anna Labella, Mario Pierro
- NIME
- 2006

GO/Max is an agent programming language that facilitates the design of algorithms for real-time control of sound/music generation programs crafted in the Max/MSP environment. We show how software planning agents programmed in GO/Max can be used to transform abstract goal states specified by the performer in potentially complex sequences of Max/MSP control… (More)

In this paper we simplify the model of computation considered in [1], namely network of evolutionary picture processors, by moving the filters from the nodes to the edges. Each edge is now viewed as a twoway channel such that input and output filters, respectively, of the two nodes connected by the edge coincide. Thus, the possibility of controlling the… (More)