| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 126 |       | Rocco De Nicola, Daniele Gorla, Anna Labella: Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science 20(3): 319-358 (2010) |
| 78 | | Rocco De Nicola, Anna Labella: Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302(1-3): 179-189 (2003) |
| 72 | | Flavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002) |
| 57 | | Flavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393 |
| 53 | | Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999) |
| 51 | | Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999) |
| 47 | | Rocco De Nicola, Anna Labella: Tree Morphisms and Bisimulations. Electr. Notes Theor. Comput. Sci. 18: 46-64 (1998) |
| 34 | | Flavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144 |
| 28 | | Rocco De Nicola, Anna Labella: A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS 1994: 536-545 |
Selection of 9 from 135 records - Rocco De Nicola has 81 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page