Author

Stefano Sinisi

Observed names: S Sinisi, S. Sinisi, SINISI, STEFANO, Sinisi, Stefano
ORCID: 0000-0001-7059-6960
Observed ORCID: 0000-0001-7059-6960
OpenAlex ID: A5023965799
2020 · S Sinisi, V Alimguzhin, et al. · Bioinformatics · 49
2014 · E. Tronci, T. Mancini, et al. · Formal Methods in Computer-Aided Design · 25
2021 · Stefano Sinisi, Vadim Alimguzhin, et al. · Simulation Modelling Practice and Theory · 18
2023 · Manuel Hirschle, Dmitrii Kirov, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 6
2023 · Leonidas Kosmidis, Alejandro J. Calderón, et al. · Lecture notes in computer science · 6
2018 · Toni Mancini, Federico Mari, et al. · 3
2024 · Alejandro J. Calderón, Irune Yarza, et al. · Design, Automation, and Test in Europe · 2
2023 · Giulia Stazi, Stefano Sinisi, et al. · AIAA SciTech Forum · 2
2026 · Alejandro J. Calderón, Ricardo Arnaiz, et al. · ACM Transactions on Cyber-Physical Systems · 1
2026 · Vinayak Chandran, Vikram Paumarti, et al. · PHM Society European Conference
2025 · Alejandro J. Calderón, Irune Yarza, et al. · ACM SIGAda Ada Letters
2019 · Vadim Alimguzhin, Toni Mancini, et al.
Works count: 17
Citation count: 133
H-index: 6
I10-index: 4
Year
Topic
Type