Jeffrey B. Remmel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

59 Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293

56 Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Logic 78(1-3): 203-242 (1996)

46 Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995)

44 Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358

Selection of 4 from 153 records - Jeffrey B. Remmel has 67 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

59		Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293
56		Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Logic 78(1-3): 203-242 (1996)
46		Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995)
44		Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358