|
Search the dblp DataBase
Suchismita Roy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti
SAT based solutions for consistency problems in formal property specifications for open systems. [Citation Graph (0, 0)][DBLP] ICCAD, 2005, pp:885-888 [Conf]
- Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
Bounded Delay Timing Analysis Using Boolean Satisfiability. [Citation Graph (0, 0)][DBLP] VLSI Design, 2007, pp:295-302 [Conf]
- Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
Event propagation for accurate circuit delay calculation using SAT. [Citation Graph (0, 0)][DBLP] ACM Trans. Design Autom. Electr. Syst., 2007, v:12, n:3, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|