ZAFFANELLA, Enea
 Distribuzione geografica
Continente #
EU - Europa 25
AS - Asia 3
Totale 28
Nazione #
IT - Italia 24
CN - Cina 2
LK - Sri Lanka 1
RU - Federazione Russa 1
Totale 28
Città #
Parma 9
Nerviano 7
Tradate 4
Fuzhou 2
Totale 22
Nome #
Parma Polyhedra Library, file e177fbc4-3626-50b0-e053-d805fe0adaee 4
A New Look at the Automatic Synthesis of Linear Ranking Functions, file e177fbc4-3616-50b0-e053-d805fe0adaee 3
A direct encoding for NNC polyhedra, file e177fbc6-3ebc-50b0-e053-d805fe0adaee 3
Revisiting Polyhedral Analysis for Hybrid Systems, file e177fbc7-149c-50b0-e053-d805fe0adaee 3
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra, file e177fbc7-1950-50b0-e053-d805fe0adaee 3
Speeding up Static Analysis with the Split Operator, file 52f88665-d9d2-4444-8371-b9ec6d797878 2
Decoupling the Ascending and Descending Phases in Abstract Interpretation, file 63ae689d-bf0d-4e03-96c8-c6d1e02c83d2 2
On the Efficiency of Convex Polyhedra, file e177fbc7-1b28-50b0-e053-d805fe0adaee 2
Synthesis of P-Stable Abstractions, file e177fbc7-8519-50b0-e053-d805fe0adaee 2
Synthesis of P-Stable Abstractions, file e177fbc7-8b51-50b0-e053-d805fe0adaee 2
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages, file e177fbc4-08ef-50b0-e053-d805fe0adaee 1
Erratum: Widening operators for powerset domains (International Journal on Software Tools for Technology Transfer vol. 8 (4/5) (449-466) 10.1007/s10009-005-0215-8), file e177fbc6-7370-50b0-e053-d805fe0adaee 1
Totale 28
Categoria #
all - tutte 43
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 43


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2020/20217 0 0 0 0 0 0 0 0 7 0 0 0
2021/20228 0 0 0 0 0 4 0 4 0 0 0 0
2023/20244 0 0 0 0 0 0 0 4 0 0 0 0
Totale 28