A. Prasad Sistla

发表

A. Prasad Sistla, Ouri Wolfson, A. P. Sistla, 1995, IEEE Trans. Knowl. Data Eng..
A. Prasad Sistla, Viktor Gyuris, A. P. Sistla, 1999, Formal Aspects of Computing.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1996, Formal Methods Syst. Des..
Clement T. Yu, A. Prasad Sistla, A. Sistla, 1996, Multimedia Database System: Issues and Research Direction.
Clement T. Yu, A. Prasad Sistla, Weiyi Meng, 2009, Proc. VLDB Endow..
A. Prasad Sistla, A. P. Sistla, 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2014, The VLDB Journal.
A. Prasad Sistla, Stefan Kiefer, A. P. Sistla, 2015, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1983, Logic of Programs.
A. Prasad Sistla, A. P. Sistla, 1989, Inf. Process. Lett..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2009, CONCUR.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2020, LICS.
A. Prasad Sistla, Tiziana Margaria, Bernhard Steffen, 2005, CONCUR.
A. Prasad Sistla, A. P. Sistla, Abhigna R. Srinivas, 2008, VMCAI.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2015, FoSSaCS.
A. Prasad Sistla, Min Zhou, Xiaodong Wang, 2005, VMCAI.
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2005, SSTD.
A. Prasad Sistla, Milos Zefran, Andrey Yavolovsky, 2016, RV.
A. Prasad Sistla, Ouri Wolfson, Son Dao, 1996, Proceedings RIDE '96. Sixth International Workshop on Research Issues in Data Engineering.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1985, Inf. Control..
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1992, JACM.
A. Prasad Sistla, V. N. Venkatakrishnan, Prithvi Bisht, 2010, Financial Cryptography.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2009, CONCUR.
A. Prasad Sistla, Aloysius K. Mok, E. Allen Emerson, 1990, Real-Time Systems.
A. Prasad Sistla, Viktor Gyuris, L. Miliades, 1997, CAV.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. Prasad Sistla, Viktor Gyuris, 1997, CAV.
A. Prasad Sistla, Jennifer L. Welch, A. P. Sistla, 1989, PODC '89.
A. Prasad Sistla, Somesh Jha, Edmund M. Clarke, 1998, CAV.
A. Prasad Sistla, A. P. Sistla, A. Sistla, 2004, Comput. Lang. Syst. Struct..
A. Prasad Sistla, V. N. Venkatakrishnan, Prithvi Bisht, 2010, CCS '10.
A. Prasad Sistla, Edmund M. Clarke, A. P. Sistla, 1982, STOC '82.
A. Prasad Sistla, V. N. Venkatakrishnan, A. P. Sistla, 2014, CODASPY '14.
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2020, Proc. ACM Program. Lang..
A. Prasad Sistla, Kalpana Gondi, Yogeshkumar Patel, 2008, VMCAI.
A. Prasad Sistla, V. N. Venkatakrishnan, Lenore D. Zuck, 2013, PLAS '13.
A. Prasad Sistla, Liang Wang, Jezekiel Ben-Arie, 2003 .
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, FOCS 1983.
A. Prasad Sistla, John H. Reif, 1983, ICALP.
A. Prasad Sistla, John H. Reif, A. P. Sistla, 1982, J. Comput. Syst. Sci..
A. Prasad Sistla, Min Zhou, 2008, Inf. Comput..
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
A. Prasad Sistla, Min Zhou, Lenore D. Zuck, 2006, VMCAI.
A. Prasad Sistla, Eduardo Mena, Arantza Illarramendi, 2009, EDBT '09.
A. Prasad Sistla, Jeffrey J. P. Tsai, Avinash Sahay, 1999, Int. J. Softw. Eng. Knowl. Eng..
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, CAV.
A. Prasad Sistla, V. N. Venkatakrishnan, A. P. Sistla, 2014, NordSec.
Naphtali Rishe, A. Prasad Sistla, Yelena Yesha, 1999, NGITS.
A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz, 2009, EDBT '09.
A. Prasad Sistla, Ouri Wolfson, Minglin Deng, 1995, ARTDB.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1987, Theor. Comput. Sci..
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 1999, SIGMOD '99.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2020, Formal Methods Syst. Des..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2019, J. Comput. Syst. Sci..
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1993, Formal Methods Syst. Des..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
A. Prasad Sistla, Lenore D. Zuck, Timothy L. Hinrichs, 2014, HOWARD-60.
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, TOPL.
A. Prasad Sistla, 2003, VMCAI.
A. Prasad Sistla, V. N. Venkatakrishnan, Antonio Longo, 2008, 2008 Annual Computer Security Applications Conference (ACSAC).
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2013, MFCS.
A. Prasad Sistla, Tao Hu, Vikas Chowdhry, 2002, CIKM '02.
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2019, ArXiv.
King-Lup Liu, Clement T. Yu, A. Prasad Sistla, 1995, VLDB.
Naphtali Rishe, A. Prasad Sistla, Bo Xu, 2011, FOMC '11.
A. Prasad Sistla, Lenore D. Zuck, A. P. Sistla, 1991, CAV.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2010, FSTTCS.
A. Prasad Sistla, Arun K. Eamani, 2006, J. Comput. Secur..
A. Prasad Sistla, Ouri Wolfson, A. P. Sistla, 1995, SIGMOD '95.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1984, STOC '84.
King-Lup Liu, Clement T. Yu, Naphtali Rishe, 1998, Proceedings 14th International Conference on Data Engineering.
A. Prasad Sistla, Lenore D. Zuck, 1993, Inf. Comput..
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 1994, VLDB.
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, 1997, Temporal Databases, Dagstuhl.
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1987, LICS.
Naphtali Rishe, A. Prasad Sistla, Ouri Wolfson, 1999, ICDT.
A. Prasad Sistla, Ouri Wolfson, Son Dao, 1995, SGMD.
A. Prasad Sistla, A. P. Sistla, A. Sistla, 1994, Formal Aspects of Computing.
Clement T. Yu, A. Prasad Sistla, Weiyi Meng, 2010, CIKM '10.
A. Prasad Sistla, Viktor Gyuris, 1999, Formal Methods Syst. Des..
A. Prasad Sistla, Nissim Francez, Edmund M. Clarke, 1982, PODC '82.
A. Prasad Sistla, E. Allen Emerson, Charanjit S. Jutla, 2001, Theor. Comput. Sci..
Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur, 2018, Handbook of Model Checking.
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2019 .
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2011, VMCAI.
A. Prasad Sistla, Nissim Francez, Edmund M. Clarke, 1984, Inf. Control..
A. Prasad Sistla, Yelena Yesha, Ouri Wolfson, 1998, TODS.
A. Prasad Sistla, A. P. Sistla, 1991, Information Processing Letters.
A. Prasad Sistla, Ouri Wolfson, Yixiu Huang, 1994, SIGMOD '94.
A. Prasad Sistla, Yelena Yesha, Ouri Wolfson, 1999, Distributed and Parallel Databases.
A. Prasad Sistla, Sumit Kumar Jha, Sriram K. Rajamani, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Clement T. Yu, A. Prasad Sistla, Weiyi Meng, 2006, 22nd International Conference on Data Engineering (ICDE'06).
A. Prasad Sistla, E. Allen Emerson, Charanjit S. Jutla, 1993, CAV.
Hong Wang, Clement T. Yu, A. Prasad Sistla, 2012, ACL.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2018, CSL.
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 2000, Journal of Automated Reasoning.
A. Prasad Sistla, Milos Zefran, Yao Feng, 2011, CAV.
Hong Wang, Clement T. Yu, A. Prasad Sistla, 2015, IEEE Transactions on Knowledge and Data Engineering.
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, 1997, Proceedings 13th International Conference on Data Engineering.
Jing Wu, Clement T. Yu, Naphtali Rishe, 1996, CIKM '96.
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..
A. Prasad Sistla, Aloysius K. Mok, E. Allen Emerson, 1990, CAV.
A. Prasad Sistla, Ouri Wolfson, Yixiu Huang, 1998, IEEE Trans. Parallel Distributed Syst..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 1997, Proceedings 13th International Conference on Data Engineering.
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, 2008, ASIACCS '08.
A. Prasad Sistla, Milos Zefran, Yao Feng, 2011, RV.
A. Prasad Sistla, Min Zhou, Xiaodong Wang, 2007, Formal Methods Syst. Des..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2017, FoSSaCS.
A. Prasad Sistla, V. N. Venkatakrishnan, Prithvi Bisht, 2012, CODASPY '12.
A. Prasad Sistla, E. Allen Emerson, Viktor Gyuris, 2000, TSEM.
A. Prasad Sistla, Lenore D. Zuck, A. P. Sistla, 1987, Logic in Computer Science.
A. Prasad Sistla, Raymond A. Paul, Jeffrey J. P. Tsai, 1998, Int. J. Softw. Eng. Knowl. Eng..
A. Prasad Sistla, A. P. Sistla, 1996, CSUR.
A. Prasad Sistla, Min Zhou, Xiaodong Wang, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2018, CAV.
A. Prasad Sistla, Milos Zefran, Yao Feng, 2014, HSCC.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).