Scholar
Dana Fisman
Google Scholar ID: LWgGkRsAAAAJ
Associate Professor of Computer Science, Ben-Gurion University
Formal Verification
Automata
Games
Logic
Grammatical Inference
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,604
H-index
24
i10-index
43
Publications
20
Co-authors
43
list available
Publications
5 items
Asymptotic Hausdorff and Language Similarity
2026
Cited
0
Characterizing LTL Formulas by Examples
2026
Cited
0
Atomic Gliders and CA as Language Generators (Extended Version)
2025
Cited
0
Runtime Consultants
2025
Cited
0
Omega-Regular Robustness
2025
Cited
0
Co-authors
13 total
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Rishabh Singh
Research Scientist, Google Brain
Armando Solar-Lezama
MIT
Dana Angluin
Professor of Computer Science, Yale University
Mukund Raghothaman
University of Southern California
Orna Kupferman
Professor of Computer Science, The Hebrew University
Rastislav Bodik
University of Washington
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
