A Riemann-Hurwitz Formula for Hypermaps Congruences. - Leo Cacciari (Eur. J. Comb., 1989)

On improving reduced reachability analysis. - Leo Cacciari; Omar Rafiq (FORTE, 1992)

Decidability issues in reduced reachability analysis. - Leo Cacciari; Omar Rafiq (ICNP, 1993)

A temporal reachability analysis. - Leo Cacciari; Omar Rafiq (PSTV, 1995)

Validation of protocols with temporal constraints. - Leo Cacciari; Omar Rafiq (Comput. Commun., 1996)

Coordination Issues in Distributed Testing. - Omar Rafiq; Leo Cacciari; Mohammed Benattou (PDPTA, 1999)

Principles and Tools for Testing Open Distributed Systems. - Mohammed Benattou; Leo Cacciari; Régis Pasini; Omar Rafiq (IWTCS, 1999)

Controllability and observability in distributed testing. - Leo Cacciari; Omar Rafiq (Inf. Softw. Technol., 1999)

Temporal validation of multimedia protocols. - Leo Cacciari; Omar Rafiq (Ann. des Télécommunications, 2000)

Coordination Algorithm for Distributed Testing. - Omar Rafiq; Leo Cacciari (J. Supercomput., 2003)