MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Automata" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 19,178 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Factor automata of automata and applications  
  • by Mehryar Mohri, Pedro Moreno, Eugene Weinstein — 2007 — In 12th International Conference on Implementation and Application of Automata (CIAA
  • …Factor Automata of Automata and Applications Mehryar Mohri 1,2 , Pedro Moreno 2 , and Eugene…
  • Cited by 2 (2 self) – Add To MetaCart
  • On Possibilistic Automata  
  • by Cliff Joslyn — 1993 — in: Lecture Notes in Computer Science
  • …On Possibilistic Automata ? Cliff Joslyn ?? ??? Systems Science, SUNY at Binghamton, Binghamton…
  • Cited by 3 (3 self) – Add To MetaCart
  • Timed Automata  
  • by Rajeev Alur — 1999 — Theoretical Computer Science
  • …Timed Automata Rajeev Alur ? Abstract. Model checking is emerging as a practical tool…
  • Cited by 1362 (25 self) – Add To MetaCart
  • Interpretations of Automata  
  • by Tim A. C. Willemse — 2001 — Eindhoven University of Technol-ogy, Department of Computing Science
  • …interpretations of automata Tim A.C. Willemse Eindhoven University of Technology, Department…
  • Cited by 3 (1 self) – Add To MetaCart
  • Dynamical Automata  
  • by Whitney Tabor — 1998
  • …Dynamical Automata Whitney Tabor Department of Psychology Uris Hall Cornell University Ithaca, NY…
  • Cited by 8 (4 self) – Add To MetaCart
  • Lattice automata  
  • by Orna Kupferman, Yoad Lustig — 2007 — In Proc. 8th International Conference on Verification, Model Checking, and Abstract Interpretation
  • …Lattice Automata Orna Kupferman and Yoad Lustig Hebrew University, School of Engineering…
  • Cited by 4 (1 self) – Add To MetaCart
  • Automata and Logic  
  • by Igor Walukiewicz — 2002
  • …Automata and Logic Igor Walukiewicz Warsaw University 1 April 2002 2 Contents 1 Introduction 2…
  • Add To MetaCart
  • Urn Automata  
  • by Dana Angluin, James Aspnes, Zoe Diamadi, Michael J. Fischer, Rene Peralta — 2003
  • … Automata Dana Angluin 1 James Aspnes 1 ,2 Zoe Diamadi 1,3 Michael J. Fischer 1,4 Rene Peralta 1…
  • Cited by 11 (10 self) – Add To MetaCart
  • Types and Automata  
  • by Michael I. Schwartzbach, Erik M. Schmidt, Ny Munkegade — 1990
  • …Types and Automata Michael I. Schwartzbach 1 Erik M. Schmidt 2 Computer Science Department…
  • Cited by 3 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB