| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. A. Prasad Sistla 69 A. Prasad Sistla: Symmetry Reductions in Model-Checking. VMCAI 2003 : 25 68 A. Prasad Sistla, Tao Hu , Vikas Chowdhry : Similarity based retrieval from sequence databases using automata as queries. CIKM 2002 : 237-244 67 A. Prasad Sistla: Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS 2002 : 324-335 66 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. SIGMOD Record 31 (3): 103-108 (2002) 65 A. Prasad Sistla, Patrice Godefroid : Symmetry and Reduced Symmetry in Model Checking. CAV 2001 : 91-103 64 E. Allen Emerson , Charanjit S. Jutla , A. Prasad Sistla: On model checking for the µ-calculus and its fragments. TCS 258 (1-2): 491-522 (2001) 63 E. Allen Emerson , A. Prasad Sistla: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Springer 2000 62 A. Prasad Sistla, Clement T. Yu : Reasoning about Qualitative Spatial Relationships. Journal of Automated Reasoning 25 (4): 291-328 (2000) 61 A. Prasad Sistla, Viktor Gyuris , E. Allen Emerson : SMC: a symmetry-based model checker for verification of safety and liveness properties. TOSEM 9 (2): 133-166 (2000) 60 Ouri Wolfson , Liqin Jiang , A. Prasad Sistla, Sam Chamberlain , Naphtali Rishe , Minglin Deng : Databases for Tracking Mobile Units in Real Time. ICDT 1999 : 169-186 59 Ouri Wolfson , A. Prasad Sistla, Bo Xu , Jutai Zhou , Sam Chamberlain , Yelena Yesha , Naphtali Rishe : Tracking Moving Objects Using Database Technology in DOMINO. NGITS 1999 : 112-119 58 Ouri Wolfson , A. Prasad Sistla, Bo Xu , Jutai Zhou , Sam Chamberlain : DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference 1999 : 547-549 57 Ouri Wolfson , A. Prasad Sistla, Sam Chamberlain , Yelena Yesha : Updating and Querying Databases that Track Mobile Units. Distributed and Parallel Databases 7 (3): 257-387 (1999) 56 A. Prasad Sistla, Viktor Gyuris : Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects of Computing 11 (4): 402-425 (1999) 55 Viktor Gyuris , A. Prasad Sistla: On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods in System Design 15 (3): 217-238 (1999) 54 Edmund M. Clarke , E. Allen Emerson , Somesh Jha , A. Prasad Sistla: Symmetry Reductions inModel Checking. CAV 1998 : 147-158 53 King-Lup Liu , A. Prasad Sistla, Clement T. Yu , Naphtali Rishe : Query Processing in a Video Retrieval System. ICDE 1998 : 276-283 52 A. Prasad Sistla, Ouri Wolfson , Yixiu Huang : Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Transactions on Parallel and Distributed Systems 9 (4): 378-390 (1998) 51 A. Prasad Sistla, Ouri Wolfson , Yelena Yesha , Robert H. Sloan : Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. TODS 23 (4): 411-452 (1998) 50 Viktor Gyuris , A. Prasad Sistla: On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV 1997 : 232-243 49 A. Prasad Sistla: Parametrized Verification of Linear Networks Using Automata as Invariants. CAV 1997 : 412-423 48 A. Prasad Sistla, L. Miliades , Viktor Gyuris : SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV 1997 : 464-467 47 A. Prasad Sistla, Clement T. Yu , R. Venkatasubrahmanian : Similarity Based Retrieval of Videos. ICDE 1997 : 181-190 46 A. Prasad Sistla, Ouri Wolfson , Sam Chamberlain , Son Dao : Modeling and Querying Moving Objects. ICDE 1997 : 422-432 45 A. Prasad Sistla, Ouri Wolfson , Sam Chamberlain , Son Dao : Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl 1997 : 310-337 44 E. Allen Emerson , A. Prasad Sistla: Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. TOPLAS 19 (4): 617-638 (1997) 43 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. CIKM 1996 : 235-242 42 A. Prasad Sistla, Clement T. Yu : Retrieval of Pictures Using Approximate Matching. Multimedia Database System: Issues and Research Direction 1996 : 101-112 41 A. Prasad Sistla, Ouri Wolfson , Son Dao , Kailash Narayanan , Ramya Raj : An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS 1996 : 50-60 40 A. Prasad Sistla: Hybrid and Incremental Modelchecking Techniques. ACM Computing Surveys 28 (4es): 125 (1996) 39 E. Allen Emerson , A. Prasad Sistla: Symmetry and Model Checking. Formal Methods in System Design 9 (1/2): 105-131 (1996) 38 Minglin Deng , A. Prasad Sistla, Ouri Wolfson : Temporal Conditons with Retroactive and Proactive Updates. ARTDB 1995 : 122-141 37 E. Allen Emerson , A. Prasad Sistla: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995 : 309-324 36 A. Prasad Sistla, Ouri Wolfson : Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995 : 269-280 35 A. Prasad Sistla, Clement T. Yu , Chengwen Liu , King Liu : Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB 1995 : 619-629 34 Ouri Wolfson , A. Prasad Sistla, Son Dao , Kailash Narayanan , Ramya Raj : View Maintenance in Mobile Computing. SIGMOD Record 24 (4): 22-27 (1995) 33 A. Prasad Sistla, Ouri Wolfson : Temporal Triggers in Active Databases. TKDE 7 (3): 471-486 (1995) 32 Vivek G. Naik , A. Prasad Sistla: Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV 1994 : 194-206 31 Yixiu Huang , A. Prasad Sistla, Ouri Wolfson : Data Replication for Mobile Computers. SIGMOD Conference 1994 : 13-24 30 A. Prasad Sistla, Clement T. Yu , R. Haddad : Reasoning About Spatial Relationships in Picture Retrieval Systems. VLDB 1994 : 570-581 29 A. Prasad Sistla: Safety, Liveness and Fairness in Temporal Logic. Formal Aspects of Computing 6 (5): 495-512 (1994) 28 E. Allen Emerson , Charanjit S. Jutla , A. Prasad Sistla: On Model-Checking for Fragments of µ-Calculus. CAV 1993 : 385-396 27 E. Allen Emerson , A. Prasad Sistla: Symmetry and Model Checking. CAV 1993 : 463-478 26 A. Prasad Sistla, Lenore D. Zuck : Reasoning in a Restricted Temporal Logic. Information and Computation 102 (2): 167-195 (1993) 25 A. Prasad Sistla, Ouri Wolfson : Triggers on Database Histories. Data Engineering Bulletin 15 (1-4): 48-51 (1992) 24 Steven M. German , A. Prasad Sistla: Reasoning about Systems with Many Processes. JACM 39 (3): 675-735 (1992) 23 A. Prasad Sistla: Automatic Temporal Verification of Buffer Systems. CAV 1991 : 59-69 22 A. Prasad Sistla: Proving Correctness with Respect to Nondeterministic Safety Specifications. Information Processing Letters 39 (1): 45-49 (1991) 21 E. Allen Emerson , Aloysius K. Mok , A. Prasad Sistla, Jai Srinivasan : Quantitative Temporal Reasoning. CAV 1990 : 136-145 20 A. Prasad Sistla, Jennifer L. Welch : Efficient Distributed Recovery Using Message Logging. PODC 1989 : 223-238 19 A. Prasad Sistla: On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. Information Processing Letters 32 (1): 17-23 (1989) 18 A. Prasad Sistla, Steven M. German : Reasoning with Many Processes. LICS 1987 : 138-152 17 A. Prasad Sistla, Lenore D. Zuck : On the Eventuality Operator in Temporal Logic. LICS 1987 : 153-166 16 A. Prasad Sistla, Moshe Y. Vardi , Pierre Wolper : The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. TCS 49 : 217-237 (1987) 15 Edmund M. Clarke , E. Allen Emerson , A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. TOPLAS 8 (2): 244-263 (1986) 14 A. Prasad Sistla, Moshe Y. Vardi , Pierre Wolper : The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP 1985 : 465-474 13 A. Prasad Sistla: On Characterization of Safety and Liveness Properties in Temporal Logic. PODC 1985 : 39-48 12 A. Prasad Sistla, Edmund M. Clarke : The Complexity of Propositional Linear Temporal Logics. JACM 32 (3): 733-749 (1985) 11 John H. Reif , A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities. JCSS 30 (1): 41-53 (1985) 10 A. Prasad Sistla: Distributed Algorithms for Ensuring Fair Interprocess Communications. PODC 1984 : 266-277 9 E. Allen Emerson , A. Prasad Sistla: Deciding Branching Time Logic. STOC 1984 : 14-24 8 E. Allen Emerson , A. Prasad Sistla: Deciding Full Branching Time Logic. Information and Control 61 (3): 175-201 (1984) 7 A. Prasad Sistla, Edmund M. Clarke , Nissim Francez , Albert R. Meyer : Can Message Buffers Be Axiomatized in Linear Temporal Logic? Information and Control 63 (1/2): 88-112 (1984) 6 Pierre Wolper , Moshe Y. Vardi , A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983 : 185-194 5 John H. Reif , A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities. ICALP 1983 : 629-639 4 E. Allen Emerson , A. Prasad Sistla: Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983 : 176-192 3 Edmund M. Clarke , E. Allen Emerson , A. Prasad Sistla: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL 1983 : 117-126 2 A. Prasad Sistla, Edmund M. Clarke , Nissim Francez , Yuri Gurevich : Can Message Buffers be Characterized in Linear Temporal Logic? PODC 1982 : 148-156 1 A. Prasad Sistla, Edmund M. Clarke : The Complexity of Propositional Linear Temporal Logics. STOC 1982 : 159-168  DiSC'03 © 2003 Association for Computing Machinery |
