Search the dblp DataBase
A. Prasad Sistla :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yixiu Huang , A. Prasad Sistla , Ouri Wolfson Data Replication for Mobile Computers. [Citation Graph (12, 24)][DBLP ] SIGMOD Conference, 1994, pp:13-24 [Conf ] A. Prasad Sistla , Ouri Wolfson Temporal Triggers in Active Databases. [Citation Graph (12, 31)][DBLP ] IEEE Trans. Knowl. Data Eng., 1995, v:7, n:3, pp:471-486 [Journal ] A. Prasad Sistla , Ouri Wolfson , Sam Chamberlain , Son Dao Modeling and Querying Moving Objects. [Citation Graph (8, 10)][DBLP ] ICDE, 1997, pp:422-432 [Conf ] A. Prasad Sistla , Clement T. Yu , R. Haddad Reasoning About Spatial Relationships in Picture Retrieval Systems. [Citation Graph (8, 16)][DBLP ] VLDB, 1994, pp:570-581 [Conf ] Edmund M. Clarke , E. Allen Emerson , A. Prasad Sistla Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. [Citation Graph (7, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1986, v:8, n:2, pp:244-263 [Journal ] A. Prasad Sistla , Edmund M. Clarke The Complexity of Propositional Linear Temporal Logics [Citation Graph (5, 0)][DBLP ] J. ACM, 1985, v:32, n:3, pp:733-749 [Journal ] A. Prasad Sistla , Clement T. Yu , Chengwen Liu , King-Lup Liu Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. [Citation Graph (4, 15)][DBLP ] VLDB, 1995, pp:619-629 [Conf ] Ouri Wolfson , Liqin Jiang , A. Prasad Sistla , Sam Chamberlain , Naphtali Rishe , Minglin Deng Databases for Tracking Mobile Units in Real Time. [Citation Graph (2, 8)][DBLP ] ICDT, 1999, pp:169-186 [Conf ] A. Prasad Sistla , Ouri Wolfson Temporal Conditions and Integrity Constraints in Active Database Systems. [Citation Graph (2, 28)][DBLP ] SIGMOD Conference, 1995, pp:269-280 [Conf ] Ouri Wolfson , A. Prasad Sistla , Bo Xu , Jutai Zhou , Sam Chamberlain DOMINO: Databases fOr MovINg Objects tracking. [Citation Graph (2, 2)][DBLP ] SIGMOD Conference, 1999, pp:547-549 [Conf ] Ouri Wolfson , A. Prasad Sistla , Sam Chamberlain , Yelena Yesha Updating and Querying Databases that Track Mobile Units. [Citation Graph (2, 0)][DBLP ] Distributed and Parallel Databases, 1999, v:7, n:3, pp:257-387 [Journal ] Pierre Wolper , Moshe Y. Vardi , A. Prasad Sistla Reasoning about Infinite Computation Paths (Extended Abstract) [Citation Graph (1, 0)][DBLP ] FOCS, 1983, pp:185-194 [Conf ] A. Prasad Sistla , Clement T. Yu , R. Venkatasubrahmanian Similarity Based Retrieval of Videos. [Citation Graph (1, 17)][DBLP ] ICDE, 1997, pp:181-190 [Conf ] Ouri Wolfson , A. Prasad Sistla , Bo Xu , Jutai Zhou , Sam Chamberlain , Yelena Yesha , Naphtali Rishe Tracking Moving Objects Using Database Technology in DOMINO. [Citation Graph (1, 0)][DBLP ] NGITS, 1999, pp:112-119 [Conf ] A. Prasad Sistla On Characterization of Safety and Liveness Properties in Temporal Logic. [Citation Graph (1, 0)][DBLP ] PODC, 1985, pp:39-48 [Conf ] A. Prasad Sistla , Ouri Wolfson , Son Dao , Kailash Narayanan , Ramya Raj An Architecture for Consumer-Oriented Online Database Services. [Citation Graph (1, 0)][DBLP ] RIDE-NDS, 1996, pp:50-60 [Conf ] Ouri Wolfson , A. Prasad Sistla , Son Dao , Kailash Narayanan , Ramya Raj View Maintenance in Mobile Computing. [Citation Graph (1, 0)][DBLP ] SIGMOD Record, 1995, v:24, n:4, pp:22-27 [Journal ] Minglin Deng , A. Prasad Sistla , Ouri Wolfson Temporal Conditons with Retroactive and Proactive Updates. [Citation Graph (0, 0)][DBLP ] ARTDB, 1995, pp:122-141 [Conf ] Edmund M. Clarke , E. Allen Emerson , Somesh Jha , A. Prasad Sistla Symmetry Reductions inModel Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:147-158 [Conf ] E. Allen Emerson , Charanjit S. Jutla , A. Prasad Sistla On Model-Checking for Fragments of µ-Calculus. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:385-396 [Conf ] E. Allen Emerson , Aloysius K. Mok , A. Prasad Sistla , Jai Srinivasan Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:136-145 [Conf ] E. Allen Emerson , A. Prasad Sistla Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:463-478 [Conf ] E. Allen Emerson , A. Prasad Sistla Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. [Citation Graph (0, 0)][DBLP ] CAV, 1995, pp:309-324 [Conf ] Viktor Gyuris , A. Prasad Sistla On-the-Fly Model Checking Under Fairness That Exploits Symmetry. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:232-243 [Conf ] Vivek G. Naik , A. Prasad Sistla Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:194-206 [Conf ] A. Prasad Sistla , Lenore D. Zuck Automatic Temporal Verification of Buffer Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:59-69 [Conf ] A. Prasad Sistla Parametrized Verification of Linear Networks Using Automata as Invariants. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:412-423 [Conf ] A. Prasad Sistla , Patrice Godefroid Symmetry and Reduced Symmetry in Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:91-103 [Conf ] A. Prasad Sistla , L. Miliades , Viktor Gyuris SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:464-467 [Conf ] Chengwen Liu , Aris M. Ouksel , A. Prasad Sistla , Jing Wu , Clement T. Yu , Naphtali Rishe Performance Evaluation of G-tree and Its Application in Fuzzy Databases. [Citation Graph (0, 0)][DBLP ] CIKM, 1996, pp:235-242 [Conf ] A. Prasad Sistla , Tao Hu , Vikas Chowdhry Similarity based retrieval from sequence databases using automata as queries. [Citation Graph (0, 0)][DBLP ] CIKM, 2002, pp:237-244 [Conf ] Tiziana Margaria , A. Prasad Sistla , Bernhard Steffen , Lenore D. Zuck Taming Interface Specifications. [Citation Graph (0, 0)][DBLP ] CONCUR, 2005, pp:548-561 [Conf ] A. Prasad Sistla , Ouri Wolfson , Sam Chamberlain , Son Dao Querying the Uncertain Position of Moving Objects. [Citation Graph (0, 0)][DBLP ] Temporal Databases, Dagstuhl, 1997, pp:310-337 [Conf ] A. Prasad Sistla , Min Zhou Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:68-82 [Conf ] A. Prasad Sistla Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2002, pp:324-335 [Conf ] John H. Reif , A. Prasad Sistla A Multiprocess Network Logic with Temporal and Spatial Modalities. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:629-639 [Conf ] A. Prasad Sistla , Moshe Y. Vardi , Pierre Wolper The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:465-474 [Conf ] Eduard C. Dragut , Wensheng Wu , A. Prasad Sistla , Clement T. Yu , Weiyi Meng Merging Source Query Interfaces onWeb Databases. [Citation Graph (0, 0)][DBLP ] ICDE, 2006, pp:46- [Conf ] King-Lup Liu , A. Prasad Sistla , Clement T. Yu , Naphtali Rishe Query Processing in a Video Retrieval System. [Citation Graph (0, 14)][DBLP ] ICDE, 1998, pp:276-283 [Conf ] A. Prasad Sistla , Steven M. German Reasoning with Many Processes [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:138-152 [Conf ] A. Prasad Sistla , Lenore D. Zuck On the Eventuality Operator in Temporal Logic [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:153-166 [Conf ] E. Allen Emerson , A. Prasad Sistla Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:176-192 [Conf ] A. Prasad Sistla Distributed Algorithms for Ensuring Fair Interprocess Communications. [Citation Graph (0, 0)][DBLP ] PODC, 1984, pp:266-277 [Conf ] A. Prasad Sistla , Edmund M. Clarke , Nissim Francez , Yuri Gurevich Can Message Buffers be Characterized in Linear Temporal Logic? [Citation Graph (0, 0)][DBLP ] PODC, 1982, pp:148-156 [Conf ] A. Prasad Sistla , Jennifer L. Welch Efficient Distributed Recovery Using Message Logging. [Citation Graph (0, 0)][DBLP ] PODC, 1989, pp:223-238 [Conf ] Edmund M. Clarke , E. Allen Emerson , A. Prasad Sistla Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. [Citation Graph (0, 0)][DBLP ] POPL, 1983, pp:117-126 [Conf ] A. Prasad Sistla , Xiaodong Wang , Min Zhou Checking Extended CTL properties Using Guarded Quotient Structures. [Citation Graph (0, 0)][DBLP ] SEFM, 2004, pp:87-94 [Conf ] A. Prasad Sistla , Ouri Wolfson , Bo Xu Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP ] SSTD, 2005, pp:346-363 [Conf ] Ouri Wolfson , Bo Xu , A. Prasad Sistla An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. [Citation Graph (0, 0)][DBLP ] SSDBM, 2004, pp:235-244 [Conf ] E. Allen Emerson , A. Prasad Sistla Deciding Branching Time Logic [Citation Graph (0, 0)][DBLP ] STOC, 1984, pp:14-24 [Conf ] A. Prasad Sistla , Edmund M. Clarke The Complexity of Propositional Linear Temporal Logics [Citation Graph (0, 0)][DBLP ] STOC, 1982, pp:159-168 [Conf ] A. Prasad Sistla Symmetry Reductions in Model-Checking. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:25- [Conf ] A. Prasad Sistla , Min Zhou , Xiaodong Wang Model Checking of Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:250-266 [Conf ] A. Prasad Sistla , Min Zhou , Lenore D. Zuck Monitoring Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP ] VMCAI, 2006, pp:222-236 [Conf ] A. Prasad Sistla Employing symmetry reductions in model checking. [Citation Graph (0, 0)][DBLP ] Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:99-137 [Journal ] A. Prasad Sistla Hybrid and Incremental Modelchecking Techniques. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:125- [Journal ] A. Prasad Sistla , Ouri Wolfson Triggers on Database Histories. [Citation Graph (0, 3)][DBLP ] IEEE Data Eng. Bull., 1992, v:15, n:1-4, pp:48-51 [Journal ] A. Prasad Sistla Safety, Liveness and Fairness in Temporal Logic. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:5, pp:495-512 [Journal ] A. Prasad Sistla , Viktor Gyuris Parameterized Verification of Linear Networks using Automata as Invariants. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:4, pp:402-425 [Journal ] E. Allen Emerson , A. Prasad Sistla Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1996, v:9, n:1/2, pp:105-131 [Journal ] Viktor Gyuris , A. Prasad Sistla On-the-Fly Model Checking Under Fairness that Exploits Symmetry. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1999, v:15, n:3, pp:217-238 [Journal ] E. Allen Emerson , A. Prasad Sistla Deciding Full Branching Time Logic [Citation Graph (0, 0)][DBLP ] Information and Control, 1984, v:61, n:3, pp:175-201 [Journal ] A. Prasad Sistla , Edmund M. Clarke , Nissim Francez , Albert R. Meyer Can Message Buffers Be Axiomatized in Linear Temporal Logic? [Citation Graph (0, 0)][DBLP ] Information and Control, 1984, v:63, n:1/2, pp:88-112 [Journal ] A. Prasad Sistla , Lenore D. Zuck Reasoning in a Restricted Temporal Logic [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1993, v:102, n:2, pp:167-195 [Journal ] Avinash Sahay , Jeffrey J. P. Tsai , A. Prasad Sistla An Incremental Verification Algorithm for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:2, pp:203-216 [Journal ] Jeffrey J. P. Tsai , A. Prasad Sistla , Avinash Sahay , Raymond A. Paul Incremental Verification of Architecture Specification Language for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:347-360 [Journal ] A. Prasad Sistla On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1989, v:32, n:1, pp:17-23 [Journal ] A. Prasad Sistla Proving Correctness with Respect to Nondeterministic Safety Specifications. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1991, v:39, n:1, pp:45-49 [Journal ] Steven M. German , A. Prasad Sistla Reasoning about Systems with Many Processes. [Citation Graph (0, 0)][DBLP ] J. ACM, 1992, v:39, n:3, pp:675-735 [Journal ] A. Prasad Sistla , Clement T. Yu Reasoning about Qualitative Spatial Relationships. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2000, v:25, n:4, pp:291-328 [Journal ] Arun K. Eamani , A. Prasad Sistla Language based policy analysis in a SPKI Trust Management System. [Citation Graph (0, 0)][DBLP ] Journal of Computer Security, 2006, v:14, n:4, pp:327-357 [Journal ] John H. Reif , A. Prasad Sistla A Multiprocess Network Logic with Temporal and Spatial Modalities. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1985, v:30, n:1, pp:41-53 [Journal ] E. Allen Emerson , Aloysius K. Mok , A. Prasad Sistla , Jai Srinivasan Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1992, v:4, n:4, pp:331-352 [Journal ] Isabel F. Cruz , Ashfaq A. Khokhar , Bing Liu , A. Prasad Sistla , Ouri Wolfson , Clement T. Yu Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 2002, v:31, n:3, pp:103-108 [Journal ] E. Allen Emerson , Charanjit S. Jutla , A. Prasad Sistla On model checking for the µ-calculus and its fragments. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:491-522 [Journal ] A. Prasad Sistla , Moshe Y. Vardi , Pierre Wolper The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:217-237 [Journal ] A. Prasad Sistla , Ouri Wolfson , Yelena Yesha , Robert H. Sloan Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. [Citation Graph (0, 20)][DBLP ] ACM Trans. Database Syst., 1998, v:23, n:4, pp:411-452 [Journal ] E. Allen Emerson , A. Prasad Sistla Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:617-638 [Journal ] A. Prasad Sistla , Patrice Godefroid Symmetry and reduced symmetry in model checking. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2004, v:26, n:4, pp:702-734 [Journal ] A. Prasad Sistla , Viktor Gyuris , E. Allen Emerson SMC: a symmetry-based model checker for verification of safety and liveness properties. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:2, pp:133-166 [Journal ] A. Prasad Sistla , Ouri Wolfson , Yixiu Huang Minimization of Communication Cost Through Caching in Mobile Environments. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1998, v:9, n:4, pp:378-390 [Journal ] A. Prasad Sistla Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases [Citation Graph (0, 0)][DBLP ] CoRR, 2005, v:0, n:, pp:- [Journal ] Preventing Information Leaks through Shadow Executions. [Citation Graph (, )][DBLP ] CMV: automatic verification of complete mediation for java virtual machines. [Citation Graph (, )][DBLP ] Power of Randomization in Automata on Infinite Strings. [Citation Graph (, )][DBLP ] A query processor for prediction-based monitoring of data streams. [Citation Graph (, )][DBLP ] A data model for trip planning in multimodal transportation systems. [Citation Graph (, )][DBLP ] Automatically Preparing Safe SQL Queries. [Citation Graph (, )][DBLP ] On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP ] Verification of Object Relational Maps. [Citation Graph (, )][DBLP ] Monitoring Temporal Properties of Stochastic Systems. [Citation Graph (, )][DBLP ] Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.461secs