Achille Frigeri

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 4

Top Topics

Deterministic Automata

Finite State Machines

Top Venues

J. Autom. Lang. Comb.

ACM Trans. Comput. Log.

Publications

Achille Frigeri, Victoria Gould, Patrizia Longobardi, Emanuele Rodaro
Preface: Special issue on papers from the conference "Semigroups and Groups, Automata, Logics" SandGAL 2019. Int. J. Algebra Comput. 31 (6) (2021)
Achille Frigeri, Emanuele Rodaro
Missing Factors of Ideals and Synchronizing Automata. J. Autom. Lang. Comb. 24 (2-4) (2019)
Achille Frigeri
A Note on Fibonacci Numbers of Even Index. Integers 18 (2018)
Alessandra Cherubini, Achille Frigeri, Zuhua Liu
Composing short 3-compressing words on a 2-letter alphabet. Discret. Math. Theor. Comput. Sci. 19 (1) (2017)
Alessandra Cherubini, Achille Frigeri, Zuhua Liu
Composing short 3-compressing words on a 2 letter alphabet. CoRR (2014)
Achille Frigeri, Liliana Pasquale, Paola Spoletini
Fuzzy Time in Linear Temporal Logic. ACM Trans. Comput. Log. 15 (4) (2014)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12 (4) (2014)
Fiorenza Morini, Anna Benini, Achille Frigeri
New designs from circular nearrings. Electron. Notes Discret. Math. 40 (2013)
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
Expressiveness and complexity of regular pure two-dimensional context-free languages. Int. J. Comput. Math. 90 (8) (2013)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL Satisfiability Checking without Automata CoRR (2012)
Achille Frigeri, Liliana Pasquale, Paola Spoletini
Fuzzy Time in LTL CoRR (2012)
Alessandra Cherubini, Achille Frigeri, Brunetto Piochi
Short 3-Collapsing Words over a 2-Letter Alphabet. Developments in Language Theory (2011)
Anna Benini, Achille Frigeri, Fiorenza Morini
Codes and Combinatorial Structures from Circular Planar Nearrings. CAI (2011)
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP (2011)
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
On Some Classes of 2D Languages and Their Relations. IWCIA (2011)
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 (2010)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems. TIME (2010)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems CoRR (2010)
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)
Christian Choffrut, Achille Frigeri
Deciding whether the ordering is necessary in a Presburger formula. Discret. Math. Theor. Comput. Sci. 12 (1) (2010)
Achille Frigeri
Automata and Logic on p-adic numbers. ICTCS (2009)
Christian Choffrut, Achille Frigeri
Definable sets in weak Presburger arithmetic. ICTCS (2007)