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)
- 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)
- A modular LTS for open reactive systems GADDUCCI FABIO, MONREALE GIACOMA, MONTANARI UGO GIOVANNI ERASMO
- Concurrency can’t be observed, asynchronously Baldan Paolo, Bonchi Filippo, GADDUCCI FABIO, MONREALE GIACOMA
- LTS Semantics for Process Calculi from Their Graphical Encodings MONREALE GIACOMA
- RPO semantics for Mobile Ambients Bonchi Filippo, GADDUCCI FABIO, MONREALE GIACOMA
- Towards A General Theory of Barbs, Contexts and Labels Bonchi Filippo, GADDUCCI FABIO, MONREALE GIACOMA
- 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)