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)
- 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)
- A Logical View of Choreography C. Montangero, L. Semini
- A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming Ambriola,V., Cignoni,G.A., Semini,L.
- A Refinement Calculus for Mobility G. Ferrari, C. Montangero, L. Semini, S. Semprini
- A Refinement Calculus for Tuple Spaces L. Semini, C. Montangero
- Acheiving Fault Tolerance by a Fomally Validated Interaction Policy- Parte di:Rigorous engineering of fault tolerant systems Alessandro Fantechi, Stefania Gnesi, Laura Semini
- Ad Hoc Network Applications: Specification, Design andVerification in Mob-Adtl G. Ferrari, C. Montangero, L. Semini, S. Semprini
- Applying Refinement Calculi to Software Process Modelling Carlo Montangero and Laura Semini
- Barbed Model-Driven Software Development: A case study MONTANGERO CARLO, SEMINI LAURA
- Composing specifications for coordination Carlo Montangero, Laura Semini
- DSTL: A LOGIC FOR GLOBAL COMPUTING Carlo Montangero, Laura Semini, Alberto Zanardo
- Detecting policy conflicts by model checking UML state machines Ter beek Maurice, Gnesi Stefania, MONTANGERO CARLO, SEMINI LAURA
- Distributed States Logic C. Montangero; L. Semini
- Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality Alessandro Fantechi, Stefania Gnesi, Laura Semini
- Formalizing an Adaptive Security Infrastructure in Mob-adtl C. Montangero e L. Semini
- Implementation of coordination primitives in a mobile architecture Stefania Gnesi, Laura Semini
- Logic Based Coordination for Event-Driven Self-Healing Distributed Systems C. Montangero, L. Semini, S. Semprini
- Logic-based conflict detection for distributed policies MONTANGERO CARLO, Reiff marganiec Stephan, SEMINI LAURA
- Logic-based detection of conflicts in APPEL policies MONTANGERO CARLO, Reiff-marganiec Stephan, SEMINI LAURA
- Managing Adaptivity in Parallel Systems Aldinucci Marco, DANELUTTO MARCO, Kilpatrick Peter, MONTANGERO CARLO, SEMINI LAURA
- Mark Reasoning Environment FERRARI GIAN-LUIGI, MONTANGERO CARLO, SEMINI LAURA, Semprini Simone
- Mark, a Reasoning Kit for Mobility G. Ferrari; C. Montangero; L. Semini; S. Semprini
- Mobile Agents Coordination in Mob_adtl Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
- Model checking support for conflict resolution in multiple non-functional concern management DANELUTTO MARCO, Kilpatrick Peter, MONTANGERO CARLO, SEMINI LAURA
- Model-driven development of adaptable service-oriented business processes- Parte di:Rigorous Software Engineering for Service-Oriented Systems MONTANGERO CARLO, Reiff-marganiec Stephan, SEMINI LAURA
- Modeling Web Applications by the Multiple Levels of Integrity Policy G.Amato, M.Coppola, S.Gnesi, F.Scozzari, L.Semini
- Modeling Web Applications by the Multiple Levels of Integrity Policy G. Amato, M. Coppola, S. Gnesi, F. Scozzari, L. Semini
- Multiple Security Policies in Mob Adtl G. Ferrari, C. Montangero, L. Semini, S. Semprini
- Refining by Architectural Styles or Architecting by Refinements Carlo Montangero and Laura Semini
- Service discovery in Mobadtl C. Montangero, L. Semini, S. Semprini
- Software specification and design: from formal methods to standard middleware Carlo Montangero, Laura Semini
- Specifying and reasoning with asynchrony: proof theory of DSL Negri Sara, SEMINI LAURA
- StPowla: SOA, Policies and Workflows Gorton Steven, MONTANGERO CARLO, Reiff-marganiec Stephan, SEMINI LAURA
- Towards a refinement calculus for mobility Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
- 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)