This map shows the geographic impact of Tiziano Villa's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Tiziano Villa with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tiziano Villa more than expected).
This network shows the impact of papers produced by Tiziano Villa. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Tiziano Villa. The network helps show where Tiziano Villa may publish in the future.
Co-authorship network of co-authors of Tiziano Villa
This figure shows the co-authorship network connecting the top 25 collaborators of Tiziano Villa.
A scholar is included among the top collaborators of Tiziano Villa based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Tiziano Villa. Tiziano Villa is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Rizzi, Roméo, et al.. (2019). Complexity of Weak, Strong and Dynamic Controllability of CNCUs. Research Padua Archive (University of Padua). 2509. 83–88.2 indexed citations
5.
Geretti, Luca, Davide Bresolin, Riccardo Muradore, et al.. (2018). Formal Verification of Medical CPS. ACM Transactions on Cyber-Physical Systems. 2(4). 1–29.10 indexed citations
6.
Seshia, Sanjit A., et al.. (2013). Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. Federated Conference on Computer Science and Information Systems. 1369–1376.2 indexed citations
7.
Bernasconi, Anna, Valentina Ciriani, Gabriella Trucco, & Tiziano Villa. (2013). Minimization of P-circuits using Boolean relations. Design, Automation, and Test in Europe. 996–1001.2 indexed citations
Bresolin, Davide, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, & Tiziano Villa. (2009). The impact of EFSM composition on functional ATPG. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). c 19. 44–49.1 indexed citations
12.
Villa, Tiziano, et al.. (2007). FSM Encoding for BDD Representations. International Journal of Applied Mathematics and Computer Science. 17(1). 113–124.5 indexed citations
13.
Yevtushenko, Nina, et al.. (2007). Solving language equations over synchronous and parallel composition operators. 14–32.2 indexed citations
Yevtushenko, Nina, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, & Alberto Sangiovanni‐Vincentelli. (2001). Solution of parallel language equations for logic synthesis. International Conference on Computer Aided Design. 103–110.29 indexed citations
Villa, Tiziano, Timothy Kam, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (1997). Synthesis of Finite State Machines: Logic Optimization. CERN Document Server (European Organization for Nuclear Research).42 indexed citations
Micheli, G. De, Alberto Sangiovanni‐Vincentelli, & Tiziano Villa. (1983). Computer-aided synthesis of PLA-based finite-state machines. International Conference on Computer Aided Design. 154–157.24 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.