Paritosh K. Pandya
发表
Dang Van Hung,
Paritosh K. Pandya,
P. Pandya,
1998,
FTRTFT.
Paritosh K. Pandya,
P. Pandya,
1995,
CSL.
Paritosh K. Pandya,
Simoni S. Shah,
2012,
ATVA.
Paritosh K. Pandya,
2001,
TACAS.
Y. S. Ramakrishna,
Paritosh K. Pandya,
P. Pandya,
1998,
FSTTCS.
Paritosh K. Pandya,
P. Pandya,
2002,
Theory and Practice of Timed Systems @ ETAPS.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2016,
FoSSaCS.
Raman Kazhamiakin,
Marco Pistore,
Paritosh K. Pandya,
2006,
First International Conference on Availability, Reliability and Security (ARES'06).
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2017,
MFCS.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2014,
ICTAC.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
VSTTE.
Paritosh K. Pandya,
Amol Wakankar,
P. Pandya,
2019,
MEMOCODE.
Paritosh K. Pandya,
1991
.
R. K. Shyamasundar,
M. R. K. Krishna Rao,
Paritosh K. Pandya,
1993,
FME.
Paritosh K. Pandya,
M. Joseph,
1987
.
Y. S. Ramakrishna,
Paritosh K. Pandya,
Rudrapatna K. Shyamasundar,
1995
.
Mathai Joseph,
Paritosh K. Pandya,
M. Joseph,
1986,
Comput. J..
Paritosh K. Pandya,
Gaurav Chakravorty,
P. Pandya,
2003,
CAV.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Kuntal Loya,
2007,
TACAS.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2018,
ArXiv.
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Supratik Chakraborty,
Paritosh K. Pandya,
Dina Thomas,
2007,
International Journal on Software Tools for Technology Transfer.
Mathai Joseph,
Paritosh K. Pandya,
1986,
Comput. J..
Jifeng He,
Jonathan P. Bowen,
Paritosh K. Pandya,
1990,
PLILP.
Paritosh K. Pandya,
H.-P. Wang,
Qiwen Xu,
1998,
PROCOMET.
Yongqiang Sun,
Huiqun Yu,
Paritosh K. Pandya,
1994,
FTRTFT.
Supratik Chakraborty,
Paritosh K. Pandya,
Babita Sharma,
2005,
TACAS.
Paritosh K. Pandya,
Simoni S. Shah,
2013,
ICTAC.
Paritosh K. Pandya,
P. Vijay Suman,
2009,
LATA.
Kamal Lodaya,
Paritosh K. Pandya,
Simoni S. Shah,
2010,
Developments in Language Theory.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
2005,
FSTTCS.
K. Narayan Kumar,
Paritosh K. Pandya,
1993,
FSTTCS.
K. Narayan Kumar,
Paritosh K. Pandya,
P. Pandya,
1993,
Acta Informatica.
Paritosh K. Pandya,
P. Vijay Suman,
2008,
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2016,
ArXiv.
Paritosh K. Pandya,
Simoni S. Shah,
P. Pandya,
2012,
Lecture Notes in Computer Science.
Paritosh K. Pandya,
P. Pandya,
1989,
REX Workshop.
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
pdf
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
ArXiv.
Paritosh K. Pandya,
Amol Wakankar,
P. Pandya,
2019,
GandALF.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Paritosh K. Pandya,
Simoni S. Shah,
2012
.
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
pdf
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2019,
Log. Methods Comput. Sci..
Supratik Chakraborty,
Paritosh K. Pandya,
Dina Thomas,
2006,
TACAS.
Mathai Joseph,
Paritosh K. Pandya,
M. Joseph,
1991,
Distributed Computing.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2013,
ArXiv.
Manoranjan Satpathy,
Dang Van Hung,
Paritosh K. Pandya,
1998,
FTRTFT.
Ji Wang,
Chaochen Zhou,
Xinyao Yu,
1994,
FTRTFT.
Paritosh K. Pandya,
P. Pandya,
2002,
SLAP@ETAPS.
Shankara Narayanan Krishna,
Paritosh K. Pandya,
Khushraj Madnani,
2018,
CONCUR.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
SEFM.
Paritosh K. Pandya,
Amol Wakankar,
2019,
ArXiv.
Raman Kazhamiakin,
Marco Pistore,
Paritosh K. Pandya,
2006,
2006 IEEE International Conference on Web Services (ICWS'06).
K. Narayan Kumar,
Paritosh K. Pandya,
1994,
FSTTCS.
Kamal Lodaya,
Paritosh K. Pandya,
P. Pandya,
2017,
M4M@ICLA.
Paritosh K. Pandya,
Simoni S. Shah,
2010,
FORMATS.
Jaikumar Radhakrishnan,
Paritosh K. Pandya,
J. Radhakrishnan,
2004,
Lecture Notes in Computer Science.
Paritosh K. Pandya,
P. Vijay Suman,
2007
.
Kamal Lodaya,
Paritosh K. Pandya,
P. Pandya,
2006,
FORMATS.
C. A. R. Hoare,
Jonathan P. Bowen,
He Jifeng,
1990
.
Michael R. Hansen,
Chaochen Zhou,
Paritosh K. Pandya,
1995,
Theor. Comput. Sci..
Manoranjan Satpathy,
Dang Van Hung,
Paritosh K. Pandya,
1996
.
Paritosh K. Pandya,
P. Pandya,
2005,
AVoCS.
Paul H. B. Gardiner,
Paritosh K. Pandya,
P. Pandya,
1992,
Sci. Comput. Program..
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
Shengbing Jiang,
A. C. Rajeev,
S. Ramesh,
2008,
2008 45th ACM/IEEE Design Automation Conference.
Kamal Lodaya,
Paritosh K. Pandya,
Simoni S. Shah,
2008,
IFIP TCS.
Paritosh K. Pandya,
Ajesh Babu,
2012,
Modern Applications of Automata Theory.
Paritosh K. Pandya,
P. Vijay Suman,
2012,
Modern Applications of Automata Theory.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
ArXiv.
Paritosh K. Pandya,
Simoni S. Shah,
2011,
CONCUR.
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2018,
CSL.
Shankara Narayanan Krishna,
Lakshmi Manasa,
Paritosh K. Pandya,
2008,
FORMATS.
Dileep Kini,
Shankara Narayanan Krishna,
Paritosh K. Pandya,
2011,
FORMATS.
Manuel Mazo,
Shankara Narayanan Krishna,
Paritosh K. Pandya,
2021,
ArXiv.
Manuel Mazo,
Shankara Narayanan Krishna,
Paritosh K. Pandya,
2021,
FM.
C. A. R. Hoare,
Jonathan P. Bowen,
He Jifeng,
1990
.
Dileep Kini,
Shankara Narayanan Krishna,
Paritosh K. Pandya,
2011,
FORMATS 2011.
Paritosh K. Pandya,
1995
.
Paritosh K. Pandya,
2000
.