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
Hilfe
Suche: Author="Clarke, E.M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An improved algorithm for the evaluation of fixpoint expressions
A. Browne
,
E.M. Clarke
,
S. Jha
,
D.E. Long
,
W. Marrero
Theoretical Computer Science
178
(1-2), 1997, pp. 237-255
Verifying parameterized networks using abstraction and regular languages
E.M. Clarke
,
O. Grumberg
,
S. Jha
Lecture Notes in Computer Science
962
, 1995, pp. 395-407
Symmetry and induction in model checking
E.M. Clarke
,
S. Jha
Lecture Notes in Computer Science
1000
, 1995, pp. 455-470
A unified approach for showing language inclusion and equivalence between various types of
\omega
-automata
E.M. Clarke
,
I.A. Draghicescu
,
R.P. Kurshan
Information Processing Letters
46
(6), 1993, pp. 301-308
Symbolic model checking:
10^{20}
states and beyond
J.R. Burch
,
E.M. Clarke
,
K.L. McMillan
,
D.L. Dill
,
L.J. Hwang
Information and Computation
98
(2), 1992, June, pp. 142-170
Reasoning about networks with many identical finite state processes
M.C. Browne
,
E.M. Clarke
,
O. Grumberg
Information and Computation
81
(1), 1989, pp. 13-31
Characterizing finite Kripke structures in propositional temporal logic
M.C. Browne
,
E.M. Clarke
,
O. Grümberg
Theoretical Computer Science
59
, 1988, pp. 115-131
The complexity of propositional linear temporal logics
A.P. Sistla
,
E.M. Clarke
Journal of the ACM
32
(3), 1985, pp. 733-749
Effective axiomatizations of Hoare logics
E.M., Jr. Clarke
,
S.M. German
,
J.Y. Halpern
Journal of the ACM
30
(3), 1983, pp. 612-636
The complexity of propositional linear temporal logics
A.P. Sistla
,
E.M. Clarke
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, STOC'82 (San Francisco, CA, May 5-7, 1982)
, 1982, pp. 159-168
Proving correctness of coroutines without history variables
E.M. Clarke
Acta Informatica
13
(2), 1980, February, pp. 169-188
Characterizing correctness properties of parallel programs using fixpoints
E.A. Emerson
,
E.M. Clarke
Lecture Notes in Computer Science
85
, 1980, pp. 169-181
Approximate algorithms for optimization of busy waiting in parallel programs
E.M. Clarke
,
L. Liu
Proceedings of the 20th Annual IEEE Symposium on Foundations of Computer Science, FOCS'79 (San Juan, PR, October 29-31, 1979)
, 1979, pp. 255-266
Programming language constructs for which it is impossible to obtain good Hoare axiom systems
E.M., Jr. Clarke
Journal of the ACM
26
, 1979, pp. 129-147
Program invariants as fixed points
E.M., Jr. Clarke
Proceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science, FOCS'77 (Providence, RI, October 31 - November 2, 1977)
, 1977, pp. 18-29