| 2008 |
|---|
| 10 | EE | Marco Benini,
Sabrina Sicari:
Risk assessment in practice: A real case study.
Computer Communications 31(15): 3691-3699 (2008) |
| 9 | EE | Marco Benini,
Sabrina Sicari:
Assessing the risk of intercepting VoIP calls.
Computer Networks 52(12): 2432-2446 (2008) |
| 2006 |
|---|
| 8 | EE | Mario Ornaghi,
Marco Benini,
Mauro Ferrari,
Camillo Fiorentini,
Alberto Momigliano:
A Constructive Object Oriented Modeling Language for Information Systems.
Electr. Notes Theor. Comput. Sci. 153(1): 55-75 (2006) |
| 2005 |
|---|
| 7 | EE | Michela Acquaviva,
Marco Benini:
Towards Short Term Content Adaptation.
ELeGI Conference 2005 |
| 6 | EE | Marco Benini,
Alberto Trombetta,
Michela Acquaviva:
A model for short-term content adaptation.
WWW (Special interest tracks and posters) 2005: 1034-1035 |
| 5 | | Michela Acquaviva,
Marco Benini,
Alberto Trombetta:
Short-Term Content Adaptation in Web-based Learning Systems.
Web Technologies, Applications, and Services 2005: 198-203 |
| 2003 |
|---|
| 4 | EE | Marco Benini,
Fiorella de Cindio,
Leonardo Sonnante:
Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities.
Digital Cities 2003: 217-232 |
| 2001 |
|---|
| 3 | EE | Alessandro Avellone,
Marco Benini,
Ugo Moscato:
How to Avoid the Formal Verification of a Theorem Prover.
Logic Journal of the IGPL 9(1): (2001) |
| 2000 |
|---|
| 2 | EE | Marco Benini:
Representing Object Code.
Computational Logic 2000: 538-552 |
| 1998 |
|---|
| 1 | | Marco Benini,
Sara Kalvala,
Dirk Nowotka:
Program Abstraction in a Higher-Order Logic Framework.
TPHOLs 1998: 33-48 |
