| 2026 | CiE | Learning Omega-Regular Languages: A Tour of Learning Results and Canonical Representations. | Dana Fisman, Elina Sudit, Oded Zimerman |
| 2026 | ICALP | Asymptotic Hausdorff and Language Similarity. | Dana Fisman, Gal Meirom |
| 2026 | MFCS | Characterizing LTL Formulas by Examples. | Balder ten Cate, Dana Fisman, Roi Ohayon, Patrik Sestic |
| 2026 | VMCAI | Atomic Gliders and Cellular Automata as Language Generators. | Dana Fisman, Noa Izsak |
| 2025 | RV | Runtime Consultants. | Dana Fisman, Elina Sudit |
| 2024 | AAAI | Learning Broadcast Protocols. | Dana Fisman, Noa Izsak, Swen Jacobs |
| 2024 | ATVA | Learning Broadcast Protocols with LeoParDS. | Noa Izsak, Dana Fisman, Swen Jacobs |
| 2024 | CPM | When Is the Normalized Edit Distance over Non-Uniform Weights a Metric? | Dana Fisman, Ilay Tzarfati |
| 2024 | MFCS | A Robust Measure on FDFAs Following Duo-Normalized Acceptance. | Dana Fisman, Emmanuel Goldberg, Oded Zimerman |
| 2023 | CSL | A Normalized Edit Distance on Infinite Words. | Dana Fisman, Joshua Grogin, Gera Weiss |
| 2022 | ATVA | Learning and Characterizing Fully-Ordered Lattice Automata. | Dana Fisman, Sagi Saadon |
| 2022 | CPM | The Normalized Edit Distance with Uniform Operation Costs Is a Metric. | Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss |
| 2022 | CSL | Inferring Symbolic Automata. | Dana Fisman, Hadar Frenkel, Sandra Zilles |
| 2022 | FOSSACS | Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. | Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George |
| 2021 | AAAI | Learning of Structurally Unambiguous Probabilistic Grammars. | Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson |
| 2020 | CSL | Strongly Unambiguous Bchi Automata Are Polynomially Predictable With Membership Queries. | Dana Angluin, Timos Antonopoulos, Dana Fisman |
| 2020 | IJCAI | Learning Interpretable Models in the Property Specification Language. | Rajarshi Roy, Dana Fisman, Daniel Neider |
| 2020 | TACAS | Polynomial Identification of mega-Automata. | Dana Angluin, Dana Fisman, Yaara Shoval |
| 2018 | ISoLA | Temporal Reasoning on Incomplete Paths. | Dana Fisman, Hillel Kugler |
| 2017 | CSL | Query Learning of Derived Omega-Tree Languages in Polynomial Time. | Dana Angluin, Timos Antonopoulos, Dana Fisman |
| 2016 | ESOP | Regular Programming for Quantitative Properties of Data Streams. | Rajeev Alur, Dana Fisman, Mukund Raghothaman |
| 2016 | LATA | Colored Nested Words. | Rajeev Alur, Dana Fisman |
| 2016 | LATA | A Complexity Measure on Bchi Automata. | Dana Fisman |
| 2016 | MFCS | Families of DFAs as Acceptors of omega-Regular Languages. | Dana Angluin, Udi Boker, Dana Fisman |
| 2015 | CONCUR | A Modular Approach for Bchi Determinization. | Dana Fisman, Yoad Lustig |
| 2015 | IJCAI | Learning Regular Languages via Alternating Automata. | Dana Angluin, Sarah Eisenstat, Dana Fisman |
| 2014 | ALT | Learning Regular Omega Languages. | Dana Angluin, Dana Fisman |
| 2013 | CAV | SVA and PSL Local Variables - A Practical Approach. | Roy Armoni, Dana Fisman, Naiyong Jin |
| 2010 | TACAS | Rational Synthesis. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2008 | FMCAD | Augmenting a Regular Expression-Based Temporal Logic with Local Variables. | Cindy Eisner, Dana Fisman |
| 2008 | TACAS | On Verifying Fault Tolerance of Distributed Protocols. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2007 | CONCUR | Temporal Antecedent Failure: Refining Vacuity. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2005 | PODC | A topological characterization of weakness. | Cindy Eisner, Dana Fisman, John Havlicek |
| 2004 | ISoLA | Embedding Finite Automata within regular Expressions. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
| 2003 | ICALP | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 2001 | CAV | The Temporal Logic Sugar. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |