The SCEAS System
Navigation Menu

Search the dblp DataBase


Antonio Cansado: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
    Model-checking Distributed Components: The Vercors Platform. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:3-16 [Journal]

  2. A Specification Language for Distributed Components Implemented in GCM/ProActive. [Citation Graph (, )][DBLP]

  3. Specification and Verification for Grid Component-Based Applications: From Models to Tools. [Citation Graph (, )][DBLP]

  4. Specifying Fractal and GCM Components with UML. [Citation Graph (, )][DBLP]

  5. Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks. [Citation Graph (, )][DBLP]

  6. Behavioural models for distributed Fractal components. [Citation Graph (, )][DBLP]

  7. Transparent First-class Futures and Distributed Components. [Citation Graph (, )][DBLP]

  8. Unifying Architectural and Behavioural Specifications of Distributed Components. [Citation Graph (, )][DBLP]

  9. A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. [Citation Graph (, )][DBLP]

Search in 0.016secs, Finished in 0.017secs
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