The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hugh Anderson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hugh Anderson, Siau-Cheng Khoo
    Affine-Based Size-Change Termination. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:122-140 [Conf]
  2. Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
    Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:230-246 [Conf]
  3. Hugh Anderson
    Formalization and 'Literate' Programming. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:39-44 [Conf]
  4. Hugh Anderson
    Abstract Interpretation with a Theorem Prover. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:411-422 [Conf]
  5. Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
    Program transformation by solving recurrences. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:121-129 [Conf]

  6. Regular approximation and bounded domains for size-change termination. [Citation Graph (, )][DBLP]


  7. UTP and Temporal Logic Model Checking. [Citation Graph (, )][DBLP]


  8. A Tool for Calculating Exponential Run-Time Properties. [Citation Graph (, )][DBLP]


  9. Improving Responsiveness of Hard Real-Time Embedded Systems. [Citation Graph (, )][DBLP]


  10. Data Structure Shape Inference and Verification for OO Programs. [Citation Graph (, )][DBLP]


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