IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.764
EU - Europa 2.050
AS - Asia 1.405
SA - Sud America 133
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 6.372
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.714
CN - Cina 827
SE - Svezia 504
SG - Singapore 477
IE - Irlanda 404
UA - Ucraina 288
IT - Italia 277
FI - Finlandia 261
DE - Germania 170
BR - Brasile 119
CA - Canada 47
TR - Turchia 45
GB - Regno Unito 39
RU - Federazione Russa 32
IN - India 27
BE - Belgio 17
CZ - Repubblica Ceca 10
FR - Francia 10
NL - Olanda 8
AT - Austria 7
HK - Hong Kong 5
LT - Lituania 5
AR - Argentina 4
EC - Ecuador 4
ES - Italia 4
EU - Europa 4
CI - Costa d'Avorio 3
ID - Indonesia 3
IQ - Iraq 3
JP - Giappone 3
RO - Romania 3
VE - Venezuela 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
BD - Bangladesh 2
DZ - Algeria 2
EE - Estonia 2
IR - Iran 2
KE - Kenya 2
MA - Marocco 2
MD - Moldavia 2
MX - Messico 2
PT - Portogallo 2
PY - Paraguay 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AO - Angola 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GR - Grecia 1
HU - Ungheria 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MZ - Mozambico 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
PL - Polonia 1
RS - Serbia 1
TJ - Tagikistan 1
VN - Vietnam 1
Totale 6.372
Salva come PNG Salva come JPEG
Città #
Chandler 414
Dublin 402
Jacksonville 327
Santa Clara 309
Singapore 289
Beijing 217
Ann Arbor 198
Dearborn 161
Ashburn 147
Nanjing 144
Boardman 134
Princeton 81
Parma 72
New York 71
San Mateo 70
Helsinki 54
Nanchang 52
Wilmington 48
Kunming 47
Toronto 43
Shanghai 41
Shenyang 36
Jinan 34
Des Moines 32
Woodbridge 30
Houston 26
Changsha 25
Izmir 25
Hebei 23
Jiaxing 23
Hefei 21
Tianjin 21
Council Bluffs 19
Guangzhou 19
Milan 19
Pune 19
Fremont 18
Brussels 17
Moscow 17
Dallas 13
Kocaeli 13
Norwalk 13
Düsseldorf 12
Zhengzhou 11
Hangzhou 10
Ningbo 9
Seattle 9
Brno 7
Dalmine 7
Reggio Emilia 7
Los Angeles 6
Auburn Hills 5
Bologna 5
Fuzhou 5
Istanbul 5
Lanzhou 5
Marseille 5
Nuremberg 5
Piacenza 5
Redwood City 5
Taiyuan 5
Teramo 5
Vienna 5
Wuhan 5
Borgonovo Val Tidone 4
Cagliari 4
Campinas 4
Chengdu 4
Chongqing 4
Madrid 4
Munich 4
Nerviano 4
Rockville 4
San Giuliano Milanese 4
São Paulo 4
Taizhou 4
Verona 4
Abidjan 3
Borås 3
Brasília 3
Capannoli 3
Cava de' Tirreni 3
Contagem 3
Grafing 3
Hong Kong 3
Jakarta 3
Kolkata 3
Pisa 3
Prague 3
Rapino 3
Redmond 3
San Polo D'enza 3
Shaoxing 3
Zibido San Giacomo 3
Alzano Lombardo 2
Amsterdam 2
Assago 2
Asunción 2
Baku 2
Baveno 2
Totale 4.042
Salva come PNG Salva come JPEG
Nome #
A direct encoding for NNC polyhedra 136
A New Look at the Automatic Synthesis of Linear Ranking Functions 127
PURRS 122
Parma Polyhedra Library, v 1.1 112
ECLAIR 107
PPLite 0.3 105
China/Ocra 99
Parma Polyhedra Library 98
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 93
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 92
On the Design of Generic Static Analyzers for Imperative Languages 91
Finite-Tree Analysis for Constraint Logic-Based Languages 90
Revisiting Polyhedral Analysis for Hybrid Systems 87
A Linear Domain for Analyzing the Distribution of Numerical Values 87
Efficient Structural Information Analysis for Real CLP Languages 85
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 84
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 84
Verification of C Programs Via Natural Semantics and Abstract Interpretation 83
Interpretazione astratta in programmazione logica concorrente 82
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 82
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 82
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 81
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 80
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 80
Sharing Revisited 79
Boolean Functions for Finite-Tree Dependencies 79
The Correctness of Set-Sharing 79
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 79
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 79
Not Necessarily Closed Convex Polyhedra and the Double Description Method 78
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 78
A New Encoding of Not Necessarily Closed Convex Polyhedra 77
PPLite: Zero-overhead encoding of NNC polyhedra 76
Widening Operators for Powerset Domains 75
A Prolog-Based Environment for Reasoning About Programming Languages 75
The Correctness of Set-Sharing 75
Domain Independent Ask Approximation in CCP 74
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 74
Abstracting Synchronization in Concurrent Constraint Programming 74
Precise Widening Operators for Convex Polyhedra 73
Grids: A Domain for Analyzing the Distribution of Numerical Values 73
Enhancing Sharing for Precision 73
Widening Sharing 73
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 72
On the Efficiency of Convex Polyhedra 72
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 72
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 71
Decomposing Non-Redundant Sharing by Complementation 71
The AND-Compositionality of CLP Computed Answer Constraints 71
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 70
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 69
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 69
Efficient Structural Information Analysis for Real CLP Languages 69
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 68
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 68
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 68
Abstracting Synchronization in Concurrent Constraint Programming 68
Widening Operators for Weakly-Relational Numeric Abstractions 67
Widening Operators for Powerset Domains 66
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 66
Grids: A Domain for Analyzing the Distribution of Numerical Values 64
Widening Operators for Powerset Domains 64
Boolean Functions for Finite-Tree Dependencies 64
Synthesis of P-Stable Abstractions 64
Set-Sharing is Redundant for Pair-Sharing 63
Modular Analysis of Suspension Free cc Programs 61
Widening Operators for Weakly-Relational Numeric Abstractions 61
Decomposing Non-Redundant Sharing by Complementation 61
Domain Independent Ask Approximation in CCP 59
Reverse engineering with P-stable abstractions 59
Soundness, Idempotence and Commutativity of Set-Sharing 55
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 55
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 52
Decoupling the Ascending and Descending Phases in Abstract Interpretation 51
Precise Widening Operators for Convex Polyhedra 50
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 50
Efficient Constraint/Generator Removal from Double Description of Polyhedra 50
Speeding up Static Analysis with the Split Operator 48
Finite-Tree Analysis for Constraint Logic-Based Languages 48
Set-Sharing Is Redundant for Pair-Sharing 47
Finite-Tree Analysis for Constraint Logic-Based Languages 47
Precise Widening Operators for Convex Polyhedra 47
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 42
Speeding up static analysis with the split operator 39
“Fixing” the Specification of Widenings 39
P-stable abstractions of hybrid systems 38
Unconstrained Variable Oracles for Faster Numeric Static Analyses 35
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 32
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) 29
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 28
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 22
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 17
Totale 6.430
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.155
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 25.155
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020340 0 0 0 0 0 0 0 0 105 141 24 70
2020/2021599 4 81 66 4 74 24 75 17 111 33 81 29
2021/2022469 10 17 2 36 31 20 72 75 21 37 21 127
2022/20231.642 207 164 105 125 116 194 46 120 504 7 48 6
2023/2024600 36 55 17 12 44 189 26 68 19 32 36 66
2024/20251.283 23 136 158 113 204 267 81 126 175 0 0 0
Totale 6.430