01a Articolo in rivista

Network Decomposition and Optimal Multipath Routing Control Problem for Load Balancing
On the Shapley value and its application to the Italian VQR research assessment exercise

Research assessment exercises have now become common evaluation tools in a number of countries. These exercises have the goal of guiding merit-based public funds allocation, stimulating improvement of research productivity through competition and assessing the impact of adopted research support...
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study

We investigate the accuracy of how author names are reported in bibliographic records excerpted from four prominent sources: WoS, Scopus, PubMed, and CrossRef. We take as a case study 44,549 publications stored in the internal database of Sapienza University of Rome, one of the largest universities...
A Survey of Symbolic Execution Techniques

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program’s authentication. One...
Input-Sensitive Profiling
Reactive imperative programming with dataflow constraints
Ball-larus path profiling across multiple loop iterations
Input-sensitive profiling
K-calling context profiling
Reactive imperative programming with dataflow constraints