AgoraResearch hub
ExploreLibraryProfile
Account
Guy Amir
Scholar

Guy Amir

Google Scholar ID: CSJEObYAAAAJ
Cornell University
AI SafetyNeural Network VerificationAI ExplainabilityFormal MethodsRobotics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
617
 
H-index
13
 
i10-index
17
 
Publications
20
 
Co-authors
8
list available
Contact
Emailgda42@cornell.eduGitHubOpen ↗LinkedInOpen ↗
Publications
4 items
Deciding Serializability in Network Systems
arXiv.org · 2026
Cited
0
On Improving Deep Active Learning with Formal Verification
2025
Cited
0
What makes an Ensemble (Un) Interpretable?
2025
Cited
0
Shield Synthesis for LTL Modulo Theories
arXiv.org · 2024
Cited
5
Resume (English only)
Co-authors
8 total
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Davide Corsi
Davide Corsi
University of California, Irvine
Michael Schapira
Michael Schapira
Professor of Computer Science, The Hebrew University of Jerusalem
Clark Barrett
Clark Barrett
Stanford University
David Harel
David Harel
Professor of Computer Science, The Weizmann Institute
Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Achiya Elyasaf
Achiya Elyasaf
Assistant Professor. Software and Information System Engineering Department, Ben-Gurion University
Assaf Marron
Assaf Marron
Weizmann Institute of Science

Welcome back

Sign in to Agora

Welcome back! Please sign in to continue.

Do not have an account?