The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexey Gotsman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi
    Proving that programs eventually do something good. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:265-276 [Conf]
  2. Alexey Gotsman, Josh Berdine, Byron Cook
    Interprocedural Shape Analysis with Separated Heap Abstractions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:240-260 [Conf]
  3. Alexey Gotsman, Fabio Massacci, Marco Pistore
    Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:59-77 [Journal]
  4. Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
    Thread-modular shape analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:266-277 [Conf]

  5. Local Reasoning for Storable Locks and Threads. [Citation Graph (, )][DBLP]


  6. Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]


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