The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ilya Shlyakhter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
    F-Soft: Software Verification Platform. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:301-306 [Conf]
  2. Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
    Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:137-151 [Conf]
  3. Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai
    Model Checking C Programs Using F-SOFT. [Citation Graph (0, 0)][DBLP]
    ICCD, 2005, pp:297-308 [Conf]
  4. Daniel Jackson, Ian Schechter, Ilya Shlyakhter
    Alcoa: the alloy constraint analyzer. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:730-733 [Conf]
  5. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:94-105 [Conf]
  6. Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
    Static Analysis in Disjunctive Numerical Domains. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:3-17 [Conf]
  7. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
    A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:272-286 [Conf]
  8. Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
    A micromodularity mechanism. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf]
  9. Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller
    Reconstructing 3D Tree Models from Instrumented Photographs. [Citation Graph (0, 0)][DBLP]
    IEEE Computer Graphics and Applications, 2001, v:21, n:3, pp:53-61 [Journal]
  10. Ilya Shlyakhter
    Generating effective symmetry-breaking predicates for search problems. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2007, v:155, n:12, pp:1539-1548 [Journal]

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