Search the dblp DataBase

Publications of Author

1. Alexander Rabinovich, Ph. Schnoebelen
   BTL₂ 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]