Sasha Rubin
Scholar

Sasha Rubin

Google Scholar ID: f5HrcOwAAAAJ
University of Sydney
Computational LogicFormal MethodsArtificial Intelligence
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
3 items
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
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Giuseppe De Giacomo
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
Bakh Khoussainov
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Swen Jacobs
Swen Jacobs
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Florian Zuleger
Florian Zuleger
Associate Professor, TU Wien