The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
William Chan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William Chan
    Temporal-Locig Queries. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:450-463 [Conf]
  2. William Chan, Richard J. Anderson, Paul Beame, David Notkin
    Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:316-327 [Conf]
  3. Richard J. Anderson, Paul Beame, William Chan, David Notkin
    Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:460-469 [Conf]
  4. Ruchir Bindal, Pei Cao, William Chan, Jan Medved, George Suwala, Tony Bates, Amy Zhang
    Improving Traffic Locality in BitTorrent via Biased Neighbor Selection. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2006, pp:66- [Conf]
  5. William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
    Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:142-151 [Conf]
  6. William Chan, Richard J. Anderson, Paul Beame, David Notkin
    Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:102-112 [Conf]
  7. Cetin C. Kiris, Dochan Kwak, William Chan
    Parallel Unsteady Turbo-Pump Simulations For Liquid Rocket Engines. [Citation Graph (0, 0)][DBLP]
    SC, 2000, pp:- [Conf]
  8. Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
    Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:156-166 [Conf]
  9. William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
    Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:7, pp:498-520 [Journal]
  10. William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
    Optimizing Symbolic Model Checking for Statecharts. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:2, pp:170-190 [Journal]

Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002