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 | 37 | 2010 |

Inverse semigroups with apartness A Cherubini, A Frigeri Semigroup Forum 98, 571-588, 2019 | 32 | 2019 |

Fuzzy time in linear temporal logic A Frigeri, L Pasquale, P Spoletini ACM Transactions on Computational Logic (TOCL) 15 (4), 1-22, 2014 | 31 | 2014 |

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 | 26 | 2010 |

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 | 21 | 2011 |

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 | 19 | 2014 |

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 | 14 | 2013 |

On some classes of 2D languages and their relations MM Bersani, A Frigeri, A Cherubini Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011 …, 2011 | 13 | 2011 |

Deciding whether the ordering is necessary in a Presburger formula C Choffrut, A Frigeri Discrete Mathematics & Theoretical Computer Science 12 (Automata, Logic and …, 2010 | 10 | 2010 |

Fuzzy time in LTL A Frigeri, L Pasquale, P Spoletini arXiv preprint arXiv:1203.6278, 2012 | 9 | 2012 |

Definable sets in weak Presburger arithmetic. C Choffrut, A Frigeri ICTCS, 175-186, 2007 | 6 | 2007 |

CLTL Satisfiability Checking without Automata MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro arXiv preprint arXiv:1205.0946, 2012 | 5 | 2012 |

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 | 4 | 2010 |

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 | 3 | 2017 |

BIB-designs from circular nearrings A Benini, A Frigeri, F Morini Results in Mathematics 64 (1), 121-133, 2013 | 3 | 2013 |

Codes and combinatorial structures from circular planar nearrings A Benini, A Frigeri, F Morini Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011 | 3 | 2011 |

Missing factors of ideals and synchronizing automata A Frigeri, E Rodaro Journal of Automata, Languages and Combinatorics 24 (2-4), 309-320, 2019 | 2 | 2019 |

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 | 2 | 2012 |

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 | 1 | 2011 |

Circular planar nearrings: geometrical and combinatorial aspects A Frigeri, F Morini arXiv preprint arXiv:1012.1059, 2010 | 1 | 2010 |