Prahladavaradan Sampath
发表
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2007,
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2010,
ASE '10.
Samarjit Chakraborty,
Prahladavaradan Sampath,
S. Ramesh,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Prahladavaradan Sampath,
Shrawan Kumar,
P. Sampath,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Deepak D'Souza,
Prahladavaradan Sampath,
Madhu Gopinathan,
2013
.
Deepak D'Souza,
Prahladavaradan Sampath,
Madhu Gopinathan,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Prahladavaradan Sampath,
K. C. Shashidhar,
S. Ramesh,
2008
.
Deepak D'Souza,
Prahladavaradan Sampath,
S. Ramesh,
2009,
2009 IEEE International Conference on Automation Science and Engineering.
Prahladavaradan Sampath,
S. Ramesh,
Silky Arora,
2012,
2012 20th IEEE International Requirements Engineering Conference (RE).
Prahladavaradan Sampath,
2002,
ICLP.
Prahladavaradan Sampath,
2006,
ArXiv.
Prahladavaradan Sampath,
S. Ramesh,
Silky Arora,
2011,
2011 IEEE 19th International Requirements Engineering Conference.
Prahladavaradan Sampath,
2013,
Formal Aspects of Computing.
Prahladavaradan Sampath,
S. Ramesh,
S. Ramesh,
2007
.
Prahladavaradan Sampath,
2000
.
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Chris Hankin,
Rajagopal Nagarajan,
Prahladavaradan Sampath,
2002,
The Essence of Computation.
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Prahladavaradan Sampath,
2003,
PADL.
Sumesh Divakaran,
Deepak D'Souza,
Nigamanth Sridhar,
2015,
ICFEM.