Marina Ribaudo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina Ribaudo, Marina Rui: AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova. CSEDU (2) 2009: 41-46
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaura Cerioli, Marina Ribaudo: Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? EC-TEL 2009: 651-656
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Boccacci, Marina Ribaudo, Marco Mesiti: A Collaborative Environment for the Design of Accessible Educational Objects. Web Intelligence/IAT Workshops 2009: 207-210
2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Marina Ribaudo: Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs. IPDPS 2008: 1-8
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Marina Ribaudo: Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Marina Ribaudo: PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Console, Claudia Picardi, Marina Ribaudo: Process algebras for systems diagnosis. Artif. Intell. 142(1): 19-51 (2002)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Nadia Busi, Marina Ribaudo: Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Eval. 50(2/3): 153-187 (2002)
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Marina Ribaudo: An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
2000
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Console, Claudia Picardi, Marina Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA. ECAI 2000: 131-135
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Marina Ribaudo, Nadia Busi: Compact Net Semantics for Process Algebras. FORTE 2000: 319-334
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Nadia Busi, Marina Ribaudo: Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564
1998
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Marina Ribaudo: Exploiting Symmetries in Stochastic Process Algebras. ESM 1998: 763-770
1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Marina Ribaudo: Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) 1996: 386-437
1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina Ribaudo: On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. Comput. J. 38(7): 600-611 (1995)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Eval. 24(1-2): 47-68 (1995)
1994
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo: On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Eval. 19(2-3): 195-222 (1994)

Coauthor Index

1Gianfranco Balbo [1]
2Marco Bernardo [6] [7] [11]
3Patrizia Boccacci [18]
4Nadia Busi [6] [7] [11]
5Maura Cerioli [19]
6Giovanni Chiola [2] [17]
7Graham Clark [9]
8Luca Console [8] [12]
9Susanna Donatelli [1]
10Giuliana Franceschinis [1] [2] [4]
11Rossano Gaeta [2]
12Stephen Gilmore (Stephen T. Gilmore) [9] [10] [13] [14] [15]
13Holger Hermanns [5]
14Jane Hillston [9] [10] [13] [14] [15] [16]
15Leïla Kloul [14] [15]
16Antonino Mazzeo [1]
17Nicola Mazzocca [1]
18Marco Mesiti [18]
19Claudia Picardi [8] [12]
20Marina Rui [20]

Colors in the list of coauthors

Copyright © Wed Nov 11 17:18:37 2009 by Michael Ley (ley@uni-trier.de)