Strutture
Dipartimento di Informatica
Prodotti
ABDELAZIM ISMAIL MOHAMED HESHAM (10)
- ALBANO ANTONIO (18)
- ALBANO MICHELE (19)
- ALDINUCCI MARCO (63)
- AMBRIOLA VINCENZO (52)
- ATTARDI GIUSEPPE (67)
- BACCIU DAVIDE (2)
- BAGLIONI MIRIAM (1)
- BAIARDI FABRIZIO (61)
- BARBUTI ROBERTO (73)
- BARCARO UMBERTO (50)
- BATTAGLIA GIOVANNI (7)
- BELLIA MARCO (23)
- BENEDETTI LUCA (2)
- BERNABEI DANIELE (2)
- BERNASCONI ANNA (67)
- BERTOLLI CARLO (2)
- BEVILACQUA ROBERTO (19)
- BIGI GIANCARLO (27)
- BODEI CHIARA (58)
- BONUCCELLI MAURIZIO ANGELO (27)
- BORGER EGON (100)
- BOZZO ENRICO (12)
- BRACCIALI ANDREA (28)
- BROGI ANTONIO (114)
- BRUNI ROBERTO (134)
- BUONO DANIELE (4)
- BUSCEMI MARIA GRAZIA (2)
- CAMPA SONIA (3)
- CANGELOSI DAVIDE (6)
- CAPANNINI GABRIELE (2)
- CAPOVANI MILVIO (6)
- CAPPELLI AMEDEO (4)
- CARAVAGNA GIULIO (9)
- CARMIGNANI NICOLA (5)
- CECCARELLI DIEGO (4)
- CHESSA STEFANO (117)
- CIANCIA VINCENZO (3)
- CIONI LORENZO (9)
- CISTERNINO ANTONIO (58)
- CIUFFOLETTI AUGUSTO (47)
- CONFORTI GIOVANNI (15)
- CORFINI SARA (12)
- CORRADINI ANDREA (106)
- COSCIA MICHELE (4)
- COSTA GABRIELE (8)
- DANELUTTO MARCO (108)
- DEGANO PIERPAOLO (125)
- DEL CORSO GIANNA MARIA (45)
- DELL'ORLETTA FELICE (1)
- DI BENEDETTO MARCO (2)
- DI PIERRO ALESSANDRA (35)
- DINH VIET DUNG (3)
- DITTAMO CRISTIAN (10)
- DRABIK PETER (3)
- ERMINI DONATELLA (2)
- FERRAGINA PAOLO (98)
- FERRARI GIAN-LUIGI (115)
- FRANGIONI ANTONIO (59)
- FUENTES MARTINEZ THAIZEL CARIDAD (3)
- GADDUCCI FABIO (103)
- GALLETTA LETTERIO (1)
- GALLICCHIO CLAUDIO (10)
- GALLO GIORGIO ANGELO (40)
- GERMANO GIORGIO (14)
- GERVASI VINCENZO (79)
- GHELLI GIORGIO (60)
- GORI ROBERTA (35)
- GROSSI ROBERTO (88)
- GROSSI VALERIO (1)
- GUERRINI GIOVANNA (41)
- KRAUTSEVICH LEANID (8)
- LAGANA' MARIA RITA (31)
- LAMETTI SILVIA (2)
- LEONI GUALTIERO (2)
LEVI FRANCESCA (16)
- A Control Flow Analysis for Safe and Boxed Ambients Francesca Levi Chiara Bodei
- A New Occurrence Counting Analysis for BioAmbients Roberta Gori Francesca Levi
- A symbolic semantics for abstract model checking Francesca Levi
- A typed encoding of boxed into safe ambients Francesca Levi
- Abstract Interpretation for Probabilistic Termination of Biological Systems GORI ROBERTA, LEVI FRANCESCA
- Abstract interpretation based verification of temporal properties for BioAmbients GORI ROBERTA, LEVI FRANCESCA
- An Abstract Interpretation Framework for Analysing Mobile Ambients Francesca Levi Sergio Maffeis
- An Analysis for Proving Temporal Properties of Biological Systems GORI ROBERTA, LEVI FRANCESCA
- Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation Coletta Alessio, GORI ROBERTA, LEVI FRANCESCA
- Compositional Verification of Quantitative Properties of Statecharts Francesca Levi
- Maximally parallel probabilistic semantics for multiset rewriting BARBUTI ROBERTO, LEVI FRANCESCA, Milazzo Paolo, Scatena Guido
- Mobile safe ambients Francesca Levi Davide Sangiorgi
- On abstract interpretation of Mobile Ambients Francesca Levi Sergio Maffeis
- Parallel Probabilistic Semantics for Multiset Rewriting BARBUTI ROBERTO, LEVI FRANCESCA, Milazzo Paolo, Scatena Guido
- Probabilistic model checking of biological systems with uncertain kinetic rates BARBUTI ROBERTO, LEVI FRANCESCA, MILAZZO PAOLO, Scatena Guido
- Types for Evolving Communication in Safe Ambients Francesca Levi
- LEVI GIORGIO (25)
- LUCCIO FABRIZIO (67)
- MAESTRINI PIERO (31)
- MAGGIOLO SCHETTINI ANDREA (79)
- MANCARELLA PAOLO MARIA (63)
- MARANGONI ROBERTO (123)
- MARTELLI FRANCESCA (17)
- MASULLI FRANCESCO (105)
- MENCHI ORNELLA (32)
- MENEGHIN MASSIMILIANO (2)
- MEZZETTI GIANLUCA (1)
- MICHELI ALESSIO (100)
- MILAZZO PAOLO (36)
- MONREALE ANNA (14)
- MONREALE GIACOMA (5)
- MONREALE GIACOMA (7)
- MONTANARI UGO GIOVANNI ERASMO (200)
- MONTANGERO CARLO (41)
- MORELLI DAVIDE (6)
- MORREALE EUGENIO (15)
- NANNI MIRCO (2)
- NICOTRA LUCA (4)
- NIDITO FRANCESCO (1)
- NITTO IGOR (5)
- OCCHIUTO MARIA EUGENIA (24)
- ONG REBECCA (1)
- OTTAVIANO GIUSEPPE (5)
- PAGLI LINDA (66)
- PALLOTTINO STEFANO (45)
- PALMA GIANPAOLO (3)
- PARDINI GIOVANNI (5)
- PARDINI LUCA (1)
- PASCALI FAUSTO (1)
- PEDRESCHI DINO (78)
- PELAGATTI SUSANNA (35)
- PEREZ SANCHEZ LUIS (1)
- PICCINONNO FULVIO (8)
- PISANTI NADIA (68)
- PRENCIPE GIUSEPPE (44)
- RAMA AURELIANO (2)
- RECCHIA RAFFAELLA (1)
- RICCI LAURA (66)
- ROMANI FRANCESCO (31)
- ROMEI ANDREA (1)
- RUGGIERI SALVATORE (49)
- SARTIANI CARLO (3)
- SCOZZARI FRANCESCA (18)
- SCUTELLA' MARIA GRAZIA (65)
- SEMINI LAURA (33)
- SGANDURRA DANIELE (21)
- SIMI MARIA (43)
- SPADAFORA IPPOLITO (3)
- SPANO LUCIO DAVIDE (12)
- STARITA ANTONINA (129)
- TRASARTI ROBERTO (5)
- TURINI FRANCO (75)
- VAIRO CLAUDIO FRANCESCO (6)
- VANNESCHI MARCO (87)
- VENTURINI ROSSANO (10)
- VIGLIETTA GIOVANNI (9)
- ZUNINO ROBERTO (3)