Dana Fisman
Dana Fisman is an Israeli computer scientist whose research has included work on the reconstruction of automaton-based models in computational learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate professor of computer science at Ben-Gurion University of the Negev. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Fisman, Dana', query time: 0.02s
Refine Results
-
1
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 o...
Published 2022Other Authors: “…Fisman, Dana…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
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 o...
Published 2022Other Authors: “…Fisman, Dana…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
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 o...
Published 2022Other Authors: “…Fisman, Dana…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
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 o...
Published 2022Other Authors: “…Fisman, Dana…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter