Dana Fisman

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
A Complexity Measure on Büchi Automata	2016-04-13	Paper
Colored Nested Words	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dana Fisman