IRIS

POLICRITI, Alberto

POLICRITI, Alberto  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 177 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 1-gen-2013 Bortolussi, Luca; Policriti, Alberto
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 1-gen-2013 S., Scalabrin; Policriti, Alberto; F., Nadalin; S., Pinosio; F., Cattonaro; E., Vendramin; V., Aramini; I., Verde; D., Bassi; R., Pirona; L., Rossini; Cipriani, Guido; Testolin, Raffaele; Morgante, Michele
A complete axiomatic system for a process-based spatial logic 1-gen-2008 R., Mardare; Policriti, Alberto
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 Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
A Linear-size Cascade Decomposition for Wheeler Automata 1-gen-2023 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
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 Randomized Numerical Aligner (rNA) 1-gen-2010 Policriti, Alberto; Tomescu, A; Vezzi, F.
A Randomized Numerical Aligner -- rNA 1-gen-2012 Policriti, Alberto; Tomescu, Alexandru Ioan; Vezzi, Francesco
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 1-gen-2003 Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael
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
Adding the power-set to description logics 1-gen-2019 Giordano, L.; Policriti, A.