Dana Fisman
Scholar

Dana Fisman

Google Scholar ID: LWgGkRsAAAAJ
Associate Professor of Computer Science, Ben-Gurion University
Formal VerificationAutomataGamesLogicGrammatical Inference
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,604
 
H-index
24
 
i10-index
43
 
Publications
20
 
Co-authors
43
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
43 total
Co-author 1
Co-author 1
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Rishabh Singh
Rishabh Singh
Research Scientist, Google Brain
Armando Solar-Lezama
Armando Solar-Lezama
MIT
Dana Angluin
Dana Angluin
Professor of Computer Science, Yale University
Co-author 6
Co-author 6
Mukund Raghothaman
Mukund Raghothaman
University of Southern California
Co-author 8
Co-author 8