No. | Title | Author | Year |
---|---|---|---|
1 | A Normalized Edit Distance on Infinite Words | Fisman, Dana et al. | 2023 |
2 | Inferring Symbolic Automata | Fisman, Dana et al. | 2022 |
3 | The Normalized Edit Distance with Uniform Operation Costs Is a Metric | Fisman, Dana et al. | 2022 |
4 | Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries | Angluin, Dana et al. | 2020 |
5 | Query Learning of Derived Omega-Tree Languages in Polynomial Time | Angluin, Dana et al. | 2017 |
6 | Families of DFAs as Acceptors of omega-Regular Languages | Angluin, Dana et al. | 2016 |
7 | A Modular Approach for Büchi Determinization | Fisman, Dana et al. | 2015 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 7 |