Alberti, Francesco
Documents Indexed: | 10 Publications since 2012 |
Co-Authors: | 6 Co-Authors with 9 Joint Publications |
125 Co-Co-Authors |
all
top 5
Co-Authors
1 | single-authored |
9 | Ghilardi, Silvio |
6 | Sharygina, Natasha |
3 | Pagani, Elena |
3 | Ranise, Silvio |
2 | Bruttomesso, Roberto |
1 | Rossi, Gianpaolo |
Serials
2 | Formal Methods in System Design |
1 | Journal of Automated Reasoning |
1 | Stochastics and Dynamics |
1 | Journal of Satisfiability, Boolean Modeling and Computation |
Fields
9 | Computer science (68-XX) |
5 | Mathematical logic and foundations (03-XX) |
1 | Probability theory and stochastic processes (60-XX) |
1 | Biology and other natural sciences (92-XX) |
Publications by Year
all
top 5
Cited by 110 Authors
all
top 5
Cited in 10 Serials
Cited in 2 Fields
48 | Computer science (68-XX) |
17 | Mathematical logic and foundations (03-XX) |