FRIGERI, ACHILLE

FRIGERI, ACHILLE  

DIPARTIMENTO DI MATEMATICA  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autori File
BIB-Designs from Circular Nearrings 1-gen-2013 BENINI, ANNAFrigeri, Achille +
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Codes and combinatorial structures from circular planar nearrings 1-gen-2011 Benini, AnnaFrigeri, Achille +
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Composing short 3-compressing words on a 2-letter alphabet 1-gen-2017 A. CherubiniA. Frigeri +
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Definable Sets in weak Presburger arithmetic 1-gen-2007 FRIGERI, ACHILLE +
Expressiveness and complexity of regular pure two-dimensional context-free languages 1-gen-2013 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Fuzzy time in linear temporal logic 1-gen-2014 Frigeri, AchillePasquale, LilianaSpoletini, Paola
Inverse semigroups with apartness 1-gen-2019 A. CherubiniA. Frigeri
Missing factors of ideals and synchronizing automata 1-gen-2019 Frigeri A.Rodaro E.
New designs from circular nearrings 1-gen-2013 Benini, AnnaFrigeri, Achille +
A Note on Fibonacci Numbers of Even Index 1-gen-2018 A. Frigeri
On some classes of 2D-languages and their relations 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Short 3-Collapsing Words over a 2-Letter Alphabet. 1-gen-2011 CHERUBINI, ALESSANDRAFRIGERI, ACHILLE +
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 1-gen-2010 BERSANI, MARCELLO MARIACAVALLARO, LUCAFRIGERI, ACHILLEPRADELLA, MATTEOROSSI, MATTEO GIOVANNI