The SCEAS System
| |||||||

## Search the dblp DataBase
Alexander Rabinovich:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Alexander Rabinovich, Ph. Schnoebelen
**BTL**[Citation Graph (0, 0)][DBLP]_{2}and the expressive power of ECTL^{+}. Inf. Comput., 2006, v:204, n:7, pp:1023-1044 [Journal] - Alexander Rabinovich
**Quantitative analysis of probabilistic lossy channel systems.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:5, pp:713-740 [Journal] - Alexander Rabinovich
**On compositionality and its limitations.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal] - Alexander Rabinovich, Wolfgang Thomas
**Logical Refinements of Church's Problem.**[Citation Graph (0, 0)][DBLP] CSL, 2007, pp:69-83 [Conf] - Stéphane Demri, Alexander Rabinovich
**The Complexity of Temporal Logic with Until and Since over Ordinals.**[Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:531-545 [Conf] - Yoram Hirshfeld, Alexander Rabinovich
**Expressiveness of Metric modalities for continuous time**[Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal] - Alexander Rabinovich
**The Church Synthesis Problem with Parameters**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] - Alexander Rabinovich
**Composition Theorem for Generalized Sum.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2007, v:79, n:1-2, pp:137-167 [Journal] - Alexander Rabinovich
**Temporal logics with incommensurable distances are undecidable.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:5, pp:707-715 [Journal] - Alexander Rabinovich
**On decidability of monadic logic of order over the naturals extended by monadic predicates.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:6, pp:870-889 [Journal] - Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
**A logic of reachable patterns in linked data-structures.**[Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:111-142 [Journal] **Boris A. Trakhtenbrot: Academic Genealogy and Publications.**[Citation Graph (, )][DBLP]**Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey.**[Citation Graph (, )][DBLP]**Decidable Expansions of Labelled Linear Orderings.**[Citation Graph (, )][DBLP]**Time-Bounded Verification.**[Citation Graph (, )][DBLP]**Decidable Extensions of Church's Problem.**[Citation Graph (, )][DBLP]**Cardinality Quantifiers in MLO over Trees.**[Citation Graph (, )][DBLP]**Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.**[Citation Graph (, )][DBLP]**Synthesis of Finite-state and Definable Winning Strategies.**[Citation Graph (, )][DBLP]**Alternating Timed Automata over Bounded Time.**[Citation Graph (, )][DBLP]**Temporal Logics over Linear Time Domains Are in PSPACE.**[Citation Graph (, )][DBLP]**Selection over classes of ordinals expanded by monadic predicates.**[Citation Graph (, )][DBLP]**The Church Problem for Countable Ordinals**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |