28 results on '"Rabinovich, Alexander"'
Search Results
2. Complementation of Finitely Ambiguous Büchi Automata
3. On Expressive Power of Regular Expressions over Infinite Orders
4. Some Complexity Results for Stateful Network Verification
5. On Almost Future Temporal Logics
6. An Unusual Temporal Logic
7. A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals
8. Church Synthesis Problem for Noisy Input
9. Decidable Expansions of Labelled Linear Orderings
10. Decidable Extensions of Church’s Problem
11. Cardinality Quantifiers in MLO over Trees
12. Time-Bounded Verification
13. Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
14. Expressiveness of Metric Modalities for Continuous Time
15. Church Synthesis Problem with Parameters
16. Verification via Structure Simulation
17. Expressive Power of Temporal Logics
18. A Logic of Probability with Decidable Model-Checking
19. Quantitative Temporal Logic
20. A Framework for Decidable Metrical Logics
21. Checking equivalences between concurrent systems of finite agents (Extended abstract)
22. Logic of trace languages
23. Quantitative Analysis of Probabilistic Lossy Channel Systems
24. Boris A. Trakhtenbrot: Academic Genealogy and Publications
25. Logical Refinements of Church’s Problem
26. Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
27. The Complexity of Temporal Logic with Until and Since over Ordinals
28. Non modularity and expressibility for nets of relations (extended abstract)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.