Skip to content

D. Zampuniris

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

1995–1995

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
1995FORTESharing Trees for "on-the-fly" Verification.Franois Gagnon, Jean-Charles Grgoire, D. Zampuniris
1995MASCOTSAn Efficient Algorithm to Compute the Synchronized Product.D. Zampuniris, Baudouin Le Charlier
1995NDSSDistributed audit trail analysis.Abdelaziz Mounji, Baudouin Le Charlier, D. Zampuniris, Naji Habra