Achille Frigeri

Identifiers

• name variant Achille Frigeri 0.60 · backfill

Papers (7)

1. A note on Fibonacci number of even index math.NT · 2017 · author #1
2. Composing short 3-compressing words on a 2 letter alphabet math.CO · 2014 · author #2
3. Constraint LTL Satisfiability Checking without Automata cs.LO · 2012 · author #2
4. Fuzzy Time in LTL cs.LO · 2012 · author #1
5. Circular planar nearrings: geometrical and combinatorial aspects math.RA · 2010 · author #2
6. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability cs.LO · 2010 · author #3
7. Bounded Reachability for Temporal Logic over Constraint Systems cs.LO · 2010 · author #2

Mentions

• 1406.1413 #2 · backfill · confidence 0.70 Achille Frigeri
• 1205.0946 #2 · backfill · confidence 0.70 Achille Frigeri
• 1203.6278 #1 · backfill · confidence 0.70 Achille Frigeri
• 1012.1059 #2 · backfill · confidence 0.70 Achille Frigeri
• 1004.2873 #3 · backfill · confidence 0.70 Achille Frigeri
• 1004.1077 #2 · backfill · confidence 0.70 Achille Frigeri

Frequent Coauthors

• Marcello M. Bersani 3 shared papers
• Matteo Pradella 3 shared papers
• Matteo Rossi 3 shared papers
• Angelo Morzenti 2 shared papers
• Pierluigi San Pietro 2 shared papers
• Alessandra Cherubini 1 shared papers
• Anna Benini 1 shared papers
• Fiorenza Morini 1 shared papers
• Liliana Pasquale 1 shared papers
• Luca Cavallaro 1 shared papers
• Paola Spoletini 1 shared papers
• Zuhua Liu 1 shared papers