Dana Fisman
Author
Alternate names D Fisman, Dana Fisman
Institutions Yale University, Ben-Gurion University of the Negev
Past institutions Ben-Gurion University of the Negev, Yale University, University of Pennsylvania, Philadelphia University, Microsoft Research (United Kingdom) +5 more
ORCID: Yes
H-index: 19
I10-index: 27
Works count: 89
Citations count: 1,497
Reasoning with Temporal Logic on Truncated Paths
2003 · Cindy Eisner, Dana Fisman, et al. · Lecture notes in computer science
The Temporal Logic Sugar
2001 · Ilan Beer, Shoham Ben-David, et al. · Lecture notes in computer science
A Practical Introduction to PSL
2006 · Cindy Eisner, Dana Fisman · Springer eBooks