×
Edit Profile (opens in new tab)

Alberti, Francesco

Co-Author Distance
Author ID: alberti.francesco Recent zbMATH articles by "Alberti, Francesco"
Published as: Alberti, Francesco; Alberti, F.
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 cited Publications top 5 cited Publications

Citations contained in zbMATH Open

8 Publications have been cited 75 times in 48 Documents Cited by ▼ Year ▼
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
24
2012
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
12
2014
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
8
2015
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
8
2017
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
6
2012
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
6
2014
Counting constraints in flat array fragments. Zbl 1475.68428
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
6
2016
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2013
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
8
2017
Counting constraints in flat array fragments. Zbl 1475.68428
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
6
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
8
2015
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
12
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
6
2014
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2013
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
24
2012
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
6
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 110 Authors

10 Ghilardi, Silvio
5 Alberti, Francesco
5 Barrett, Clark W.
4 Konnov, Igor V.
4 Widder, Josef
3 Gianola, Alessandro
3 Griggio, Alberto
3 Kuncak, Viktor
3 Pagani, Elena
3 Raya, Rodrigo
3 Reynolds, Andrew
3 Sharygina, Natasha
3 Tinelli, Cesare
3 Veith, Helmut
2 Bruttomesso, Roberto
2 Chakraborty, Supratik
2 Dill, David L.
2 Grieskamp, Wolfgang
2 Gupta, Ashutosh
2 Irfan, Ahmed
2 Kapur, Deepak
2 Kincaid, Zachary
2 Mann, Makai
2 Nötzli, Andres
2 Padon, Oded
2 Park, Junkil
2 Peuter, Dennis
2 Qadeer, Shaz
2 Ranise, Silvio
2 Rümmer, Philipp
2 Sheng, Ying
2 Sofronie-Stokkermans, Viorica
2 Totla, Nishant
2 Unadkat, Divyesh
2 Wies, Thomas
2 Zohar, Yoni
1 Amilon, Jesper
1 Bansal, Kshitij
1 Beyer, Dirk
1 Bjørner, Nikolaj S.
1 Bliudze, Simon
1 Bonacina, Maria Paola
1 Calvanese, Diego
1 Cimatti, Alessandro
1 Conchon, Sylvain
1 Cornish, J. Robert M.
1 Cristiá, Maximiliano
1 Cyphert, John
1 Dangl, Matthias
1 Daniel, Jakub
1 De Angelis, Emanuele
1 Deng, Yuxin
1 Dragan, Ioan
1 Dross, Claire
1 Esen, Zafer
1 Farzan, Azadeh
1 Fioravanti, Fabio
1 Gallagher, John P.
1 Gange, Graeme
1 Garg, Pranav
1 Gmeiner, Annu
1 Gurfinkel, Arie
1 Gurov, Dilian
1 Hajdu, Ákos
1 Hermenegildo, Manuel V.
1 Hou, Zechen
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
1 Johansson, Moa
1 Kanig, Johannes
1 Kobayashi, Naoki
1 Kovács, Laura Ildikó
1 Lazić, Marijana
1 Leroux, Jérôme
1 Lidström, Christian
1 Liu, Jiangchao
1 Löding, Christof
1 Madelaine, Eric
1 Madhusudan, Parthasarathy
1 Matsushita, Yusuke
1 McMillan, Kenneth L.
1 Micskei, Zoltán
1 Montali, Marco
1 Naso, Chiara
1 Navas, Jorge A.
1 Neider, Daniel
1 Parízek, Pavel
1 Paskevich, Andrei
1 Pettorossi, Alberto
1 Podelski, Andreas
1 Proietti, Maurizio
1 Qin, Xudong
1 Redondi, Gianluca
1 Reps, Thomas W.
1 Rinetzky, Noam
1 Rival, Xavier
1 Rivkin, Andrey
1 Rossi, Gianfranco
1 Rybalchenko, Andrey
1 Schachte, Peter
...and 10 more Authors
all top 5

Cited in 10 Serials

8 Journal of Automated Reasoning
3 Formal Methods in System Design
2 Acta Informatica
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Mathematical Structures in Computer Science
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures

Cited in 2 Fields

48 Computer science (68-XX)
17 Mathematical logic and foundations (03-XX)

Citations by Year