Achille Frigeri

According to our database, Achille Frigeri authored at least 19 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2019

Missing Factors of Ideals and Synchronizing Automata.

Achille Frigeri, Emanuele Rodaro

J. Autom. Lang. Comb., 2019

2018

A Note on Fibonacci Numbers of Even Index.

Achille Frigeri

Integers, 2018

2017

Composing short 3-compressing words on a 2-letter alphabet.

Alessandra Cherubini, Achille Frigeri, Zuhua Liu

Discret. Math. Theor. Comput. Sci., 2017

2014

Fuzzy Time in Linear Temporal Logic.

Achille Frigeri, Liliana Pasquale, Paola Spoletini

ACM Trans. Comput. Log., 2014

Constraint LTL satisfiability checking without automata.

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

J. Appl. Log., 2014

2013

Expressiveness and complexity of regular pure two-dimensional context-free languages.

Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini

Int. J. Comput. Math., 2013

New designs from circular nearrings.

Fiorenza Morini, Anna Benini, Achille Frigeri

Electron. Notes Discret. Math., 2013

2012

Fuzzy Time in LTL

Achille Frigeri, Liliana Pasquale, Paola Spoletini

CoRR, 2012

2011

Completeness of the Bounded Satisfiability Problem for Constraint LTL.

Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro

Proceedings of the Reachability Problems - 5th International Workshop, 2011

On Some Classes of 2D Languages and Their Relations.

Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini

Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011

Short 3-Collapsing Words over a 2-Letter Alphabet.

Alessandra Cherubini, Achille Frigeri, Brunetto Piochi

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

Codes and Combinatorial Structures from Circular Planar Nearrings.

Anna Benini, Achille Frigeri, Fiorenza Morini

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010

Deciding whether the ordering is necessary in a Presburger formula.

Christian Choffrut, Achille Frigeri

Discret. Math. Theor. Comput. Sci., 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

CoRR, 2010

Bounded Reachability for Temporal Logic over Constraint Systems.

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

Proceedings of the TIME 2010, 2010

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

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Automata and Logic on p-adic numbers.

Achille Frigeri

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2007

Definable sets in weak Presburger arithmetic.

Christian Choffrut, Achille Frigeri

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007