Citation: Ap. Sistla et al., MINIMIZATION OF COMMUNICATION COST THROUGH CACHING IN MOBILE ENVIRONMENTS, IEEE transactions on parallel and distributed systems, 9(4), 1998, pp. 378-390
Citation: Ea. Emerson et Ap. Sistla, UTILIZING SYMMETRY WHEN MODEL-CHECKING UNDER FAIRNESS ASSUMPTIONS - AN AUTOMATA-THEORETIC APPROACH, ACM transactions on programming languages and systems, 19(4), 1997, pp. 617-638
Citation: Ap. Sistla et O. Wolfson, TEMPORAL TRIGGERS IN ACTIVE DATABASES, IEEE transactions on knowledge and data engineering, 7(3), 1995, pp. 471-486