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="Rabinovich, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verification of probabilistic systems with faulty communication
P.A. Abdulla
,
N. Bertrand
,
A. Rabinovich
,
Ph. Schnoebelen
Information and Computation
202
(2), 2005, pp. 141-165
Decidability of split equivalence
Y. Abramson
,
A. Rabinovich
Information and Computation
173
(1), 2002, pp. 15-39
Finite variability interpretation of monadic logic of order
A. Rabinovich
Theoretical Computer Science
275
(1-2), 2002, pp. 111-125
Symbolic model checking for
\mu
-calculus requires exponential time
A. Rabinovich
Theoretical Computer Science
243
(1-2), 2000, pp. 467-475
Non-elementary lower bound for propositional duration calculus
A. Rabinovich
Information Processing Letters
66
(1), 1998, pp. 7-11
On translations of temporal logic of actions into monadic second-order logic
A. Rabinovich
Theoretical Computer Science
193
(1-2), 1998, pp. 197-214
From finite automata toward hybrid systems
A. Rabinovich
,
B.A. Trakhtenbrot
Lecture Notes in Computer Science
1279
, 1997, pp. 411-422
Sequence based methods for data transmission and source compression
A.R. Calderbank
,
P.C. Fishburn
,
A. Rabinovich
Lecture Notes in Computer Science
673
, 1993, pp. 1-12
Connectedness and synchronization
A. Mazurkiewicz
,
A. Rabinovich
,
B.A. Trakhtenbrot
Theoretical Computer Science
90
, 1991, pp. 171-184
Communication among relations
A. Rabinovich
,
B.A. Trakhtenbrot
Lecture Notes in Computer Science
443
, 1990, pp. 294-307