Fisman, Dana

1. Rational Synthesis
   2009/07/17 by Dana Fisman, Fisman, Dana, Orna Kupferman +3 · 2 citations
   Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Systems Engineering Methodologies and Applications
2. SyGuS-Comp 2018: Results and Analysis
   2019/04/12 by Alur, Rajeev, Fisman, Dana, Padhi, Saswat +2 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. The Normalized Edit Distance with Uniform Operation Costs is a Metric
   2022/01/16 by Fisman, Dana, Grogin, Joshua, Margalit, Oded +1 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)