Tiziano Villa
Identifiers
- name variant Tiziano Villa 0.60 · backfill
Papers (4)
- Hardware realization of residue number system algorithms by Boolean functions minimization cs.AR · 2018 · author #2
- Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification cs.GT · 2013 · author #2
- Discussion on Supervisory Control by Solving Automata Equation cs.OH · 2009 · author #3
- Efficient Solution of Language Equations Using Partitioned Representations cs.LO · 2007 · author #4
Mentions
Frequent Coauthors
- Nina Yevtushenko 2 shared papers
- Alan Mishchenko 1 shared papers
- Danila Gorodecky 1 shared papers
- Gabriele Puppis 1 shared papers
- Robert Brayton 1 shared papers
- Roland Jiang 1 shared papers
- Victor Bushkov 1 shared papers