ヴィリアム・ゲファート

ヴィリアム・ゲフェルト（1955年生まれ）は、スロバキアの理論計算機科学者であり、部分対数空間における計算複雑性理論^[1]^[2] と双方向有限オートマトンの状態複雑性^[3]^[4]への貢献で知られています。また、新しいインプレースソートアルゴリズムも開発しました。^[5]^[6]彼は、コシツェのPJシャファリク大学の教授であり、計算機科学部門の部門長です。

バイオグラフィー

ゲッフェルトはPJサファリク大学で学士課程を修了し、1979年に卒業しました。1988年にブラティスラバのコメニウス大学で博士号を取得しました。2003年よりPJサファリク大学の教授を務めています。

^ Geffert, Viliam (1993). 「サブログ空間における Savitch および Immerman–Szelepcsényi 定理の Tally バージョン」SIAM Journal on Computing . 22 (1): 102–113. doi :10.1137/0222009. ISSN 0097-5397.
^ Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni (1998). 「空間と反転に関するサブログ境界」SIAM Journal on Computing . 28 (1): 325–340. doi :10.1137/S0097539796301306. hdl : 2434/178756 . ISSN 0097-5397. S2CID 37853723.
^ Geffert, Viliam (2012). 「有限オートマトンのための交代階層」理論計算機科学. 445 : 1–24. doi : 10.1016/j.tcs.2012.04.044 . ISSN 0304-3975.
^ Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni (2007). 「双方向有限オートマトンを補完する」.情報と計算. 205 (8): 1173–1187. doi : 10.1016/j.ic.2007.01.008 . ISSN 0890-5401.
^ Franceschini, Gianni; Geffert, Viliam (2005). 「O(nlog n) の比較と O(n) の移動によるインプレースソート」Journal of the ACM . 52 (4): 515–537. arXiv : cs/0305005 . doi :10.1145/1082036.1082037. ISSN 0004-5411. S2CID 2148080.
^ Geffert, Viliam; Gajdoš, Jozef (2011). 「インプレースソート」。SOFSEM 2011: コンピュータサイエンスの理論と実践。コンピュータサイエンスの講義ノート。第 6543 巻。pp . 248–259。Bibcode :2011LNCS.6543..248G。doi : 10.1007/ 978-3-642-18381-2_21。ISBN 978-3-642-18380-5. ISSN 0302-9743.