The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Rabinovich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexander Rabinovich, Ph. Schnoebelen
    BTL2 and the expressive power of ECTL+. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:7, pp:1023-1044 [Journal]
  2. 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]
  3. Alexander Rabinovich
    On compositionality and its limitations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  4. Alexander Rabinovich, Wolfgang Thomas
    Logical Refinements of Church's Problem. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:69-83 [Conf]
  5. 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]
  6. Yoram Hirshfeld, Alexander Rabinovich
    Expressiveness of Metric modalities for continuous time [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  7. Alexander Rabinovich
    The Church Synthesis Problem with Parameters [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  8. Alexander Rabinovich
    Composition Theorem for Generalized Sum. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:137-167 [Journal]
  9. 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]
  10. 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]
  11. 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]

  12. Boris A. Trakhtenbrot: Academic Genealogy and Publications. [Citation Graph (, )][DBLP]


  13. Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. [Citation Graph (, )][DBLP]


  14. Decidable Expansions of Labelled Linear Orderings. [Citation Graph (, )][DBLP]


  15. Time-Bounded Verification. [Citation Graph (, )][DBLP]


  16. Decidable Extensions of Church's Problem. [Citation Graph (, )][DBLP]


  17. Cardinality Quantifiers in MLO over Trees. [Citation Graph (, )][DBLP]


  18. Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. [Citation Graph (, )][DBLP]


  19. Synthesis of Finite-state and Definable Winning Strategies. [Citation Graph (, )][DBLP]


  20. Alternating Timed Automata over Bounded Time. [Citation Graph (, )][DBLP]


  21. Temporal Logics over Linear Time Domains Are in PSPACE. [Citation Graph (, )][DBLP]


  22. Selection over classes of ordinals expanded by monadic predicates. [Citation Graph (, )][DBLP]


  23. The Church Problem for Countable Ordinals [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002