Aravinda Prasad Sistla

Aravinda Prasad Sistla's AcademicInfluence.com Rankings

Computer Science

#7375

World Rank

#7766

Historical Rank

Database

#4433

World Rank

#4609

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Aravinda Prasad Sistla's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Aravinda Prasad Sistla Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Aravinda Prasad Sistla's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Automatic verification of finite-state concurrent systems using temporal logic specifications (1986) (3958)
The complexity of propositional linear temporal logics (1982) (827)
Modeling and querying moving objects (1997) (691)
Symmetry and model checking (1993) (639)
The complexity of propositional linear temporal logics (1985) (557)
Reasoning about systems with many processes (1992) (475)
Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach (1983) (458)
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic (1987) (453)
Updating and Querying Databases that Track Mobile Units (1999) (450)
Reasoning about infinite computation paths (1983) (331)
On Model-Checking for Fragments of µ-Calculus (1993) (305)
Efficient distributed recovery using message logging (1989) (224)
Deciding Full Branching Time Logic (1985) (220)
Quantitative temporal reasoning (1990) (208)
Safety, liveness and fairness in temporal logic (1994) (198)
Data replication for mobile computers (1994) (196)
Querying the Uncertain Position of Moving Objects (1997) (192)
Symmetry Reductions in Model-Checking (2002) (155)
Symmetry Reductions in Model Checking (1998) (131)
DOMINO: databases fOr MovINg Objects tracking (1999) (126)
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach (1997) (118)
On model checking for the µ-calculus and its fragments (2001) (115)
Deciding branching time logic (1984) (107)
SMC: a symmetry-based model checker for verification of safety and liveness properties (2000) (102)
Theoretical issues in the design and verification of distributed systems (1983) (98)
Temporal conditions and integrity constraints in active database systems (1995) (95)
Reasoning About Spatial Relationships in Picture Retrieval Systems (1994) (93)
Temporal Triggers in Active Databases (1995) (86)
Construction of a sentimental word dictionary (2010) (85)
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract) (1985) (78)
Preventing Information Leaks through Shadow Executions (2008) (76)
On-the-Fly Model Checking Under Fairness that Exploits Symmetry (1997) (75)
Databases for Tracking Mobile Units in Real Time (1999) (67)
On characterization of safety and liveness properties in temporal logic (1985) (63)
A Multiprocess Network Logic with Temporal and Spatial Modalities (1982) (63)
Stop Word and Related Problems in Web Interface Integration (2009) (62)
Symmetry and reduced symmetry in model checking (2001) (61)
Reasoning with Many Processes (1987) (57)
Minimization of Communication Cost Through Caching in Mobile Environments (1998) (50)
Tracking Moving Objects Using Database Technology in DOMINO (1999) (49)
An economic model for resource exchange in mobile peer to peer networks (2004) (46)
A data model for trip planning in multimodal transportation systems (2009) (42)
View maintenance in mobile computing (1995) (42)
Merging Source Query Interfaces onWeb Databases (2006) (40)
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks (2005) (40)
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships (1995) (40)
Reasoning about Infinite Computation Paths (Extended Abstract) (1983) (39)
Power of Randomization in Automata on Infinite Strings (2009) (37)
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (1995) (34)
On the Expressiveness and Complexity of Randomization in Finite State Monitors (2008) (33)
Monitorability of Stochastic Dynamical Systems (2011) (33)
Using Temporal Logic for Automatic Verification of Finite State Systems (1989) (31)
Can Message Buffers Be Axiomatized in Linear Temporal Logic? (1986) (31)
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State (2011) (31)
Automatically Preparing Safe SQL Queries (2010) (29)
Polarity Consistency Checking for Sentiment Dictionaries (2012) (28)
Reasoning about Qualitative Spatial Relationships (2000) (28)
Distributed algorithms for ensuring fair interprocess communicatons (1984) (26)
Similarity based retrieval of videos (1997) (24)
Reasoning in a Restricted Temporal Logic (1993) (24)
Monitoring Temporal Properties of Stochastic Systems (2008) (22)
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (2008) (22)
Polarity Consistency Checking for Domain Independent Sentiment Dictionaries (2015) (20)
On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification (1989) (20)
Analysis of dynamic policies (2008) (18)
Can message buffers be characterized in linear temporal logic? (1982) (16)
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL* (1983) (16)
Proving Correctness with Respect to Nondeterministic Safety Specifications (1991) (16)
Performance evaluation of G-tree and its application in fuzzy databases (1996) (16)
Parametrized Verification of Linear Networks Using Automata as Invariants (1997) (16)
Parameterized Verification of Linear Networks using Automata as Invariants (1999) (15)
Model Checking Parameterized Systems (2018) (15)
Employing symmetry reductions in model checking (2004) (15)
Language based policy analysis in a SPKI Trust Management System (2006) (13)
Model Check What You Can, Runtime Verify the Rest (2014) (13)
CMV: automatic verification of complete mediation for java virtual machines (2008) (13)
Distinguishing Hidden Markov Chains * (2015) (13)
Automatic Temporal Verification of Buffer Systems (1991) (13)
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (1997) (12)
Similarity based retrieval from sequence databases using automata as queries (2002) (12)
TAPS: automatically preparing safe SQL queries (2010) (12)
Applications of a transportation information architecture (2004) (12)
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (1994) (11)
Continuous nearest-neighbor queries with location uncertainty (2015) (11)
Retrieval of Pictures Using Approximate Matching (1996) (11)
Model Checking Concurrent Programs with Nondeterminism and Randomization (2010) (11)
SWIPE: eager erasure of sensitive data in large scale systems software (2012) (11)
Taming Interface Specifications (2005) (11)
Exact quantitative probabilistic model checking through rational search (2017) (11)
On the Eventuality Operator in Temporal Logic (1987) (11)
Decidable and Expressive Classes of Probabilistic Automata (2015) (11)
Verification of randomized security protocols (2017) (11)
A query processor for prediction-based monitoring of data streams (2009) (11)
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. (2019) (10)
Query processing in a video retrieval system (1998) (10)
Computer Aided Verification (2000) (10)
Timely monitoring of partially observable stochastic systems (2014) (10)
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (2011) (9)
Probabilistic Automata with Isolated Cut-Points (2013) (9)
Deciding Differential Privacy for Programs with Finite Inputs and Outputs (2020) (9)
Monitoring Off-the-Shelf Components (2006) (8)
Answer-pairs and processing of continuous nearest-neighbor queries (2011) (8)
Towards a theory of cost management for digital libraries and electronic commerce (1998) (8)
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings (2000) (8)
Temporal Conditions with Retroactive and Proactive Updates (1995) (7)
Incremental verification of architecture specification language for real-time systems (1997) (7)
Automated Methods for Checking Differential Privacy (2019) (7)
The TranQuyl language for data management in intelligent transportation (2012) (6)
An architecture for consumer-oriented online database services (1996) (6)
Hybrid and incremental modelchecking techniques (1996) (6)
Triggers on Database Histories (1992) (4)
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata (2017) (4)
Deciding accuracy of differential privacy schemes (2020) (4)
WEBLOG: a declarative language for secure web development (2013) (4)
Verification of Object Relational Maps (2007) (4)
Model Checking Indistinguishability of Randomized Security Protocols (2018) (4)
Decision-Theoretic Monitoring of Cyber-Physical Systems (2016) (3)
Research activities in database management and information retrieval at University of Illinois at Chicago (2002) (3)
Proceedings of the 12th International Conference on Computer Aided Verification (2000) (3)
DEICS: Data Erasure in Concurrent Software (2014) (2)
Model Checking Failure-Prone Open Systems Using Probabilistic Automata (2015) (2)
Checking extended CTL properties using guarded quotient structures (2004) (2)
Minimizing lifetime of sensitive data in concurrent programs (2014) (2)
An Incremental Verification Algorithm for Real-Time Systems (1999) (1)
Formal methods in concurrent and distributed systems (2000) (1)
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs (2021) (1)
Software Artifact for Deciding Accuracy of Differential Privacy Schemes (2020) (1)
Approximating Probabilistic Automata by Regular Languages (2018) (1)
Model Checking of Systems Employing Commutative Functions (2005) (1)
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions (2005) (1)
Applications of a Transportation Architecture (2004) (0)
REASONING l\BOUT INFINITE COlVlPUTATION PATHS (extended abstract) (1983) (0)
Exact quantitative probabilistic model checking through rational search (2020) (0)
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases (2002) (0)
Active Heterogeneous Databases for Monitor and Control. (1996) (0)
Continuous nearest-neighbor queries with location uncertainty (2014) (0)
Retrieval from Video and Pictorial Databases Employing Similarity and Motion (1999) (0)
Lemma 4 given 0 = S 0 0 S 0 #cell #nodes #time(sec) Trans. #reachable States #cell #nodes #time(sec) Trans. #reachable States (1994) (0)
A Restricted Class of 1-register Machines Presburger Arithmetic with Divisibility Veriication Example: Timing-based Mutual Exclusion Symbolic Computation Computing Consistent Parameter Valuations 3.1 a Decidability Result (1993) (0)
BOOK REVIEW: The Temporal Logic of Reactive and Concurrent Systems—Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag, 1991. xiv+427pp. ISBN 0-387-97664-7 . $49.95) (1993) (0)
C R ] 9 O ct 2 01 9 Automated Methods for Checking Differential Privacy (2019) (0)
Model Checking Randomized Security Protocols (Invited Paper) (2018) (0)
Exact Quantitative Model Checking Through Rational Search (2018) (0)
Similarity Based Retrieval from Video and Pictorial Databases (2003) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Aravinda Prasad Sistla?

Aravinda Prasad Sistla is affiliated with the following schools:

University of Illinois Chicago

Aravinda Prasad Sistla's Academic­Influence.com Rankings