Statistics
Publications
12
Citations
342
H-Index
10
Active since
2005
Dana Fisman is an author at California University of Pennsylvania specializing in computer science, computing, and algorithms.
Publications per year
2005–2023
12
12
Search-based program synthesis
Rajeev Alur, Rishabh Singh, Dana Fisman et al. · Communications of the ACM · 2018 · 94 citations
Learning regular omega languages
Dana Angluin, Dana Fisman · Theoretical Computer Science · 2016 · 54 citations
SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, Rishabh Singh et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 30 citations · Full text
SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, Rishabh Singh et al. · Electronic Proceedings in Theoretical Computer Science · 2016 · 29 citations · Full text
1–5 of 12