MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Tiziano Villa" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Efficient minimization of fully testable 2-SPP networks  
  • by Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa — 2006 — In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition
  • … of Milano, Italy annab@(email omitted); ciriani@(email omitted); Rolf Drechsler Tiziano Villa Institute of Computer…
  • Cited by 2 (1 self) – Add To MetaCart
  • Composition Operators in Language Equations  
  • by Nina Yevtushenko Tiziano, Nina Yevtushenko, Tiziano Villa, Alberto L. Sangiovanni-vincentelli — 2004
  • …Composition Operators in Language Equations Nina Yevtushenko ¶ Tiziano Villa §,† Robert K. Brayton…
  • Add To MetaCart
  • A.L.: Ariadne: a framework for reachability analysis of hybrid automata  
  • by Andrea Balluchi, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Tiziano Villa, Alberto L. Sangiovanni-vincentelli — In: Proceedings of the International Syposium on Mathematical Theory of Networks and Systems. (2006
  • … Casagrande Pieter Collins Alberto Ferrari Tiziano Villa Alberto L. Sangiovanni-Vincentelli Abstract…
  • Cited by 1 (1 self) – Add To MetaCart
  • Sequential synthesis by language equation solving  
  • by Nina Yevtushenko, Tiziano Villa, K. Brayton, Þ Alex Petrenko, Alberto L. Sangiovanni-vincentelli Ý�þ — 2003 — In The Proceedings of the International Workshop on Logic Synthesis
  • …Sequential Synthesis by Language Equation Solving Nina Yevtushenko ß Tiziano Villa Ü�Ý Robert K…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB