|
Search the dblp DataBase
Marco Benini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marco Benini
Representing Object Code. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:538-552 [Conf]
- Marco Benini, Fiorella de Cindio, Leonardo Sonnante
Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities. [Citation Graph (0, 0)][DBLP] Digital Cities, 2003, pp:217-232 [Conf]
- Michela Acquaviva, Marco Benini
Towards Short Term Content Adaptation. [Citation Graph (0, 0)][DBLP] ELeGI Conference, 2005, pp:- [Conf]
- Michela Acquaviva, Marco Benini, Alberto Trombetta
Short-Term Content Adaptation in Web-based Learning Systems. [Citation Graph (0, 0)][DBLP] Web Technologies, Applications, and Services, 2005, pp:198-203 [Conf]
- Marco Benini, Sara Kalvala, Dirk Nowotka
Program Abstraction in a Higher-Order Logic Framework. [Citation Graph (0, 0)][DBLP] TPHOLs, 1998, pp:33-48 [Conf]
- Marco Benini, Alberto Trombetta, Michela Acquaviva
A model for short-term content adaptation. [Citation Graph (0, 0)][DBLP] WWW (Special interest tracks and posters), 2005, pp:1034-1035 [Conf]
- Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
A Constructive Object Oriented Modeling Language for Information Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:55-75 [Journal]
- Alessandro Avellone, Marco Benini, Ugo Moscato
How to Avoid the Formal Verification of a Theorem Prover. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
Assessing the risk of intercepting VoIP calls. [Citation Graph (, )][DBLP]
Risk assessment in practice: A real case study. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|