The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

A. Prasad Sistla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yixiu Huang, A. Prasad Sistla, Ouri Wolfson
    Data Replication for Mobile Computers. [Citation Graph (12, 24)][DBLP]
    SIGMOD Conference, 1994, pp:13-24 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian
    Similarity Based Retrieval of Videos. [Citation Graph (1, 17)][DBLP]
    ICDE, 1997, pp:181-190 [Conf]
  14. 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]
  15. A. Prasad Sistla
    On Characterization of Safety and Liveness Properties in Temporal Logic. [Citation Graph (1, 0)][DBLP]
    PODC, 1985, pp:39-48 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. E. Allen Emerson, A. Prasad Sistla
    Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:463-478 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. A. Prasad Sistla, Lenore D. Zuck
    Automatic Temporal Verification of Buffer Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:59-69 [Conf]
  27. A. Prasad Sistla
    Parametrized Verification of Linear Networks Using Automata as Invariants. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:412-423 [Conf]
  28. A. Prasad Sistla, Patrice Godefroid
    Symmetry and Reduced Symmetry in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:91-103 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
    Taming Interface Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:548-561 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. A. Prasad Sistla, Steven M. German
    Reasoning with Many Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:138-152 [Conf]
  41. A. Prasad Sistla, Lenore D. Zuck
    On the Eventuality Operator in Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:153-166 [Conf]
  42. 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]
  43. A. Prasad Sistla
    Distributed Algorithms for Ensuring Fair Interprocess Communications. [Citation Graph (0, 0)][DBLP]
    PODC, 1984, pp:266-277 [Conf]
  44. 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]
  45. A. Prasad Sistla, Jennifer L. Welch
    Efficient Distributed Recovery Using Message Logging. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:223-238 [Conf]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. E. Allen Emerson, A. Prasad Sistla
    Deciding Branching Time Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:14-24 [Conf]
  51. A. Prasad Sistla, Edmund M. Clarke
    The Complexity of Propositional Linear Temporal Logics [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:159-168 [Conf]
  52. A. Prasad Sistla
    Symmetry Reductions in Model-Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:25- [Conf]
  53. 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]
  54. A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Monitoring Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:222-236 [Conf]
  55. 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]
  56. A. Prasad Sistla
    Hybrid and Incremental Modelchecking Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:125- [Journal]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. 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]

  83. Preventing Information Leaks through Shadow Executions. [Citation Graph (, )][DBLP]


  84. CMV: automatic verification of complete mediation for java virtual machines. [Citation Graph (, )][DBLP]


  85. Power of Randomization in Automata on Infinite Strings. [Citation Graph (, )][DBLP]


  86. A query processor for prediction-based monitoring of data streams. [Citation Graph (, )][DBLP]


  87. A data model for trip planning in multimodal transportation systems. [Citation Graph (, )][DBLP]


  88. Automatically Preparing Safe SQL Queries. [Citation Graph (, )][DBLP]


  89. On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP]


  90. Verification of Object Relational Maps. [Citation Graph (, )][DBLP]


  91. Monitoring Temporal Properties of Stochastic Systems. [Citation Graph (, )][DBLP]


  92. Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002