Dana Fisman

Emaildanabgu.acil

h-index

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.

1 Similar Profiles

38 Conference contribution
15 Article
4 Chapter
4 Conference article
More
- 3 Book
- 3 Editorial
- 2 Paper
- 2 Preprint
- 1 Abstract

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
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
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
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
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
1 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
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
When Is the Normalized Edit Distance over Non-Uniform Weights a Metric?
Fisman, D. & Tzarfati, I., 1 Jun 2024, 35th Annual Symposium on Combinatorial Pattern Matching, CPM 2024. Inenaga, S. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 296).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
A Normalized Edit Distance on Infinite Words
Fisman, D., Grogin, J. & Weiss, G., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations
INFERRING SYMBOLIC AUTOMATA
Fisman, D., Frenkel, H. & Zilles, S., 1 Jan 2023, In: Logical Methods in Computer Science. 19, 2, p. 5:1-5:37
Research output: Contribution to journal › Article › peer-review

Open Access
8 Scopus citations

Inferring Reactive Systems
Fisman, D. (PI)
Israel Science Foundation
1/01/21 → 31/12/24
Project: Research
2020 Industrial Ecology GRC; Newry Maine, June 13-19, 2020
Ramaswami, A. (PI), Fisman, D. (PI) & Angluin, D. (CoPI)
United States-Israel Binational Science Foundation (BSF)
1/01/16 → 31/08/22
Project: Research

Dana Fisman

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

Atomic Gliders and Cellular Automata as Language Generators

Insights into Learning Broadcast Protocols: (Short Paper)

Runtime Consultants

Learning Broadcast Protocols with LeoParDS

A Robust Measure on FDFAs Following Duo-Normalized Acceptance

CONSTRUCTING CONCISE CHARACTERISTIC SAMPLES FOR ACCEPTORS OF OMEGA REGULAR LANGUAGES

Learning Broadcast Protocols

When Is the Normalized Edit Distance over Non-Uniform Weights a Metric?

A Normalized Edit Distance on Infinite Words

INFERRING SYMBOLIC AUTOMATA

Inferring Reactive Systems

2020 Industrial Ecology GRC; Newry Maine, June 13-19, 2020

Dana Fisman

Fingerprint

Collaborations and top research areas from the last five years

Research output

Projects