IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.590
AS - Asia 3.618
EU - Europa 2.552
SA - Sud America 576
AF - Africa 180
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 11.523
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.484
SG - Singapore 1.414
CN - Cina 1.125
SE - Svezia 518
VN - Vietnam 485
BR - Brasile 441
IE - Irlanda 398
IT - Italia 342
UA - Ucraina 293
FI - Finlandia 292
DE - Germania 258
HK - Hong Kong 256
ZA - Sudafrica 117
NL - Olanda 114
FR - Francia 98
GB - Regno Unito 89
CA - Canada 71
IN - India 69
TR - Turchia 67
AR - Argentina 54
RU - Federazione Russa 47
IQ - Iraq 31
MA - Marocco 25
BD - Bangladesh 23
MX - Messico 22
JP - Giappone 21
BE - Belgio 17
CO - Colombia 17
EC - Ecuador 17
PH - Filippine 16
VE - Venezuela 16
ES - Italia 15
PL - Polonia 15
CL - Cile 14
CZ - Repubblica Ceca 13
PK - Pakistan 11
ID - Indonesia 10
LT - Lituania 10
TH - Thailandia 9
UZ - Uzbekistan 9
AT - Austria 8
KR - Corea 8
SA - Arabia Saudita 8
TN - Tunisia 8
JO - Giordania 7
KE - Kenya 7
PY - Paraguay 7
AE - Emirati Arabi Uniti 6
EG - Egitto 6
AL - Albania 5
LB - Libano 5
OM - Oman 5
PE - Perù 5
TW - Taiwan 5
AZ - Azerbaigian 4
CI - Costa d'Avorio 4
EU - Europa 4
NP - Nepal 4
RO - Romania 4
DZ - Algeria 3
EE - Estonia 3
IR - Iran 3
NI - Nicaragua 3
PA - Panama 3
UY - Uruguay 3
AM - Armenia 2
AO - Angola 2
AU - Australia 2
BH - Bahrain 2
GT - Guatemala 2
HN - Honduras 2
IL - Israele 2
KZ - Kazakistan 2
MD - Moldavia 2
PT - Portogallo 2
RS - Serbia 2
SN - Senegal 2
TJ - Tagikistan 2
BF - Burkina Faso 1
BG - Bulgaria 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LU - Lussemburgo 1
LV - Lettonia 1
MN - Mongolia 1
MR - Mauritania 1
MY - Malesia 1
MZ - Mozambico 1
NZ - Nuova Zelanda 1
Totale 11.519
Salva come PNG Salva come JPEG
Città #
Singapore 646
Ashburn 539
San Jose 439
Chandler 404
Dublin 396
Dallas 335
Beijing 332
Jacksonville 323
Santa Clara 322
Hong Kong 245
Ann Arbor 198
Dearborn 161
Boardman 157
Ho Chi Minh City 156
Nanjing 144
New York 105
Johannesburg 103
Hanoi 102
Parma 83
Munich 81
Princeton 80
Lauterbourg 78
San Mateo 70
Los Angeles 63
Helsinki 55
Nanchang 51
Toronto 47
Wilmington 47
Shanghai 46
Kunming 45
Shenyang 35
São Paulo 35
Des Moines 34
Jinan 34
Hefei 33
Turku 32
Buffalo 31
Changsha 29
Houston 29
Salt Lake City 29
Woodbridge 29
Council Bluffs 28
Izmir 26
Hebei 23
Tianjin 23
Columbus 22
Milan 22
The Dalles 22
Haiphong 21
Jiaxing 21
Guangzhou 20
Brooklyn 19
Pune 19
Fremont 18
Moscow 18
Tokyo 18
Brussels 17
Casablanca 17
Da Nang 17
Stockholm 17
Amsterdam 16
Biên Hòa 15
Montreal 15
Ankara 13
Baghdad 13
Kocaeli 13
Norwalk 13
Orem 12
Warsaw 12
Atlanta 11
Denver 11
Düsseldorf 11
Istanbul 11
Phoenix 11
Seattle 11
Chennai 10
Hangzhou 10
Kensington 10
Rio de Janeiro 10
Zhengzhou 10
Hải Dương 9
Ningbo 9
Tashkent 9
Boston 8
Brasília 8
Brno 8
Can Tho 8
Reggio Emilia 8
Campinas 7
Cape Town 7
Curitiba 7
Dalmine 7
Frankfurt am Main 7
London 7
Madrid 7
New Delhi 7
Ninh Bình 7
Nuremberg 7
Pittsburgh 7
Porto Alegre 7
Totale 6.980
Salva come PNG Salva come JPEG
Nome #
PURRS 222
PPLite 0.3 213
A New Look at the Automatic Synthesis of Linear Ranking Functions 199
China/Ocra 197
A direct encoding for NNC polyhedra 193
ECLAIR 183
Parma Polyhedra Library, v 1.1 178
Parma Polyhedra Library 168
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 167
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 157
On the Design of Generic Static Analyzers for Imperative Languages 156
Towards a High Level Linter for Data Science 152
A Linear Domain for Analyzing the Distribution of Numerical Values 150
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 150
A New Encoding of Not Necessarily Closed Convex Polyhedra 149
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 148
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 147
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 147
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 145
Revisiting Polyhedral Analysis for Hybrid Systems 140
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 139
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 137
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 137
Verification of C Programs Via Natural Semantics and Abstract Interpretation 133
Finite-Tree Analysis for Constraint Logic-Based Languages 133
Abstracting Synchronization in Concurrent Constraint Programming 133
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 132
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 131
Widening Sharing 129
Abstracting Synchronization in Concurrent Constraint Programming 129
A Prolog-Based Environment for Reasoning About Programming Languages 127
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 127
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 124
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 124
Efficient Structural Information Analysis for Real CLP Languages 124
P-stable abstractions of hybrid systems 123
Not Necessarily Closed Convex Polyhedra and the Double Description Method 123
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 122
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 122
Speeding up static analysis with the split operator 121
Interpretazione astratta in programmazione logica concorrente 121
Efficient Structural Information Analysis for Real CLP Languages 121
PPLite: Zero-overhead encoding of NNC polyhedra 121
Sharing Revisited 120
Synthesis of P-Stable Abstractions 120
The Correctness of Set-Sharing 118
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 117
The AND-Compositionality of CLP Computed Answer Constraints 117
Unconstrained Variable Oracles for Faster Numeric Static Analyses 116
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 116
Enhancing Sharing for Precision 116
Precise Widening Operators for Convex Polyhedra 115
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 115
Reverse engineering with P-stable abstractions 115
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 114
Speeding up Static Analysis with the Split Operator 113
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 113
Set-Sharing is Redundant for Pair-Sharing 113
On the Efficiency of Convex Polyhedra 113
Widening Operators for Powerset Domains 112
The Correctness of Set-Sharing 112
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 112
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 112
Domain Independent Ask Approximation in CCP 109
Widening Operators for Weakly-Relational Numeric Abstractions 109
Decoupling the Ascending and Descending Phases in Abstract Interpretation 108
Widening Operators for Powerset Domains 106
Grids: A Domain for Analyzing the Distribution of Numerical Values 105
Boolean Functions for Finite-Tree Dependencies 105
Widening Operators for Weakly-Relational Numeric Abstractions 105
Finite-Tree Analysis for Constraint Logic-Based Languages 104
Widening Operators for Powerset Domains 103
Decomposing Non-Redundant Sharing by Complementation 103
Grids: A Domain for Analyzing the Distribution of Numerical Values 102
Modular Analysis of Suspension Free cc Programs 101
Soundness, Idempotence and Commutativity of Set-Sharing 99
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 99
Boolean Functions for Finite-Tree Dependencies 96
Domain Independent Ask Approximation in CCP 96
Decomposing Non-Redundant Sharing by Complementation 96
Set-Sharing Is Redundant for Pair-Sharing 94
Precise Widening Operators for Convex Polyhedra 94
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 85
Efficient Constraint/Generator Removal from Double Description of Polyhedra 84
Precise Widening Operators for Convex Polyhedra 84
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 82
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 81
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 81
Finite-Tree Analysis for Constraint Logic-Based Languages 79
“Fixing” the Specification of Widenings 73
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 66
PYRA: A high-level linter for data science software 65
Introducing Pyra: A High-Level Linter for Data Science Software 63
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) 61
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 59
Faster numeric static analyses with unconstrained variable oracles 50
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 28
Helping LLMs improve code generation using feedback from testing and static analysis 24
On the Verification of ML Systems and Models 2
Totale 11.594
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.988
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 39.988
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022466 10 17 2 35 31 20 72 74 21 37 21 126
2022/20231.614 205 160 104 122 115 190 45 118 498 7 45 5
2023/2024591 35 55 17 12 44 186 26 64 19 32 35 66
2024/20252.031 23 135 157 112 201 265 81 126 193 180 201 357
2025/20264.389 417 472 456 394 563 318 599 162 435 432 86 55
2026/202796 96 0 0 0 0 0 0 0 0 0 0 0
Totale 11.594