The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Linda Brodo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
    Performance Evaluation for Global Computation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:229-253 [Conf]
  2. Linda Brodo, Pierpaolo Degano, Corrado Priami
    Reflecting Mobile Ambients into the p-Calculus. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:25-56 [Conf]
  3. Linda Brodo, Pierpaolo Degano, Corrado Priami
    A tool for quantitative analysis of calculus processes. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:535-550 [Conf]
  4. Michele Curti, Davide Prandi, Linda Brodo
    Formal Executable Descriptions of Biological Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:2-12 [Conf]
  5. Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego
    Recognition of Human Faces: From Biological to Artificial Vision. [Citation Graph (0, 0)][DBLP]
    BVAI, 2007, pp:191-213 [Conf]
  6. Linda Brodo, Pierpaolo Degano, Corrado Priami
    A Stochastic Semantics for BioAmbients. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:22-34 [Conf]
  7. Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
    Deducing Interactions in Partially Unspecified Biological Systems. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:262-276 [Conf]

  8. On the Quantitative Estimation of Short-Term Aging in Human Faces. [Citation Graph (, )][DBLP]


  9. Static Detection of Logic Flaws in Service-Oriented Applications. [Citation Graph (, )][DBLP]


  10. Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. [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