Scholar
Sasha Rubin
Google Scholar ID: f5HrcOwAAAAJ
University of Sydney
Computational Logic
Formal Methods
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,666
H-index
32
i10-index
58
Publications
20
Co-authors
43
list available
Publications
7 items
FONDANT: Strong and Best-Effort Planning via Antichains
2026
Cited
0
Target Discounted Sum Problem on Markov Chains with Applications to Markov Decision Processes
2026
Cited
0
Categorizer Automata for Discounted-Sum Payoffs
2026
Cited
0
Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems
2026
Cited
0
An Empirical Comparison of General Context-Free Parsers
2026
Cited
0
Example-Free Learning of Regular Languages with Prefix Queries
2025
Cited
0
Reusable Formal Verification of DAG-based Consensus Protocols
arXiv.org · 2024
Cited
0
Co-authors
13 total
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
Swen Jacobs
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Florian Zuleger
Associate Professor, TU Wien
Alessio R Lomuscio
Imperial College London
Roderick Bloem
Graz University of Technology
Frank Stephan
National University of Singapore, Department of Mathematics and Department of Computer Science
