Achille Frigeri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2011
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DLT | Short 3-Collapsing Words over a 2-Letter Alphabet. | Alessandra Cherubini, Achille Frigeri, Brunetto Piochi |
| 2011 | IWCIA | On Some Classes of 2D Languages and Their Relations. | Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini |
| 2010 | SEFM | SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
| 2010 | TIME | Bounded Reachability for Temporal Logic over Constraint Systems. | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |