The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Anna Labella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anna Labella, Alberto Pettorossi
    Universal Models in Categories for Process Synchronization. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:183-198 [Conf]
  2. Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
    Iteration 2-Theories: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:30-44 [Conf]
  3. Paolo Bottoni, Stefano Levialdi, Anna Labella, Emanuele Panizzi, Rosa Trinchese, Laura Gigli
    MADCOW: a visual interface for annotating web pages. [Citation Graph (0, 0)][DBLP]
    AVI, 2006, pp:314-317 [Conf]
  4. Paolo Bottoni, Stefano Faralli, Anna Labella, Alessio Malizia, Claudio Scozzafava
    CHAMBRE: integrating multimedia and virtual tools. [Citation Graph (0, 0)][DBLP]
    AVI, 2006, pp:285-292 [Conf]
  5. Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun
    Rewriting P Systems with Conditional Communication. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:325-353 [Conf]
  6. Flavio Corradini, Rocco De Nicola, Anna Labella
    Fully Abstract Models for Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:130-144 [Conf]
  7. Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Enriched Categories for Local and Interaction Calculi. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:57-70 [Conf]
  8. Anna Labella, Alberto Pettorossi
    Categorical Models of Process Cooperation. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:282-298 [Conf]
  9. Anna Labella
    Kleene's (unary) star in nondeterministic context. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:67-68 [Conf]
  10. Flavio Corradini, Rocco De Nicola, Anna Labella
    Graded Modalities and Resource Bisimulation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:381-393 [Conf]
  11. Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:375-406 [Conf]
  12. Zoltán Ésik, Anna Labella
    Equational Properties of Iteration in Algebraically Complete Categories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:336-347 [Conf]
  13. Rocco De Nicola, Anna Labella
    A Completeness Theorem fro Nondeterministic Kleene Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:536-545 [Conf]
  14. Stefano Kasangian, Anna Labella
    On Continuous Time Agents. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:403-425 [Conf]
  15. Paolo Bottoni, Stefano Faralli, Anna Labella, Mario Pierro
    Mapping with planning agents in the Max/MSP environment: the GO/Max language. [Citation Graph (0, 0)][DBLP]
    NIME, 2006, pp:322-325 [Conf]
  16. Rocco De Nicola, Anna Labella
    Tree Morphisms and Bisimulations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  17. Flavio Corradini, Rocco De Nicola, Anna Labella
    A finite axiomatization of nondeterministic regular expressions. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:4/5, pp:447-466 [Journal]
  18. Paolo Bottoni, Anna Labella, Piero Mussio, Gheorghe Paun
    Pattern Control on Derivations in Context-Free Rewriting. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 1998, v:3, n:1, pp:3-28 [Journal]
  19. Flavio Corradini, Rocco De Nicola, Anna Labella
    Models of Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:412-449 [Journal]
  20. Flavio Corradini, Rocco De Nicola, Anna Labella
    An Equational Axiomatization of Bisimulation over Regular Expressions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:2, pp:301-320 [Journal]
  21. Stefano Kasangian, Anna Labella
    Observational trees as models for concurrency. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:6, pp:687-718 [Journal]
  22. Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
    Superposition Based on Watson-Crick-Like Complementarity. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2006, v:39, n:4, pp:503-524 [Journal]
  23. Zoltán Ésik, Anna Labella
    Equational Properties of Iteration in Algebraically Complete Categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:1, pp:61-89 [Journal]
  24. Rocco De Nicola, Anna Labella
    Nondeterministic regular expressions as solutions of equational systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:302, n:1-3, pp:179-189 [Journal]
  25. Paolo Bottoni, Anna Labella, Stefano Faralli, Mario Pierro, Claudio Scozzafava
    Interactive composition, performance and music generation through iterative structures. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 2006, pp:189-192 [Conf]

  26. Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. [Citation Graph (, )][DBLP]


  27. Networks of Evolutionary Picture Processors with Filtered Connections. [Citation Graph (, )][DBLP]


  28. Iteration 2-theories. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002