- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| i4 |      | |
| i3 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012) |
| 2011 | ||
| c8 | | Anna Benini, Achille Frigeri, Fiorenza Morini: Codes and Combinatorial Structures from Circular Planar Nearrings. CAI 2011: 115-126 |
| c7 | | Alessandra Cherubini, Achille Frigeri, Brunetto Piochi: Short 3-Collapsing Words over a 2-Letter Alphabet. Developments in Language Theory 2011: 469-471 |
| c6 | | Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini: On Some Classes of 2D Languages and Their Relations. IWCIA 2011: 222-234 |
| c5 | | Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro: Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP 2011: 58-71 |
| 2010 | ||
| j1 | | Christian Choffrut, Achille Frigeri: Deciding whether the ordering is necessary in a Presburger formula. Discrete Mathematics & Theoretical Computer Science 12(1): 21-38 (2010) |
| c4 | | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254 |
| c3 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50 |
| i2 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010) |
| i1 | | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010) |
| 2009 | ||
| c2 |  | |
| 2007 | ||
| c1 | | Christian Choffrut, Achille Frigeri: Definable sets in weak Presburger arithmetic. ICTCS 2007: 175-186 |
Colors in the list of coauthors
Last update Sun May 26 02:33:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page