| 
| |  | |  |
DOMINO: Databases fOr MovINg Objects tracking
Note: Links lead to the DBLP on the Web.
A. Prasad Sistla
55
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
54
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
53
Ouri Wolfson
, A. Prasad Sistla,
Bo Xu
,
Jutai Zhou
,
Sam Chamberlain
: DOMINO: Databases fOr MovINg Objects tracking.
SIGMOD Conference 1999
: 547-549
52
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)
51
Edmund M. Clarke
,
E. Allen Emerson
,
Somesh Jha
, A. Prasad Sistla: Symmetry Reductions inModel Checking.
CAV 1998
: 147-158
50
King-Lup Liu
, A. Prasad Sistla,
Clement T. Yu
,
Naphtali Rishe
: Query Processing in a Video Retrieval System.
ICDE 1998
: 276-283
49
A. Prasad Sistla,
Ouri Wofson
,
Yixiu Huang
: Minimization of Communication Cost Through Caching in Mobile Environments.
IEEE Transactions on Parallel and Distributed System 9
(4): 378-390 (1998)
48
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)
47
Victor Gyuris
, A. Prasad Sistla: On-the-Fly Model Checking Under Fairness That Exploits Symmetry.
CAV 1997
: 232-243
46
A. Prasad Sistla: Parametrized Verification of Linear Networks Using Automata as Invariants.
CAV 1997
: 412-423
45
A. Prasad Sistla,
L. Miliades
,
Victor Gyuris
: SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.
CAV 1997
: 464-467
44
A. Prasad Sistla,
Clement T. Yu
,
R. Venkatasubrahmanian
: Similarity Based Retrieval of Videos.
ICDE 1997
: 181-190
43
A. Prasad Sistla,
Ouri Wolfson
,
Sam Chamberlain
,
Son Dao
: Modeling and Querying Moving Objects.
ICDE 1997
: 422-432
42
A. Prasad Sistla,
Ouri Wolfson
,
Sam Chamberlain
,
Son Dao
: Querying the Uncertain Position of Moving Objects.
Temporal Databases, Dagstuhl 1997
: 310-337
41
E. Allen Emerson
, A. Prasad Sistla: Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.
TOPLAS 19
(4): 617-638 (1997)
40
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
39
A. Prasad Sistla,
Clement T. Yu
: Retrieval of Pictures Using Approximate Matching.
Multimedia Database Systems: Issues and Research Directions 1996
: 101-112
38
A. Prasad Sistla,
Ouri Wolfson
,
Son Dao
,
Kailash Narayanan
,
Ramya Raj
: An Architecture for Consumer-Oriented Online Database Services.
RIDE-NDS 1996
: 50-60
37
A. Prasad Sistla: Hybrid and Incremental Modelchecking Techniques.
Computing Surveys 28
(4es): 125 (1996)
36
Minglin Deng
, A. Prasad Sistla,
Ouri Wolfson
: Temporal Conditons with Retroactive and Proactive Updates.
ARTDB 1995
: 122-141
35
E. Allen Emerson
, A. Prasad Sistla: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.
CAV 1995
: 309-324
34
A. Prasad Sistla,
Ouri Wolfson
: Temporal Conditions and Integrity Constraints in Active Database Systems.
SIGMOD Conference 1995
: 269-280
33
A. Prasad Sistla,
Clement T. Yu
,
Chengwen Liu
,
King Liu
: Similarity based Retrieval of Pictures Using Indices on Spatial Relationships.
VLDB 1995
: 619-629
32
Ouri Wolfson
, A. Prasad Sistla,
Son Dao
,
Kailash Narayanan
,
Ramya Raj
: View Maintenance in Mobile Computing.
SIGMOD Record 24
(4): 22-27 (1995)
31
A. Prasad Sistla,
Ouri Wolfson
: Temporal Triggers in Active Databases.
TKDE 7
(3): 471-486 (1995)
30
Vivek G. Naik
, A. Prasad Sistla: Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.
CAV 1994
: 194-206
29
Yixiu Huang
, A. Prasad Sistla,
Ouri Wolfson
: Data Replication for Mobile Computers.
SIGMOD Conference 1994
: 13-24
28
A. Prasad Sistla,
Clement T. Yu
,
R. Haddad
: Reasoning About Spatial Relationships in Picture Retrieval Systems.
VLDB 1994
: 570-581
27
A. Prasad Sistla: Safety, Liveness and Fairness in Temporal Logic.
Formal Aspects of Computing 6
(5): 495-512 (1994)
26
E. Allen Emerson
,
Charanjit S. Jutla
, A. Prasad Sistla: On Model-Checking for Fragments of µ-Calculus.
CAV 1993
: 385-396
25
E. Allen Emerson
, A. Prasad Sistla: Symmetry and Model Checking.
CAV 1993
: 463-478
24
A. Prasad Sistla,
Lenore D. Zuck
: Reasoning in a Restricted Temporal Logic.
Information and Computation 102
(2): 167-195 (1993)
23
A. Prasad Sistla,
Ouri Wolfson
: Triggers on Database Histories.
Data Engineering Bulletin 15
(1-4): 48-51 (1992)
22
Steven M. German
, A. Prasad Sistla: Reasoning about Systems with Many Processes.
JACM 39
(3): 675-735 (1992)
21
A. Prasad Sistla: Automatic Temporal Verification of Buffer Systems.
CAV 1991
: 59-69
20
A. Prasad Sistla: Proving Correctness with Respect to Nondeterministic Safety Specifications.
IPL 39
(1): 45-49 (1991)
19
A. Prasad Sistla,
Jennifer L. Welch
: Efficient Distributed Recovery Using Message Logging.
PODC 1989
: 223-238
18
A. Prasad Sistla: On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification.
IPL 32
(1): 17-23 (1989)
17
A. Prasad Sistla,
Steven M. German
: Reasoning with Many Processes.
LICS 1987
: 138-152
16
A. Prasad Sistla,
Lenore D. Zuck
: On the Eventuality Operator in Temporal Logic.
LICS 1987
: 153-166
15
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)
14
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)
13
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
12
A. Prasad Sistla: On Characterization of Safety and Liveness Properties in Temporal Logic.
PODC 1985
: 39-48
11
A. Prasad Sistla,
Edmund M. Clarke
: The Complexity of Propositional Linear Temporal Logics.
JACM 32
(3): 733-749 (1985)
10
John H. Reif
, A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities.
JCSS 30
(1): 41-53 (1985)
9
A. Prasad Sistla: Distributed Algorithms for Ensuring Fair Interprocess Communications.
PODC 1984
: 266-277
8
E. Allen Emerson
, A. Prasad Sistla: Deciding Branching Time Logic.
STOC 1984
: 14-24
7
E. Allen Emerson
, A. Prasad Sistla: Deciding Full Branching Time Logic.
Information and Control 61
(3): 175-201 (1984)
6
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)
5
Pierre Wolper
,
Moshe Y. Vardi
, A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract).
FOCS 1983
: 185-194
4
John H. Reif
, A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities.
ICALP 1983
: 629-639
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
Copyright(C) 2000 ACM | | | | | | |
