RIBAUDO, MARINA
RIBAUDO, MARINA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
:DRHOP, A Platform Proposal for Online Charity
2018-01-01 Dagnino, Francesco; Ribaudo, Marina
A Collaborative Environment for the Design of Accessible Educational Objects
2009-01-01 Boccacci, Patrizia; M., Mesiti; Ribaudo, Marina
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
1995-01-01 S., Donatelli; Ribaudo, Marina; J., Hillston
A Comparison of the Expressiveness of SPA and Bounded SPN models
2001-01-01 J., Hillston; L., Recalde; Ribaudo, Marina; M., Silva
A NERD DOGMA: introducing CTF to non-expert audience
2020-01-01 Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea
Accessibility and usability of a collaborative e-learning application
2010-01-01 A., Bozza; S., Dini; M., Mesiti; Ribaudo, Marina; S., Valtolina
An abstract machine for asynchronous programs with closures and priority queues
2017-01-01 Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry
2012-01-01 Leotta, Maurizio; Ricca, Filippo; Ribaudo, Marina; Reggio, Gianna; Astesiano, Egidio; Vernazza, Tullio
AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova
2009-01-01 Ribaudo, Marina; Rui, Marina
Automatic Challenge Generation for Hands-on Cybersecurity Training
2022-01-01 Benzi, Matteo; Lagorio, Giovanni; Ribaudo, Marina
Capture the Flag competitions for Higher Education
2021-01-01 Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro
Civic participation powered by Ethereum: A proposal
2019-01-01 Cerioli, M.; Ribaudo, M.
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study
2019-01-01 Leotta, Maurizio; Clerissi, Diego; Franceschini, Luca; Olianas, Dario; Ancona, Davide; Ricca, Filippo; Ribaudo, Marina
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents
2020-01-01 Ferraro, Gaspare; Lagorio, Giovanni; Ribaudo, Marina
Diagnosis and Diagnosability Analysis Using PEPA
2000-01-01 L., Console; C., Picardi; Ribaudo, Marina
Exploiting Modal Logic to Express Performance Measures
2000-01-01 G., Clark; S., Gilmore; J., Hillston; Ribaudo, Marina
Exploiting Symmetries in Stochastic Process Algebras
1998-01-01 H., Hermanns; Ribaudo, Marina
Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study
2019-01-01 Petito, Vincenzo; Leotta, Maurizio; Ribaudo, Marina
Integrating Two Towers and GreatSPN
2000-01-01 M., Bernardo; N., Busi; Ribaudo, Marina
Modelling Mobility with PEPA Nets
2004-01-01 J., Hillston; Ribaudo, Marina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| :DRHOP, A Platform Proposal for Online Charity | 1-gen-2018 | Dagnino, Francesco; Ribaudo, Marina | |
| A Collaborative Environment for the Design of Accessible Educational Objects | 1-gen-2009 | Boccacci, Patrizia; M., Mesiti; Ribaudo, Marina | |
| A comparison of performance evaluation process algebra and generalized stochastic Petri nets | 1-gen-1995 | S., Donatelli; Ribaudo, Marina; J., Hillston | |
| A Comparison of the Expressiveness of SPA and Bounded SPN models | 1-gen-2001 | J., Hillston; L., Recalde; Ribaudo, Marina; M., Silva | |
| A NERD DOGMA: introducing CTF to non-expert audience | 1-gen-2020 | Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea | |
| Accessibility and usability of a collaborative e-learning application | 1-gen-2010 | A., Bozza; S., Dini; M., Mesiti; Ribaudo, Marina; S., Valtolina | |
| An abstract machine for asynchronous programs with closures and priority queues | 1-gen-2017 | Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo | |
| An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry | 1-gen-2012 | Leotta, Maurizio; Ricca, Filippo; Ribaudo, Marina; Reggio, Gianna; Astesiano, Egidio; Vernazza, Tullio | |
| AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova | 1-gen-2009 | Ribaudo, Marina; Rui, Marina | |
| Automatic Challenge Generation for Hands-on Cybersecurity Training | 1-gen-2022 | Benzi, Matteo; Lagorio, Giovanni; Ribaudo, Marina | |
| Capture the Flag competitions for Higher Education | 1-gen-2021 | Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro | |
| Civic participation powered by Ethereum: A proposal | 1-gen-2019 | Cerioli, M.; Ribaudo, M. | |
| Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study | 1-gen-2019 | Leotta, Maurizio; Clerissi, Diego; Franceschini, Luca; Olianas, Dario; Ancona, Davide; Ricca, Filippo; Ribaudo, Marina | |
| CyberChallenge.IT@Unige: Ethical Hacking for Young Talents | 1-gen-2020 | Ferraro, Gaspare; Lagorio, Giovanni; Ribaudo, Marina | |
| Diagnosis and Diagnosability Analysis Using PEPA | 1-gen-2000 | L., Console; C., Picardi; Ribaudo, Marina | |
| Exploiting Modal Logic to Express Performance Measures | 1-gen-2000 | G., Clark; S., Gilmore; J., Hillston; Ribaudo, Marina | |
| Exploiting Symmetries in Stochastic Process Algebras | 1-gen-1998 | H., Hermanns; Ribaudo, Marina | |
| Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study | 1-gen-2019 | Petito, Vincenzo; Leotta, Maurizio; Ribaudo, Marina | |
| Integrating Two Towers and GreatSPN | 1-gen-2000 | M., Bernardo; N., Busi; Ribaudo, Marina | |
| Modelling Mobility with PEPA Nets | 1-gen-2004 | J., Hillston; Ribaudo, Marina |