A. Prasad Sistla

144 papers A* 39A 6B 22C 1Journal 51Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. CCS Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025	J	`jnl`	Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. CoRR Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025	J	`jnl`	Checking δ-Satisfiability of Reals with Integrals. Proc. ACM Program. Lang. Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2023	A*	`conf`	Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2023	J	`jnl`	Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2021	J	`jnl`	Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2021	A*	`conf`	On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2021	J	`jnl`	On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2020	J	`jnl`	Deciding Accuracy of Differential Privacy Schemes. CoRR Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2020	A*	`conf`	Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2020	J	`jnl`	Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2019	J	`jnl`	Automated Methods for Checking Differential Privacy. CoRR Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2019	J	`jnl`	Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018	B	`conf`	Approximating Probabilistic Automata by Regular Languages. CSL Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018	—	`conf`	Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018	—	`ch.`	Model Checking Parameterized Systems. Handbook of Model Checking Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur
2018	—	`conf`	Model Checking Randomized Security Protocols (Invited Paper). FSTTCS A. Prasad Sistla
2017	B	`conf`	Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017	B	`conf`	Exact quantitative probabilistic model checking through rational search. FMCAD Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017	A*	`conf`	Verification of randomized security protocols. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2016	B	`conf`	Decision-Theoretic Monitoring of Cyber-Physical Systems. RV Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla
2016	A*	`conf`	Distinguishing Hidden Markov Chains. LICS Stefan Kiefer, A. Prasad Sistla
2015	J	`jnl`	Continuous nearest-neighbor queries with location uncertainty. VLDB J. A. Prasad Sistla, Ouri Wolfson, Bo Xu
2015	B	`conf`	Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
2015	J	`jnl`	Distinguishing Hidden Markov Chains. CoRR Stefan Kiefer, A. Prasad Sistla
2015	B	`conf`	Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ATVA Yue Ben, A. Prasad Sistla
2015	J	`jnl`	Polarity Consistency Checking for Domain Independent Sentiment Dictionaries. IEEE Trans. Knowl. Data Eng. Eduard C. Dragut, Hong Wang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng
2014	—	`conf`	DEICS: Data Erasure in Concurrent Software. NordSec Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan
2014	—	`conf`	Minimizing lifetime of sensitive data in concurrent programs. CODASPY Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan
2014	—	`ch.`	Model Check What You Can, Runtime Verify the Rest. HOWARD-60 Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck
2014	—	`conf`	Timely monitoring of partially observable stochastic systems. HSCC A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben
2013	B	`conf`	Probabilistic Automata with Isolated Cut-Points. MFCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2013	—	`conf`	WEBLOG: a declarative language for secure web development. PLAS Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck
2012	—	`conf`	Polarity Consistency Checking for Sentiment Dictionaries. ACL (1) Eduard C. Dragut, Hong Wang, Clement T. Yu, A. Prasad Sistla, Weiyi Meng
2012	—	`conf`	SWIPE: eager erasure of sensitive data in large scale systems software. CODASPY Kalpana Gondi, Prithvi Bisht, Praveen Venkatachari, A. Prasad Sistla, V. N. Venkatakrishnan
2011	—	`conf`	Answer-pairs and processing of continuous nearest-neighbor queries. FOMC A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe
2011	A*	`conf`	Monitorability of Stochastic Dynamical Systems. CAV A. Prasad Sistla, Milos Zefran, Yao Feng
2011	J	`jnl`	Power of Randomization in Automata on Infinite Strings Log. Methods Comput. Sci. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2011	B	`conf`	Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2011	B	`conf`	Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. RV A. Prasad Sistla, Milos Zefran, Yao Feng
2010	—	`conf`	Automatically Preparing Safe SQL Queries. Financial Cryptography Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan
2010	A	`conf`	Construction of a sentimental word dictionary. CIKM Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng
2010	—	`conf`	Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2010	A*	`conf`	TAPS: automatically preparing safe SQL queries. CCS Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan
2009	B	`conf`	A data model for trip planning in multimodal transportation systems. EDBT Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz
2009	B	`conf`	A query processor for prediction-based monitoring of data streams. EDBT Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla
2009	B	`conf`	Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. VMCAI Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla
2009	J	`jnl`	On the expressiveness and complexity of randomization in finite state monitors. J. ACM Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009	B	`conf`	Power of Randomization in Automata on Infinite Strings. CONCUR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009	J	`jnl`	Stop Word and Related Problems in Web Interface Integration. Proc. VLDB Endow. Eduard Constantin Dragut, Fang Fang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng
2008	J	`jnl`	Analysis of dynamic policies. Inf. Comput. A. Prasad Sistla, Min Zhou
2008	A	`conf`	CMV: automatic verification of complete mediation for java virtual machines. AsiaCCS A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske
2008	B	`conf`	Monitoring Temporal Properties of Stochastic Systems. VMCAI A. Prasad Sistla, Abhigna R. Srinivas
2008	A*	`conf`	On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2008	A	`conf`	Preventing Information Leaks through Shadow Executions. ACSAC Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla
2007	J	`jnl`	Checking extended Formal Methods Syst. Des. A. Prasad Sistla, Xiaodong Wang, Min Zhou
2007	B	`conf`	Verification of Object Relational Maps. SEFM Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
2006	J	`jnl`	Language based policy analysis in a SPKI Trust Management System. J. Comput. Secur. Arun K. Eamani, A. Prasad Sistla
2006	A*	`conf`	Merging Source Query Interfaces onWeb Databases. ICDE Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng
2006	B	`conf`	Monitoring Off-the-Shelf Components. VMCAI A. Prasad Sistla, Min Zhou, Lenore D. Zuck
2005	C	`conf`	Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. FORTE A. Prasad Sistla, Min Zhou
2005	J	`jnl`	Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases CoRR A. Prasad Sistla
2005	B	`conf`	Model Checking of Systems Employing Commutative Functions. VMCAI A. Prasad Sistla, Min Zhou, Xiaodong Wang
2005	B	`conf`	Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. SSTD A. Prasad Sistla, Ouri Wolfson, Bo Xu
2005	B	`conf`	Taming Interface Specifications. CONCUR Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
2004	B	`conf`	An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. SSDBM Ouri Wolfson, Bo Xu, A. Prasad Sistla
2004	B	`conf`	Checking Extended CTL properties Using Guarded Quotient Structures. SEFM A. Prasad Sistla, Xiaodong Wang, Min Zhou
2004	J	`jnl`	Employing symmetry reductions in model checking. Comput. Lang. Syst. Struct. A. Prasad Sistla
2004	J	`jnl`	Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. A. Prasad Sistla, Patrice Godefroid
2003	B	`conf`	Symmetry Reductions in Model-Checking. VMCAI A. Prasad Sistla
2002	—	`conf`	Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS A. Prasad Sistla
2002	J	`jnl`	Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago. SIGMOD Rec. Isabel F. Cruz, Ashfaq A. Khokhar, Bing Liu, A. Prasad Sistla, Ouri Wolfson, Clement T. Yu
2002	A	`conf`	Similarity based retrieval from sequence databases using automata as queries. CIKM A. Prasad Sistla, Tao Hu, Vikas Chowdhry
2001	J	`jnl`	On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
2001	A*	`conf`	Symmetry and Reduced Symmetry in Model Checking. CAV A. Prasad Sistla, Patrice Godefroid
2000	A*	`ed.`	Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings CAV E. Allen Emerson, A. Prasad Sistla
2000	J	`jnl`	Formal methods in concurrent and distributed systems. ACM SIGSOFT Softw. Eng. Notes A. Prasad Sistla
2000	J	`jnl`	Reasoning about Qualitative Spatial Relationships. J. Autom. Reason. A. Prasad Sistla, Clement T. Yu
2000	J	`jnl`	SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol. A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson
1999	J	`jnl`	An Incremental Verification Algorithm for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla
1999	—	`conf`	DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain
1999	A	`conf`	Databases for Tracking Mobile Units in Real Time. ICDT Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng
1999	J	`jnl`	On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods Syst. Des. Viktor Gyuris, A. Prasad Sistla
1999	J	`jnl`	Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects Comput. A. Prasad Sistla, Viktor Gyuris
1999	—	`conf`	Tracking Moving Objects Using Database Technology in DOMINO. NGITS Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain, Yelena Yesha, Naphtali Rishe
1999	J	`jnl`	Updating and Querying Databases that Track Mobile Units. Distributed Parallel Databases Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha
1998	J	`jnl`	Incremental Verification of Architecture Specification Language for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
1998	J	`jnl`	Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Trans. Parallel Distributed Syst. A. Prasad Sistla, Ouri Wolfson, Yixiu Huang
1998	A*	`conf`	Query Processing in a Video Retrieval System. ICDE King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe
1998	A*	`conf`	Symmetry Reductions in Model Checking. CAV Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla
1998	J	`jnl`	Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. ACM Trans. Database Syst. A. Prasad Sistla, Ouri Wolfson, Yelena Yesha, Robert H. Sloan
1997	—	`conf`	Incremental verification of architecture specification language for real-time systems. WORDS Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
1997	A*	`conf`	Modeling and Querying Moving Objects. ICDE A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao
1997	A*	`conf`	On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV Viktor Gyuris, A. Prasad Sistla
1997	A*	`conf`	Parametrized Verification of Linear Networks Using Automata as Invariants. CAV A. Prasad Sistla
1997	—	`conf`	Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao
1997	A*	`conf`	SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV A. Prasad Sistla, L. Miliades, Viktor Gyuris
1997	A*	`conf`	Similarity Based Retrieval of Videos. ICDE A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian
1997	J	`jnl`	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. ACM Trans. Program. Lang. Syst. E. Allen Emerson, A. Prasad Sistla
1996	—	`conf`	An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj
1996	J	`jnl`	Hybrid and Incremental Modelchecking Techniques. ACM Comput. Surv. A. Prasad Sistla
1996	A	`conf`	Performance Evaluation of G-tree and Its Application in Fuzzy Databases. CIKM Chengwen Liu, Aris M. Ouksel, A. Prasad Sistla, Jing Wu, Clement T. Yu, Naphtali Rishe
1996	—	`ch.`	Retrieval of Pictures Using Approximate Matching. Multimedia Database System: Issues and Research Direction A. Prasad Sistla, Clement T. Yu
1996	J	`jnl`	Symmetry and Model Checking. Formal Methods Syst. Des. E. Allen Emerson, A. Prasad Sistla
1995	A*	`conf`	Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu
1995	—	`conf`	Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference A. Prasad Sistla, Ouri Wolfson
1995	—	`conf`	Temporal Conditions with Retroactive and Proactive Updates. ARTDB Minglin Deng, A. Prasad Sistla, Ouri Wolfson
1995	J	`jnl`	Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. A. Prasad Sistla, Ouri Wolfson
1995	A*	`conf`	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV E. Allen Emerson, A. Prasad Sistla
1995	J	`jnl`	View Maintenance in Mobile Computing. SIGMOD Rec. Ouri Wolfson, A. Prasad Sistla, Son Dao, Kailash Narayanan, Ramya Raj
1994	—	`conf`	Data Replication for Mobile Computers. SIGMOD Conference Yixiu Huang, A. Prasad Sistla, Ouri Wolfson
1994	A*	`conf`	Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV Vivek G. Naik, A. Prasad Sistla
1994	A*	`conf`	Reasoning About Spatial Relationships in Picture Retrieval Systems. VLDB A. Prasad Sistla, Clement T. Yu, R. Haddad
1994	J	`jnl`	Safety, Liveness and Fairness in Temporal Logic. Formal Aspects Comput. A. Prasad Sistla
1993	A*	`conf`	On Model-Checking for Fragments of µ-Calculus. CAV E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
1993	J	`jnl`	Reasoning in a Restricted Temporal Logic Inf. Comput. A. Prasad Sistla, Lenore D. Zuck
1993	A*	`conf`	Symmetry and Model Checking. CAV E. Allen Emerson, A. Prasad Sistla
1992	J	`jnl`	Quantitative Temporal Reasoning. Real Time Syst. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
1992	J	`jnl`	Reasoning about Systems with Many Processes. J. ACM Steven M. German, A. Prasad Sistla
1992	J	`jnl`	Triggers on Database Histories. IEEE Data Eng. Bull. A. Prasad Sistla, Ouri Wolfson
1991	A*	`conf`	Automatic Temporal Verification of Buffer Systems. CAV A. Prasad Sistla, Lenore D. Zuck
1991	J	`jnl`	Proving Correctness with Respect to Nondeterministic Safety Specifications. Inf. Process. Lett. A. Prasad Sistla
1990	A*	`conf`	Quantitative Temporal Reasoning. CAV E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
1989	A*	`conf`	Efficient Distributed Recovery Using Message Logging. PODC A. Prasad Sistla, Jennifer L. Welch
1989	J	`jnl`	On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. Inf. Process. Lett. A. Prasad Sistla
1987	A*	`conf`	On the Eventuality Operator in Temporal Logic LICS A. Prasad Sistla, Lenore D. Zuck
1987	A*	`conf`	Reasoning with Many Processes LICS A. Prasad Sistla, Steven M. German
1987	J	`jnl`	The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
1986	J	`jnl`	Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla
1985	J	`jnl`	A Multiprocess Network Logic with Temporal and Spatial Modalities. J. Comput. Syst. Sci. John H. Reif, A. Prasad Sistla
1985	A*	`conf`	On Characterization of Safety and Liveness Properties in Temporal Logic. PODC A. Prasad Sistla
1985	A*	`conf`	The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
1985	J	`jnl`	The Complexity of Propositional Linear Temporal Logics J. ACM A. Prasad Sistla, Edmund M. Clarke
1984	J	`jnl`	Can Message Buffers Be Axiomatized in Linear Temporal Logic? Inf. Control. A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer
1984	A*	`conf`	Deciding Branching Time Logic STOC E. Allen Emerson, A. Prasad Sistla
1984	J	`jnl`	Deciding Full Branching Time Logic Inf. Control. E. Allen Emerson, A. Prasad Sistla
1984	A*	`conf`	Distributed Algorithms for Ensuring Fair Interprocess Communications. PODC A. Prasad Sistla
1984	—	`conf`	Using Temporal Logic for Automatic Verification of Finite State Systems. Logics and Models of Concurrent Systems Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla
1983	A*	`conf`	A Multiprocess Network Logic with Temporal and Spatial Modalities. ICALP John H. Reif, A. Prasad Sistla
1983	A*	`conf`	Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla
1983	—	`conf`	Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs E. Allen Emerson, A. Prasad Sistla
1983	A*	`conf`	Reasoning about Infinite Computation Paths (Extended Abstract) FOCS Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla
1982	A*	`conf`	Can Message Buffers be Characterized in Linear Temporal Logic? PODC A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich
1982	A*	`conf`	The Complexity of Propositional Linear Temporal Logics STOC A. Prasad Sistla, Edmund M. Clarke