POLICRITI, Alberto

POLICRITI, Alberto  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 162 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
A Computerized Referee 1-gen-2006 EUGENIO G., Omodeo; Domenico, Cantone; Policriti, Alberto; AND SCHWARTZ JACOB, T.
A contribution to the Automated Treatment of Membership Theories 1-gen-1990 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A derived algorithm for evaluating epsilon-expressions over abstract sets 1-gen-1993 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A logical approach to time granularity 1-gen-2001 Montanari, Angelo; Policriti, Alberto
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 1-gen-2014 DEL FABBRO, Cristian; Fabio, Tardivo; Policriti, Alberto
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics 1-gen-1997 Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for polymodal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 1-gen-1998 Dovier, Agostino; Policriti, Alberto; Rossi, G.
Ackermann Encoding, Bisimulations, and OBDD's 1-gen-2001 Piazza, Carla; Policriti, Alberto
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
An active learning approach to the falsification of black box cyber-physical systems 1-gen-2017 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
Adding the power-set to description logics 1-gen-2019 Giordano, L.; Policriti, A.
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
Algorithms and Data Structures for Next Generation Sequences 1-gen-2014 Vezzi, Francesco; Lancia, Giuseppe; Policriti, Alberto
Alternative Translation Techniques for Propositional and First-Order Modal Logics 1-gen-2002 Montanari, Angelo; Policriti, Alberto; Slanina, M.
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 1-gen-2005 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Automated FingerPrint Background removal: FPB 1-gen-2009 Scalabrin, S; Morgante, Michele; Policriti, Alberto
Automated Search for LTR Retrotransposons 1-gen-2002 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 1-gen-2015 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola