Sabina Rossi

Ca' Foscari University of Venice — Italy

Computer Science · Physical Sciences

20h-index1.3kcitations165works10.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(39), Distributed systems and fault tolerance(36), Security and Verification in Computing(35), Logic, programming, and type systems(32), Advanced Queuing Theory Analysis(28)

Publications165 total

On the Performance of SMASH: A Non-Preemptive Window-Based Scheduler for Multiserver Jobs
IEEE Transactions on Parallel and Distributed Systems·2026Open Access
Generalized Proportional Lumpability
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2026
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2026
Massive stochastic simulation of cosmic rays propagation in the heliosphere: The COSMICA code
Astronomy and Computing·2025· 1 citedOpen Access
A Product-Form Model for Systems with Aging Objects and Similarities
Lecture notes in computer science·2025
COSMICA: A GPU-Optimized Code for Solar Modulation Studies
2025Open Access
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis
Blockchain Research and Applications·2025· 4 citedOpen Access
Assessing Code Understanding in LLMs
arXiv (Cornell University)·2025Open Access
Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis
ACM Transactions on Modeling and Computer Simulation·2025Open Access
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
Logical Methods in Computer Science·2025· 3 citedOpen Access
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis
ARCA (Università Ca' Foscari Venezia)·2025· 4 cited
Under the Space Threat: Quantitative Analysis of Cosmos Blockchain
Lecture notes in computer science·2025
Assessing Code Understanding in LLMs
Lecture notes in computer science·2025· 1 cited
Smart contract languages: A comparative analysis
Future Generation Computer Systems·2024· 18 citedOpen Access
Cosmos discovery: Quantitative assessment of Cosmos blockchain
2024
Compressing neural networks via formal methods
Neural Networks·2024· 6 citedOpen Access
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains
Algorithms·2024· 2 citedOpen Access
Smart Contract Languages: a comparative analysis
arXiv (Cornell University)·2024· 4 citedOpen Access
AI-enhanced blockchain technology: A review of advancements and opportunities
Journal of Network and Computer Applications·2024· 167 cited
A Product-form Network for Systems with Job Stealing Policies
ACM Transactions on Modeling and Performance Evaluation of Computing Systems·2024· 1 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

Andrea Marin(17), Carla Piazza(16), Annalisa Bossi(13), Riccardo Focardi(10), Michele Bugliesi(5), Ivan Malakhov(4), Baudouin Le Charlier(4), Damiano Macedonio(4), Lucia Gallina(4), Sandro Etalle(4), Andrea Marin(3), Sardaouna Hamadou(3), Daria Smuseva(2), Armir Bujari(2), Claudio E. Palazzi(2), Pascal Van Hentenryck(2), Silvia Crafà(2), Alvise Spanò(2), Jan‐Georg Smaus(2), Agostino Cortesi(2)