MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Aniello Murano" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 15 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Typeness for ω-Regular Automata  
  • by Orna Kupferman, Gila Morgenstern, Aniello Murano — 2004 — Int. J. Found. Comput. Sci
  • …Typeness for ω-Regular Automata Orna Kupferman 1⋆ , Gila Morgenstern 1 , and Aniello Murano 1…
  • Add To MetaCart
  • Pushdown Module Checking  
  • by Laura Bozzelli, Aniello Murano, Adriano Peron — 2005 — In LPAR’05, LNCS 3835
  • …Pushdown Module Checking Laura Bozzelli 1 , Aniello Murano 1 , and Adriano Peron 1 Università di…
  • Cited by 9 (9 self) – Add To MetaCart
  • Graded Computation Tree Logic  
  • by Alessandro Bianco, Fabio Mogavero, Aniello Murano — 2008
  • …, Fabio Mogavero, Aniello Murano Preprint n. 21 (2008) pubblicazioni del DIPARTIMENTO DI MATEMATICA E…
  • Add To MetaCart
  • Weak Muller acceptance condition for tree automata  
  • by Salvatore La Torre, Aniello Murano, Margherita Napoli — 2002 — 3RD WORKSHOP IN VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2002. LNCS
  • … Automata ? Salvatore La Torre 1;2 , Aniello Murano 2;3 , and Margherita Napoli 2 1 University…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB