Alexander Yakhnis

According to our database, Alexander Yakhnis authored at least 9 papers between 1990 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Searches for New Information over World Wide Web.

Alexander Yakhnis, Wu Ke

Proceedings of the International Conference on Internet Computing, 2003

1998

Games with Unknown Past.

Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis

Math. Log. Q., 1998

1996

McNaughton Games and Extracting Strategies for Concurrent Programs.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Ann. Pure Appl. Log., 1996

Hybrid System Games: Extraction of Control Automata with Small Topologies.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Proceedings of the Hybrid Systems IV, 1996

1995

Viability in Hybrid Systems.

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Theor. Comput. Sci., 1995

1994

Controllers as Fixed Points of Set-Valued Operators.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Proceedings of the Hybrid Systems II, 1994

1993

Gurevich-Harrington's Games Defined by Finite Automata.

Alexander Yakhnis, Vladimir Yakhnis

Ann. Pure Appl. Log., 1993

Some Effectively Infinite Classes of Enumerations.

Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis

Ann. Pure Appl. Log., 1993

1990

Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies.

Alexander Yakhnis, Vladimir Yakhnis

Ann. Pure Appl. Log., 1990