Skip to main navigation Skip to search Skip to main content
No photo of Dana Fisman

View Scopus Profile

Dana Fisman

 https://orcid.org/0000-0002-6015-4170
2001 …2027

Research activity per year

Fingerprint

Dive into the research topics where Dana Fisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 3 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Learning Omega-Regular Languages: A Tour of Learning Results and Canonical Representations

    Fisman, D., Sudit, E. & Zimerman, O., 1 Jan 2027, Timeless Machines: Computability Across Eras - 22nd Conference on Computability in Europe, CiE 2026, Proceedings. Brattka, V., Fernau, H. & Galeotti, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-47 25 p. (Lecture Notes in Computer Science; vol. 16674 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Asymptotic Hausdorff and Language Similarity

    Fisman, D. & Meirom, G., 1 Jul 2026, 53rd International Colloquium on Automata, Languages, and Programming, ICALP 2026. Bhattacharya, S., Nanongkai, D., Benedikt, M. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 179. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 374).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Atomic Gliders and Cellular Automata as Language Generators

    Fisman, D. & Izsak, N., 1 Jan 2026, Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Proceedings. Chen, Y.-F., Jensen, T. & Lengál, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 58-81 24 p. (Lecture Notes in Computer Science; vol. 16417 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Characterizing LTL Formulas by Examples

    ten Cate, B., Fisman, D., Ohayon, R. & Sestic, P., 21 Aug 2026, 51st International Symposium on Mathematical Foundations of Computer Science, MFCS 2026. Koucky, M. & Petrisan, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 386).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Insights into Learning Broadcast Protocols: (Short Paper)

    Fisman, D., Izsak, N. & Jacobs, S., 1 Jan 2026, Cyber Security, Cryptology, and Machine Learning - 9th International Symposium, CSCML 2025, Proceedings. Akavia, A., Dolev, S., Lysyanskaya, A. & Puzis, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 306-313 8 p. (Lecture Notes in Computer Science; vol. 16244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Runtime Consultants

    Fisman, D. & Sudit, E., 1 Jan 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 497-517 21 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Learning Broadcast Protocols with LeoParDS

    Izsak, N., Fisman, D. & Jacobs, S., 1 Jan 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 220-234 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15054 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • A Robust Measure on FDFAs Following Duo-Normalized Acceptance

    Fisman, D., Goldberg, E. & Zimerman, O., 1 Aug 2024, 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024. Kralovic, R. & Kucera, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 53. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 306).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • CONSTRUCTING CONCISE CHARACTERISTIC SAMPLES FOR ACCEPTORS OF OMEGA REGULAR LANGUAGES

    Angluin, D. & Fisman, D., 1 Oct 2024, In: Logical Methods in Computer Science . 20, 4, p. 10:1-10:59

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations

  • Learning Broadcast Protocols

    Fisman, D., Izsak, N. & Jacobs, S., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 11 ed. Association for the Advancement of Artificial Intelligence, p. 12016-12023 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
View all 75 Research outputs