Dana Fisman

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A normalized edit distance on infinite words	2024-09-25	Paper
The normalized edit distance with uniform operation costs is a metric	2024-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q6124953	2024-04-10	Paper
Representing regular languages of infinite words using mod 2 multiplicity automata	2024-01-23	Paper
Inferring Symbolic Automata	2023-08-26	Paper
Learning and characterizing fully-ordered lattice automata	2023-06-02	Paper
Learning of Structurally Unambiguous Probabilistic Grammars	2023-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5874193	2023-02-07	Paper
Colored nested words	2022-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3384896	2021-12-17	Paper
Polynomial Identification of $$\omega $$-Automata	2021-11-10	Paper
Regular $\omega$-languages with an informative right congruence	2021-06-03	Paper
Query Learning of Derived Omega-Tree Languages in Polynomial Time	2020-05-26	Paper
Streamable regular transductions	2020-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5232903	2019-09-13	Paper
Functional Specification of Hardware via Temporal Logic	2018-07-20	Paper
Inferring regular languages and $\omega$-languages	2018-06-27	Paper
Families of DFAs as Acceptors of omega-Regular Languages	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4603446	2018-02-20	Paper
A Modular Approach for Büchi Determinization.	2017-09-12	Paper
Learning regular omega languages	2016-10-21	Paper
Regular Programming for Quantitative Properties of Data Streams	2016-04-26	Paper
Colored Nested Words	2016-04-13	Paper
A Complexity Measure on Büchi Automata	2016-04-13	Paper
Vacuity in practice: temporal antecedent failure	2015-03-24	Paper
A topological characterization of weakness	2015-03-10	Paper
Learning Regular Omega Languages	2015-01-14	Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations	2014-07-17	Paper
Rational Synthesis	2010-04-27	Paper
Computer Aided Verification	2010-04-20	Paper
Embedding finite automata within regular expressions	2008-10-07	Paper
Temporal Antecedent Failure: Refining Vacuity	2008-09-18	Paper
On Verifying Fault Tolerance of Distributed Protocols	2008-04-11	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4474215	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449225	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4551164	2002-09-04	Paper

Research outcomes over time

This page was built for person: Dana Fisman