Definable sets in weak Presburger arithmetic. - Christian Choffrut; Achille Frigeri (ICTCS, 2007)

Automata and Logic on p-adic numbers. - Achille Frigeri (ICTCS, 2009)

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 001 (SEFM, 2010)

Bounded Reachability for Temporal Logic over Constraint Systems. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (TIME, 2010)

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability - Marcello M. Bersani; Luca Cavallaro; Achille Frigeri; Matteo Pradella; Matteo Rossi 001 (CoRR, 2010)

Deciding whether the ordering is necessary in a Presburger formula. - Christian Choffrut; Achille Frigeri (Discret. Math. Theor. Comput. Sci., 2010)

Codes and Combinatorial Structures from Circular Planar Nearrings. - Anna Benini; Achille Frigeri; Fiorenza Morini (CAI, 2011)

Short 3-Collapsing Words over a 2-Letter Alphabet. - Alessandra Cherubini; Achille Frigeri; Brunetto Piochi (Developments in Language Theory, 2011)

On Some Classes of 2D Languages and Their Relations. - Marcello M. Bersani; Achille Frigeri; Alessandra Cherubini (IWCIA, 2011)

Completeness of the Bounded Satisfiability Problem for Constraint LTL. - Marcello M. Bersani; Achille Frigeri; Matteo Rossi 001; Pierluigi San Pietro (RP, 2011)

Fuzzy Time in LTL - Achille Frigeri; Liliana Pasquale; Paola Spoletini (CoRR, 2012)

New designs from circular nearrings. - Fiorenza Morini; Anna Benini; Achille Frigeri (Electron. Notes Discret. Math., 2013)

Expressiveness and complexity of regular pure two-dimensional context-free languages. - Marcello M. Bersani; Achille Frigeri; Alessandra Cherubini (Int. J. Comput. Math., 2013)

Constraint LTL satisfiability checking without automata. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (J. Appl. Log., 2014)

Fuzzy Time in Linear Temporal Logic. - Achille Frigeri; Liliana Pasquale; Paola Spoletini (ACM Trans. Comput. Log., 2014)

Composing short 3-compressing words on a 2-letter alphabet. - Alessandra Cherubini; Achille Frigeri; Zuhua Liu (Discret. Math. Theor. Comput. Sci., 2017)

A Note on Fibonacci Numbers of Even Index. - Achille Frigeri (Integers, 2018)

Missing Factors of Ideals and Synchronizing Automata. - Achille Frigeri; Emanuele Rodaro (J. Autom. Lang. Comb., 2019)

Preface: Special issue on papers from the conference "Semigroups and Groups, Automata, Logics" SandGAL 2019. - Achille Frigeri; Victoria Gould; Patrizia Longobardi; Emanuele Rodaro (Int. J. Algebra Comput., 2021)