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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022439 0 0 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/2027604 162 227 215 0 0 0 0 0 0 0 0 0
Totale 12.102