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
Contact
No contact links provided.
Publications
4 items
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
Resume (English only)
Co-authors
43 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
Co-author 4
Co-author 5
Co-author 6
Swen Jacobs
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Florian Zuleger
Associate Professor, TU Wien
