Alexander Yakhnis

Publication Activity (10 Years)

Years Active: 1990-2003
Publications (10 Years): 0

Publications

Alexander Yakhnis, Wu Ke
Searches for New Information over World Wide Web. International Conference on Internet Computing (2003)
Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis
Games with Unknown Past. Math. Log. Q. 44 (1998)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems (1996)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Log. 78 (1-3) (1996)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Viability in Hybrid Systems. Theor. Comput. Sci. 138 (1) (1995)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems (1994)
Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis
Some Effectively Infinite Classes of Enumerations. Ann. Pure Appl. Log. 60 (3) (1993)
Alexander Yakhnis, Vladimir Yakhnis
Gurevich-Harrington's Games Defined by Finite Automata. Ann. Pure Appl. Log. 62 (3) (1993)
Alexander Yakhnis, Vladimir Yakhnis
Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies. Ann. Pure Appl. Log. 48 (3) (1990)