A. P. Sistla

发表

Ouri Wolfson, Clement Yu, A. P. Sistla, 1996 .
Edmund M. Clarke, A. P. Sistla, M. C. Browne, 1984, Logics and Models of Concurrent Systems.
Clement Yu, Jezekiel Ben-Arie, A. P. Sistla, 1999 .
Jeffrey J. P. Tsai, Ray Paul, A. P. Sistla, 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, CAV.
A. Prasad Sistla, Viktor Gyuris, A. P. Sistla, 1999, Formal Aspects of Computing.
A. Prasad Sistla, Ouri Wolfson, A. P. Sistla, 1995, SIGMOD '95.
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, 1997, Proceedings 13th International Conference on Data Engineering.
Naphtali Rishe, A. Prasad Sistla, Ouri Wolfson, 1999, ICDT.
King-Lup Liu, Clement T. Yu, A. Prasad Sistla, 1995, VLDB.
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 1994, VLDB.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1996, Formal Methods Syst. Des..
A. Prasad Sistla, Edmund M. Clarke, A. P. Sistla, 1982, STOC '82.
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 1997, Proceedings 13th International Conference on Data Engineering.
A. P. Sistla, O. Wolfson, Bo Xu, 1999, SIGMOD Conference.
Matthew S. Bauer, A. P. Sistla, Mahesh Viswanathan, 2018 .
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1983, Logic of Programs.
A. Prasad Sistla, A. P. Sistla, 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.
A. P. Sistla, E. Clarke, A. Sistla, 1985, JACM.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, FOCS 1983.
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1987, LICS.
Matthew S. Bauer, A. P. Sistla, Mahesh Viswanathan, 2020, Formal Methods in System Design.
A. Prasad Sistla, A. P. Sistla, 1996, CSUR.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
A. Prasad Sistla, John H. Reif, A. P. Sistla, 1982, J. Comput. Syst. Sci..
A. Prasad Sistla, Stefan Kiefer, A. P. Sistla, 2015, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2017, FoSSaCS.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2011, VMCAI.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2009, CONCUR.
A. Prasad Sistla, A. P. Sistla, Abhigna R. Srinivas, 2008, VMCAI.
A. Prasad Sistla, Min Zhou, Lenore D. Zuck, 2006, VMCAI.
A. Prasad Sistla, Tiziana Margaria, Bernhard Steffen, 2005, CONCUR.
A. Prasad Sistla, A. P. Sistla, A. Sistla, 1994, Formal Aspects of Computing.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1985, Inf. Control..
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2005, SSTD.
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2015, FoSSaCS.
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, TOPL.
A. Prasad Sistla, Aloysius K. Mok, E. Allen Emerson, 1990, Real-Time Systems.
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1992, JACM.
A. Prasad Sistla, Lenore D. Zuck, A. P. Sistla, 1991, CAV.
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1984, STOC '84.
A. Prasad Sistla, Ouri Wolfson, A. P. Sistla, 1995, IEEE Trans. Knowl. Data Eng..
Clement T. Yu, A. Prasad Sistla, Weiyi Meng, 2006, 22nd International Conference on Data Engineering (ICDE'06).
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, 1997, Temporal Databases, Dagstuhl.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
A. Prasad Sistla, Yelena Yesha, Ouri Wolfson, 1999, Distributed and Parallel Databases.
Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur, 2018, Handbook of Model Checking.
Clement T. Yu, A. Prasad Sistla, A. P. Sistla, 2000, Journal of Automated Reasoning.
A. Prasad Sistla, E. Allen Emerson, Viktor Gyuris, 2000, TSEM.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
A. Prasad Sistla, Milos Zefran, Yao Feng, 2011, CAV.
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 2014, The VLDB Journal.
A. Prasad Sistla, Jennifer L. Welch, A. P. Sistla, 1989, PODC '89.
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, 2008, ASIACCS '08.
A. Prasad Sistla, A. P. Sistla, A. Sistla, 2004, Comput. Lang. Syst. Struct..
A. Prasad Sistla, Eduardo Mena, Arantza Illarramendi, 2009, EDBT '09.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1987, Theor. Comput. Sci..
A. Prasad Sistla, V. N. Venkatakrishnan, A. P. Sistla, 2014, NordSec.
A. Prasad Sistla, V. N. Venkatakrishnan, A. P. Sistla, 2014, CODASPY '14.
A. Prasad Sistla, Lenore D. Zuck, A. P. Sistla, 1987, Logic in Computer Science.
A. Prasad Sistla, A. P. Sistla, 1991, Information Processing Letters.
A. Prasad Sistla, A. P. Sistla, 1989, Inf. Process. Lett..
A. Prasad Sistla, E. Allen Emerson, A. P. Sistla, 1993, Formal Methods Syst. Des..
A. Prasad Sistla, E. Allen Emerson, Charanjit S. Jutla, 1993, CAV.
Jing Wu, Clement T. Yu, Naphtali Rishe, 1996, CIKM '96.
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2020, Proc. ACM Program. Lang..
A. P. Sistla, Mahesh Viswanathan, G. Barthe, 2020, Artifact Digital Object Group.
Mahesh Viswanathan, Rohit Chadha, A. Prasad Sistla, 2020, LICS.
A. P. Sistla, Mahesh Viswanathan, G. Barthe, 2019, LICS.
A. Prasad Sistla, E. Allen Emerson, Charanjit S. Jutla, 2001, Theor. Comput. Sci..
A. Prasad Sistla, Bo Xu, Ouri Wolfson, 1999, SIGMOD '99.