Research output per year
Research output 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
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
-
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
-
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:59Research 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 -
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
1 Scopus citations -
INFERRING SYMBOLIC AUTOMATA
Fisman, D., Frenkel, H. & Zilles, S., 20 Apr 2023, In: Logical Methods in Computer Science. 19, 2, p. 5:1-5:37Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Introduction to the Special Issue on Runtime Verification
Feng, L. & Fisman, D., 1 Aug 2023, In: International Journal on Software Tools for Technology Transfer. 25, 4, p. 519-520 2 p.Research output: Contribution to journal › Article › peer-review
-
LEARNING OF STRUCTURALLY UNAMBIGUOUS PROBABILISTIC GRAMMARS
Fisman, D., Nitay, D. & Ziv-Ukelson, M., 8 Feb 2023, In: Logical Methods in Computer Science. 19, 1, p. 10:1–10:33 33 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Inferring Symbolic Automata
Fisman, D., Frenkel, H. & Zilles, S., 27 Jan 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 21:1--21:19 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations35 Downloads (Pure) -
Learning and Characterizing Fully-Ordered Lattice Automata
Fisman, D. & Saadon, S., 21 Oct 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Cham: Springer, Vol. 13505. p. 266-282 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations
Projects
- 1 Finished
-
2020 Industrial Ecology GRC; Newry Maine, June 13-19, 2020
Ramaswami, A. A. (PI), Fisman, D. (PI) & Angluin, D. (CoPI)
United States-Israel Binational Science Foundation (BSF)
1/01/16 → 31/08/22
Project: Research