Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Sistla, A. Prasad"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Probabilistic automata with isolated cut-points
Rohit Chadha
,
A. Prasad Sistla
,
Mahesh Viswanathan
Lecture Notes in Computer Science
8087
, 2013, pp. 254-265
Model checking concurrent programs with nondeterminism and randomization
Rohit Chadha
,
A. Prasad Sistla
,
Mahesh Viswanathan
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 364-375
On the expressiveness and complexity of randomization in finite state monitors
Rohit Chadha
,
A. Prasad Sistla
,
Mahesh Viswanathan
Journal of the ACM
56
(5), 2009, pp. 26: 1-44
Analysis of dynamic policies
A. Prasad Sistla
,
Min Zhou
Information and Computation
206
(2-4), 2008, pp. 185-212
Formal languages and algorithms for similarity based retrieval from sequence databases
A. Prasad Sistla
Lecture Notes in Computer Science
2556
, 2002, pp. 324-335
On model checking for the
\mu
-calculus and its fragments
E. Allen Emerson
,
Charanjit S. Jutla
,
A. Prasad Sistla
Theoretical Computer Science
258
(1-2), 2001, pp. 491-522
Minimization of communication cost through caching in mobile environments
A. Prasad Sistla
,
Ouri Wolfson
,
Yixio Huang
IEEE Transactions on Parallel and Distributed Systems
9
(4), 1998, pp. 378-390
Symmetry and model checking
E. Allen Emerson
,
A. Prasad Sistla
Formal Methods in System Design
9
, 1996, pp. 105-131
Reasoning in a restricted temporal logic
A. Prasad Sistla
,
Lenore D. Zuck
Information and Computation
102
(2), 1993, February, pp. 167-195
The complementation problem for Buchi automata with applications to temporal logic
A. Prasad Sistla
,
M.Y. Vardi
,
P. Wolper
Theoretical Computer Science
49
(2-3), 1987, pp. 217-237
Deciding Full Branching Time Logic
E. Allen Emerson
,
A. Prasad Sistla
Information and Control
61
(3), 1984, pp. 175-201