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 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
-
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 Access -
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 Access -
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
-
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata.
Angluin, D., Antonopoulos, T., Fisman, D. & George, N., 29 Mar 2022, Foundations of Software Science and Computation Structures - FoSSaCS 2022. Bouyer, P. & Schröder, L. (eds.). Cham: Springer, p. 1-20 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13242 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Normalized Edit Distance with Uniform Operation Costs Is a Metric
Fisman, D., Grogin, J., Margalit, O. & Weiss, G., 1 Jun 2022, 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022. Bannai, H. & Holub, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 223).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Tools and algorithms for the construction and analysis of systems: 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
Fisman, D. (ed.) & Roşu, G. (ed.), 2022, Cham: Springer International Publishing AG. 493 p. (Lecture notes in computer science; vol. 13244)Research output: Book/Report › Book
-
Colored nested words
Alur, R. & Fisman, D., 1 Nov 2021, In: Formal Methods in System Design. 58, 3, p. 347-374 28 p.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Learning of Structurally Unambiguous Probabilistic Grammars
Nitay, D., Fisman, D. & Ziv-Ukelson, M., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, Vol. 35. p. 9170-9178 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations28 Downloads (Pure)
Projects
- 1 Finished
-
2020 Industrial Ecology GRC; Newry Maine, June 13-19, 2020
Ramaswami, A. A., Fisman, D. & Angluin, D.
United States-Israel Binational Science Foundation (BSF)
1/01/16 → 31/08/22
Project: Research