Navegar

Colección

Datos Estadísticas

Lista de

Finite automata
9
"Finite-state independence and normal sequences" (2019) Álvarez, N.; Becher, V.; Carton, O. Journal of Computer and System Sciences. 103:1-17
"Finite-State Independence" (2018) Becher, V.; Carton, O.; Heiber, P.A. Theory of Computing Systems. 62(7):1555-1572
"Classically time-controlled quantum automata" (2018) Díaz-Caro, A.;Villagra, M.;Martin-Vide C. (...)O'Neill M. 7th International Conference on the Theory and Practice of Natural Computing, TPNC 2018. 11324 LNCS:266-278
"Normality and automata" (2015) Becher, V.; Carton, O.; Heiber, P.A. Journal of Computer and System Sciences. 81(8):1592-1613
"Normality and automata" (2015) Becher, V.; Carton, O.; Heiber, P.A. Journal of Computer and System Sciences. 81(8):1592-1613
"Normal numbers and finite automata" (2013) Becher, V.; Heiber, P.A. Theoretical Computer Science. 477:109-116
"A finite state intersection approach to propositional satisfiability" (2012) Castaño, J.M.; Castaño, R. Theoretical Computer Science. 450:92-108
"Two views on crossing dependencies, language, biology and satisfiability" (2011) Castaño, J.M. Frontiers in Artificial Intelligence and Applications. 228:128-141
"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67