Dana Fisman

Identifiers

• name variant Dana Fisman 0.60 · backfill

Papers (4)

1. Asymptotic Hausdorff and Language Similarity cs.FL · 2026 · author #1
2. Characterizing LTL Formulas by Examples cs.LO · 2026 · author #2
3. SyGuS-Comp 2018: Results and Analysis cs.PL · 2019 · author #2
4. Rational Synthesis cs.LO · 2009 · author #1

Mentions

• 0907.3019 #1 · backfill · confidence 0.70 Dana Fisman

Frequent Coauthors

• Abhishek Udupa 1 shared papers
• Balder ten Cate 1 shared papers
• Gal Meirom 1 shared papers
• Orna Kupferman 1 shared papers
• Patrik Sestic 1 shared papers
• Rajeev Alur 1 shared papers
• Rishabh Singh 1 shared papers
• Roi Ohayon 1 shared papers
• Saswat Padhi 1 shared papers
• Yoad Lustig 1 shared papers