The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Benini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco Benini
    Representing Object Code. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:538-552 [Conf]
  2. 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]
  3. Michela Acquaviva, Marco Benini
    Towards Short Term Content Adaptation. [Citation Graph (0, 0)][DBLP]
    ELeGI Conference, 2005, pp:- [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]

  9. Assessing the risk of intercepting VoIP calls. [Citation Graph (, )][DBLP]


  10. Risk assessment in practice: A real case study. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002