Gagan Hasteer
According to our database1,
Gagan Hasteer
authored at least 12 papers
between 1997 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
0
1
2
3
4
5
6
1
2
1
1
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the 46th Design Automation Conference, 2009
2003
Proceedings of the 40th Design Automation Conference, 2003
2002
IEEE Trans. Computers, 2002
1998
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.
ACM Trans. Design Autom. Electr. Syst., 1998
IEEE Trans. Computers, 1998
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998
An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.
Proceedings of the 35th Conference on Design Automation, 1998
1997
J. Parallel Distributed Comput., 1997
Performance Evaluation of Message-Driven Parallel VLSI CAD Applications on General Purpose Multiprocessors.
Proceedings of the 11th international conference on Supercomputing, 1997
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997
Proceedings of the 34st Conference on Design Automation, 1997