Dana Fisman

From MaRDI portal
Person:329610

Available identifiers

zbMath Open fisman.danaMaRDI QIDQ329610

List of research outcomes





PublicationDate of PublicationType
A normalized edit distance on infinite words2024-09-25Paper
The normalized edit distance with uniform operation costs is a metric2024-05-06Paper
https://portal.mardi4nfdi.de/entity/Q61249532024-04-10Paper
Representing regular languages of infinite words using mod 2 multiplicity automata2024-01-23Paper
Inferring Symbolic Automata2023-08-26Paper
Learning and characterizing fully-ordered lattice automata2023-06-02Paper
Learning of Structurally Unambiguous Probabilistic Grammars2023-03-22Paper
https://portal.mardi4nfdi.de/entity/Q58741932023-02-07Paper
Colored nested words2022-06-27Paper
https://portal.mardi4nfdi.de/entity/Q33848962021-12-17Paper
Polynomial Identification of $$\omega $$-Automata2021-11-10Paper
Regular \(\omega\)-languages with an informative right congruence2021-06-03Paper
Query Learning of Derived Omega-Tree Languages in Polynomial Time2020-05-26Paper
Streamable regular transductions2020-01-22Paper
https://portal.mardi4nfdi.de/entity/Q52329032019-09-13Paper
Functional Specification of Hardware via Temporal Logic2018-07-20Paper
Inferring regular languages and \(\omega\)-languages2018-06-27Paper
Families of DFAs as Acceptors of omega-Regular Languages2018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q46034462018-02-20Paper
A Modular Approach for Büchi Determinization.2017-09-12Paper
Learning regular omega languages2016-10-21Paper
Regular Programming for Quantitative Properties of Data Streams2016-04-26Paper
Colored Nested Words2016-04-13Paper
A Complexity Measure on Büchi Automata2016-04-13Paper
Vacuity in practice: temporal antecedent failure2015-03-24Paper
A topological characterization of weakness2015-03-10Paper
Learning Regular Omega Languages2015-01-14Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations2014-07-17Paper
Rational Synthesis2010-04-27Paper
Computer Aided Verification2010-04-20Paper
Embedding finite automata within regular expressions2008-10-07Paper
Temporal Antecedent Failure: Refining Vacuity2008-09-18Paper
On Verifying Fault Tolerance of Distributed Protocols2008-04-11Paper
Hardware and Software, Verification and Testing2007-02-12Paper
https://portal.mardi4nfdi.de/entity/Q44742152004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44492252004-02-08Paper
https://portal.mardi4nfdi.de/entity/Q45511642002-09-04Paper

Research outcomes over time

This page was built for person: Dana Fisman