Superposition based on Watson–Crick-like complementarity P Bottoni, A Labella, V Manca, V Mitrana Theory of Computing Systems 39 (4), 503-524, 2006 | 36 | 2006 |

Rewriting P systems with conditional communication P Bottoni, A Labella, C Martín-Vide, G PĂun Formal and Natural Computing, 325-353, 2002 | 36 | 2002 |

Equational properties of iteration in algebraically complete categories Z Ésik, A Labella Theoretical Computer Science 195 (1), 61-89, 1998 | 32 | 1998 |

A completeness theorem for nondeterministic Kleene algebras R De Nicola, A Labella International Symposium on Mathematical Foundations of Computer Science, 536-545, 1994 | 26 | 1994 |

Models of nondeterministic regular expressions F Corradini, R De Nicola, A Labella Journal of Computer and System Sciences 59 (3), 412-449, 1999 | 24 | 1999 |

CoPuppet : Collaborative Interaction in Virtual Puppetry P Bottoni, S Faralli, A Labella, A Malizia, M Pierro, S Ryu Transdisciplinary Digital Art. Sound, Vision and the New Screen, 326-341, 2008 | 22 | 2008 |

Categories enriched on two sides M Kelly, A Labella, V Schmitt, R Street Journal of Pure and Applied Algebra 168 (1), 53-98, 2002 | 22 | 2002 |

Le strutture matematiche dei dati A Bellacicco, A Labella Feltrinelli, 1979 | 22 | 1979 |

Reaction systems with influence on environment P Bottoni, A Labella, G Rozenberg Journal of Membrane Computing 1 (1), 3-19, 2019 | 20 | 2019 |

Enriched categorial semantics for distributed calculi S Kasangian, A Labella Journal of pure and applied algebra 83 (3), 295-321, 1992 | 20 | 1992 |

MADCOW: a visual interface for annotating web pages P Bottoni, S Levialdi, A Labella, E Panizzi, R Trinchese, L Gigli Proceedings of the working conference on Advanced visual interfaces, 314-317, 2006 | 18 | 2006 |

Graded modalities and resource bisimulation F Corradini, R De Nicola, A Labella International Conference on Foundations of Software Technology and …, 1999 | 18 | 1999 |

Stories and signs in an e-learning environment for deaf people P Bottoni, F Borgia, D Buccarella, D Capuano, M De Marsico, A Labella Universal access in the information society 12 (4), 369-386, 2013 | 16 | 2013 |

Iteration 2-theories SL Bloom, Z Ésik, A Labella, EG Manes Applied Categorical Structures 9 (2), 173-216, 2001 | 15 | 2001 |

Observational trees as models for concurrency S Kasangian, A Labella Mathematical Structures in Computer Science 9 (6), 687-718, 1999 | 15 | 1999 |

Networks of reaction systems P Bottoni, A Labella, G Rozenberg International Journal of Foundations of Computer Science 31 (01), 53-71, 2020 | 14 | 2020 |

An equational axiomatization of bisimulation over regular expressions F Corradini, R De Nicola, A Labella Journal of Logic and Computation 12 (2), 301-320, 2002 | 14 | 2002 |

Accepting networks of evolutionary picture processors P Bottoni, A Labella, V Mitrana Fundamenta Informaticae 131 (3-4), 337-349, 2014 | 13 | 2014 |

Filter position in networks of evolutionary processors does not matter: a direct proof P Bottoni, A Labella, F Manea, V Mitrana, JM Sempere International Workshop on DNA-Based Computers, 1-11, 2009 | 12 | 2009 |

Nondeterministic regular expressions as solutions of equational systems R De Nicola, A Labella Theoretical Computer Science 302 (1-3), 179-189, 2003 | 12 | 2003 |