Follow
Achille Frigeri
Achille Frigeri
Unknown affiliation
Verified email at polimi.it
Title
Cited by
Cited by
Year
Bounded reachability for temporal logic over constraint systems
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
372010
Inverse semigroups with apartness
A Cherubini, A Frigeri
Semigroup Forum 98, 571-588, 2019
322019
Fuzzy time in linear temporal logic
A Frigeri, L Pasquale, P Spoletini
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-22, 2014
272014
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
MM Bersani, L Cavallaro, A Frigeri, M Pradella, M Rossi
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on …, 2010
272010
Completeness of the bounded satisfiability problem for constraint LTL
MM Bersani, A Frigeri, M Rossi, P San Pietro
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy …, 2011
212011
Constraint LTL satisfiability checking without automata
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
Journal of Applied Logic 12 (4), 522-557, 2014
192014
Expressiveness and complexity of regular pure two-dimensional context-free languages
MM Bersani, A Frigeri, A Cherubini
International Journal of Computer Mathematics 90 (8), 1708-1733, 2013
132013
On some classes of 2D languages and their relations
MM Bersani, A Frigeri, A Cherubini
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011 …, 2011
132011
Fuzzy time in LTL
A Frigeri, L Pasquale, P Spoletini
arXiv preprint arXiv:1203.6278, 2012
92012
Deciding whether the ordering is necessary in a Presburger formula
C Choffrut, A Frigeri
Discrete Mathematics & Theoretical Computer Science 12 (Automata, Logic and …, 2010
92010
Definable sets in weak Presburger arithmetic.
C Choffrut, A Frigeri
ICTCS, 175-186, 2007
62007
CLTL Satisfiability Checking without Automata
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
arXiv preprint arXiv:1205.0946, 2012
52012
SMT-based Bounded Model Checking with Difference Logic Constraints
MM Bersani, A Frigeri, M Pradella, M Rossi, A Morzenti, P San Pietro
Technical report, Politecnico di Milano, 2010
42010
Composing short 3-compressing words on a 2-letter alphabet
A Cherubini, A Frigeri, Z Liu
Discrete Mathematics & Theoretical Computer Science 19 (Automata, Logic and …, 2017
32017
BIB-designs from circular nearrings
A Benini, A Frigeri, F Morini
Results in Mathematics 64 (1), 121-133, 2013
32013
Codes and combinatorial structures from circular planar nearrings
A Benini, A Frigeri, F Morini
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011
32011
Missing factors of ideals and synchronizing automata
A Frigeri, E Rodaro
Journal of Automata, Languages and Combinatorics 24 (2-4), 309-320, 2019
22019
Time modalities over many-valued logics
N Fiorentini, A Frigeri, L Pasquale, P Spoletini
Proceedings of the 13th Italian Conference on Theoretical Computer Science …, 2012
22012
Short 3-collapsing words over a 2-letter alphabet
A Cherubini, A Frigeri, B Piochi
International Conference on Developments in Language Theory, 469-471, 2011
12011
Circular planar nearrings: geometrical and combinatorial aspects
A Frigeri, F Morini
arXiv preprint arXiv:1012.1059, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20