stringtranslate.com

Viliam Geffert

Viliam Geffert (nacido en 1955) es un científico informático teórico eslovaco conocido por sus contribuciones a la teoría de la complejidad computacional en el espacio sublogarítmico [1] [2] y a la complejidad de estados de autómatas finitos bidireccionales . [3] [4] También ha desarrollado nuevos algoritmos de ordenamiento in situ . [5] [6] Es profesor y director del departamento de informática de la Universidad PJ Šafárik en Košice .

Biografía

Geffert realizó sus estudios de grado en la Universidad PJ Šafárik , donde se graduó en 1979. Obtuvo su doctorado en 1988 en la Universidad Comenius de Bratislava . Desde 2003 es profesor titular de la Universidad PJ Šafárik .

Referencias

  1. ^ Geffert, Viliam (1993). "Versiones de conteo de los teoremas de Savitch e Immerman–Szelepcsényi para el espacio sublogarítmico". Revista SIAM de Computación . 22 (1): 102–113. doi :10.1137/0222009. ISSN  0097-5397.
  2. ^ Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni (1998). "Límites sublogarítmicos en el espacio y reversiones". Revista SIAM de Computación . 28 (1): 325–340. doi :10.1137/S0097539796301306. hdl : 2434/178756 . ISSN  0097-5397. S2CID  37853723.
  3. ^ Geffert, Viliam (2012). "Una jerarquía alternada para autómatas finitos". Ciencias Informáticas Teóricas . 445 : 1–24. doi : 10.1016/j.tcs.2012.04.044 . ISSN  0304-3975.
  4. ^ Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni (2007). "Complementación de autómatas finitos bidireccionales". Información y Computación . 205 (8): 1173–1187. doi : 10.1016/j.ic.2007.01.008 . ISSN  0890-5401.
  5. ^ Franceschini, Gianni; Geffert, Viliam (2005). "Una clasificación in situ con comparaciones O(nlog n) y movimientos O(n)". Revista de la ACM . 52 (4): 515–537. arXiv : cs/0305005 . doi :10.1145/1082036.1082037. ISSN  0004-5411. S2CID  2148080.
  6. ^ Geffert, Viliam; Gajdoš, Jozef (2011). "Ordenamiento in situ". SOFSEM 2011: Teoría y práctica de la informática . Apuntes de clase en informática. Vol. 6543. págs. 248–259. Código Bibliográfico :2011LNCS.6543..248G. doi :10.1007/978-3-642-18381-2_21. ISBN : 978-3-642-18381-2_21. 978-3-642-18380-5. ISSN  0302-9743.

Enlaces externos