Publications
Publications found: 402
- 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 - Orthogonal Operators for User-Defined Symbolic Periodicities
Lavinia Egidi, Paolo Terenziani
Published on AIMSA, 2004, Pages: 137-147 - A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time
Lavinia Egidi, Paolo Terenziani
Published on TIME, 2004, Pages: 21-27
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 > »