|
Search the dblp DataBase
Suhabe Bugrara:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
Optimizations for Compiling Declarative Models into Boolean Formulas. [Citation Graph (0, 0)][DBLP] SAT, 2005, pp:187-202 [Conf]
- Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara
A classification system and analysis for aspect-oriented programs. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2004, pp:147-158 [Conf]
- Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project. [Citation Graph (0, 0)][DBLP] PASTE, 2007, pp:43-48 [Conf]
Verifying the Safety of User Pointer Dereferences. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|