| 1 |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk)
|
|
Boker, Udi. - : LIPIcs - Leibniz International Proceedings in Informatics. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) ...
|
|
Boker, Udi. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Specification and verification of quantitative properties : expressions, logics, and automata ; Spécification et vérification de propriétés quantitatives : expressions, logiques et automates
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00957763 ; Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0039⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Approximate Determinization of Quantitative Automata
|
|
Boker, Udi; Henzinger, Thomas A.. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. : LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Combinatorial Characterization of the Language Recognized by Factor and Suffix Oracles
|
|
|
|
In: ISSN: 0129-0541 ; International Journal of Foundations of Computer Science ; https://hal.archives-ouvertes.fr/hal-00487228 ; International Journal of Foundations of Computer Science, World Scientific Publishing, 2005, 16 (6), pp.1179-1191. ⟨10.1142/S0129054105003741⟩ (2005)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Combinatorial Characterization of the Language Recognized by Factor and Suffix Oracles
|
|
|
|
In: Proceedings of the 4th Prague Stringology Conference (PSC) ; Prague Stringology Conference ; https://hal.archives-ouvertes.fr/hal-00487234 ; Prague Stringology Conference, Aug 2004, Prague, Czech Republic. pp.139--154 (2004)
|
|
BASE
|
|
Show details
|
|
|
|
|
