Subash Shankar
发表
Xiaowei Xu,
Subash Shankar,
2003,
Software Engineering Research and Practice.
Jinlin Chen,
Subash Shankar,
Angela M. Kelly,
2009,
2009 IEEE International Conference on Information Reuse & Integration.
Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul
Thomas Reps,
Masahiro Fujita,
Edmund M. Clarke,
1998
.
Virginie Wiels,
Subash Shankar,
Michel Boyer,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Subash Shankar,
Romel Rivera,
Susan Seaholm,
1998
.
Subash Shankar,
Gilbert Pajela,
2016,
SPIN.
Subash Shankar,
Sinan Asa,
S. Shankar,
2003,
UML.
Subash Shankar,
2002
.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
2002
.
Xiaowei Xu,
Subash Shankar,
Sinan Asa,
2005,
ASE '05.
Masahiro Fujita,
Subash Shankar,
S. Shunsuke,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Edmund M. Clarke,
David Déharbe,
Subash Shankar,
1998,
FMCAD.
Virginie Wiels,
Subash Shankar,
Michel Boyer,
2012,
2012 IEEE Sixth International Conference on Software Security and Reliability Companion.
Masahiro Fujita,
Subash Shankar,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Virginie Wiels,
Subash Shankar,
Michel Boyer,
2014
.
Xiaojie Zhang,
Subash Shankar,
Saptarshi Debroy,
2020,
2020 16th International Conference on the Design of Reliable Communication Networks DRCN 2020.
James R. Slagle,
Subash Shankar,
1997,
CHARME.
Subash Shankar,
2002,
ICFEM.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
1999,
CHARME.
Virginie Wiels,
Subash Shankar,
Michel Boyer,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Jinlin Chen,
Subash Shankar,
Rathika Rajaravivarma,
2009,
2009 18th Annual Wireless and Optical Communications Conference.
Subash Shankar,
1988,
ICLP/SLP.
James R. Slagle,
Subash Shankar,
1997,
AAAI/IAAI.
Subash Shankar,
2002,
PDPTA.
James R. Slagle,
Subash Shankar,
1998
.
James R. Slagle,
Subash Shankar,
J. Slagle,
2003
.