Achille Frigeri

23 papers B 1C 3Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reset Sink Complexity of Regular Ideals.
J. Autom. Lang. Comb.
Achille Frigeri, Emanuele Rodaro
2021 J jnl
Preface: Special issue on papers from the conference "Semigroups and Groups, Automata, Logics" SandGAL 2019.
Int. J. Algebra Comput.
Achille Frigeri, Victoria Gould, Patrizia Longobardi, Emanuele Rodaro
2019 J jnl
Missing Factors of Ideals and Synchronizing Automata.
J. Autom. Lang. Comb.
Achille Frigeri, Emanuele Rodaro
2018 J jnl
A Note on Fibonacci Numbers of Even Index.
Integers
Achille Frigeri
2017 J jnl
Composing short 3-compressing words on a 2-letter alphabet.
Discret. Math. Theor. Comput. Sci.
Alessandra Cherubini, Achille Frigeri, Zuhua Liu
2014 J jnl
Composing short 3-compressing words on a 2 letter alphabet.
CoRR
Alessandra Cherubini, Achille Frigeri, Zuhua Liu
2014 J jnl
Constraint LTL satisfiability checking without automata.
J. Appl. Log.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2014 J jnl
Fuzzy Time in Linear Temporal Logic.
ACM Trans. Comput. Log.
Achille Frigeri, Liliana Pasquale, Paola Spoletini
2013 J jnl
Expressiveness and complexity of regular pure two-dimensional context-free languages.
Int. J. Comput. Math.
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
2013 J jnl
New designs from circular nearrings.
Electron. Notes Discret. Math.
Fiorenza Morini, Anna Benini, Achille Frigeri
2012 J jnl
Constraint LTL Satisfiability Checking without Automata
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2012 J jnl
Fuzzy Time in LTL
CoRR
Achille Frigeri, Liliana Pasquale, Paola Spoletini
2011 — conf
Codes and Combinatorial Structures from Circular Planar Nearrings.
CAI
Anna Benini, Achille Frigeri, Fiorenza Morini
2011 — conf
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
RP
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
2011 C conf
On Some Classes of 2D Languages and Their Relations.
IWCIA
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
2011 C conf
Short 3-Collapsing Words over a 2-Letter Alphabet.
Developments in Language Theory
Alessandra Cherubini, Achille Frigeri, Brunetto Piochi
2010 J jnl
Bounded Reachability for Temporal Logic over Constraint Systems
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 C conf
Bounded Reachability for Temporal Logic over Constraint Systems.
TIME
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 J jnl
Deciding whether the ordering is necessary in a Presburger formula.
Discret. Math. Theor. Comput. Sci.
Christian Choffrut, Achille Frigeri
2010 B conf
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
SEFM
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 J jnl
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2009 — conf
Automata and Logic on p-adic numbers.
ICTCS
Achille Frigeri
2007 — conf
Definable sets in weak Presburger arithmetic.
ICTCS
Christian Choffrut, Achille Frigeri