PULINA, LUCA
 Distribuzione geografica
Continente #
EU - Europa 1.673
Totale 1.673
Nazione #
IT - Italia 1.673
Totale 1.673
Città #
Genova 1.276
Rapallo 176
Genoa 144
Vado Ligure 76
Bordighera 1
Totale 1.673
Nome #
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 162
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 152
Engineering approaches and methods to verify software in autonomous systems 138
Hard QBF Encodings made easy: Dream or Reality? 130
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 126
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 126
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 124
Ranking and Reputation Systems in the QBF Competition 120
Evaluating probabilistic model checking tools for verification of robot control policies 113
Safe Learning with Real-Time Constraints: A Case Study 113
The QBFEVAL Web Portal 109
Collaborative Expert Portfolio Management 99
A Structural Approach to Reasoning with Quantified Boolean Formulas 83
Translation-based approaches for solving disjunctive temporal problems with preferences 76
pyNeVer: A Framework for Learning and Verification of Neural Networks 21
NeVer2: learning and verification of neural networks 7
Totale 1.699
Categoria #
all - tutte 5.220
article - articoli 1.090
book - libri 0
conference - conferenze 4.130
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.440


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020371 0 0 0 0 29 48 61 25 41 70 75 22
2020/2021184 16 16 9 17 8 8 8 32 14 27 14 15
2021/2022229 11 17 28 36 3 11 26 41 10 14 11 21
2022/2023213 17 6 2 14 39 31 6 16 47 1 26 8
2023/2024109 5 15 0 18 5 4 6 1 2 15 16 22
2024/202578 6 25 6 8 33 0 0 0 0 0 0 0
Totale 1.699