Publications
Publications found: 404
- DBNet, a tool to convert Dynamic Fault Trees to Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale, Marco Varesio
Published on TR-INF-2005-08-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2005 - Bayesian Networks in Reliability
Helge Langseth, Luigi Portinale
Published on TR-INF-2005-04-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2005 - The OsMoSys approach to multi-formalism modeling of systems
Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
Published on Software and System Modeling Vol. 3 n. 1, 2004, Pages: 68-81 - RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets
Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele Calogero
Published on Bioinformatics Vol. 20 n. 16, 2004, Pages: 2848-2850 - Extended SWN Solvers in GreatSPN
Jean-michel Ilié, Soheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Published on QEST, 2004, Pages: 324-325 - Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
Published on ISCIS, 2004, Pages: 553-563 - Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Published on ICATPN, 2004, Pages: 177-196 - Anonymity and certification: e-mail, a case study.
Lavinia Egidi, Giovanni Porcelli
Published on SAC, 2004, Pages: 397-403 - Anonymity and certification: e-mail, a case study
Lavinia Egidi, Giovanni Porcelli
Published on SAC, 2004, Pages: 397-403 - A Lattice of Classes of User-Defined Symbolic Periodicities
Lavinia Egidi, Paolo Terenziani
Published on TIME, 2004, Pages: 13-20
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
