The SCEAS System
Navigation Menu

Search the dblp DataBase


Pierfrancesco Bellini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi
    Evaluating a Flexible Architecture for Distributed Control. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:66-76 [Conf]
  2. Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi
    Verification Criteria for a Compositional Model for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:25-35 [Conf]
  3. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai
    Comparing Fault-Proneness Estimation Models. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:205-214 [Conf]
  4. Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi
    Execution of TILCO Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:78-0 [Conf]
  5. Pierfrancesco Bellini, Paolo Nesi
    Communicating TILCO: A Model for Real-Time System Specification. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:4-14 [Conf]
  6. Pierfrancesco Bellini, Paolo Nesi
    TILCO-X, an Extension of TILCO Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:15-25 [Conf]
  7. Pierfrancesco Bellini, Sauro Chellini, Tommaso Martini, Paolo Nesi, Davide Rogai, Andrea Vallotti
    AXMEDIS architectural solution for interoperable content and DRM on multichannel distribution. [Citation Graph (0, 0)][DBLP]
    AIAI, 2006, pp:697-704 [Conf]
  8. Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai
    TILCO Temporal Logic for Real-Time Systems Implementation in C++. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:166-173 [Conf]
  9. Pierfrancesco Bellini, Jean-Pierre Barthélemy, Paolo Nesi, Giorgio Zoia
    A Proposal for the Integration of Symbolic Music Notation into Multimedia Frameworks. [Citation Graph (0, 0)][DBLP]
    WEDELMUSIC, 2004, pp:36-43 [Conf]
  10. Pierfrancesco Bellini, Jean-Pierre Barthélemy, Ivan Bruno, Paolo Nesi, Marius B. Spinu
    Multimedia Music Sharing among Mediateques: Archives and Distribution to Their Attendees. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2003, v:17, n:8-9, pp:773-795 [Journal]
  11. Pierfrancesco Bellini, Fabrizio Fioravanti, Paolo Nesi
    Managing Music in Orchestras. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:9, pp:26-34 [Journal]
  12. Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi
    Temporal logics for real-time system specification. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2000, v:32, n:1, pp:12-42 [Journal]
  13. Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
    Validating Component Integration with C-TILCO: A Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:241-252 [Journal]
  14. Pierfrancesco Bellini, Paolo Nesi, Giorgio Zoia
    Symbolic Music Representation in MPEG. [Citation Graph (0, 0)][DBLP]
    IEEE MultiMedia, 2005, v:12, n:4, pp:42-49 [Journal]
  15. Pierfrancesco Bellini, Paolo Nesi
    Automatic justification and line-breaking of music sheets. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2004, v:61, n:1, pp:104-137 [Journal]
  16. Pierfrancesco Bellini, M. Buonopane, Paolo Nesi
    Assessment of a Flexible Architecture for Distributed Control*. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2003, v:29, n:3, pp:147-160 [Journal]
  17. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi
    A distributed system for computer vision quality control of clinched boards. [Citation Graph (0, 0)][DBLP]
    Real-Time Imaging, 2004, v:10, n:3, pp:161-176 [Journal]
  18. Pierfrancesco Bellini, Paolo Nesi, Marius B. Spinu
    Cooperative visual manipulation of music notation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 2002, v:9, n:3, pp:194-237 [Journal]
  19. Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
    Reply to Comments on "An Interval Logic for Real-Time System Specification'. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:6, pp:428-431 [Journal]
  20. Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi
    Verification of external specifications of reactive systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2000, v:30, n:6, pp:692-709 [Journal]
  21. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi
    A GRID based Framework and tools for automating production of cross media content. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:236-248 [Conf]
  22. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai
    An Integrated Framework for Automating Content Enrich Packaging and Distribution with DRM support. [Citation Graph (0, 0)][DBLP]
    SWAP, 2006, pp:- [Conf]

  23. Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation Tools. [Citation Graph (, )][DBLP]

  24. A Language and Architecture for Automating Multimedia Content Production on Grid. [Citation Graph (, )][DBLP]

  25. Tassonomy and Review of Complex Content Models. [Citation Graph (, )][DBLP]

  26. Distributed Interactive Multimedia for Technology-enhanced Learning and Automated Content Production and Distribution. [Citation Graph (, )][DBLP]

  27. Performance Evaluation and Statistical Analysis of a BitTorrent Tracker. [Citation Graph (, )][DBLP]

  28. Personal Content Management on PDA for Health Care Applications. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002