IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.478
AS - Asia 3.613
EU - Europa 2.531
SA - Sud America 568
AF - Africa 180
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 11.377
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.376
SG - Singapore 1.414
CN - Cina 1.125
SE - Svezia 512
VN - Vietnam 485
BR - Brasile 437
IE - Irlanda 398
IT - Italia 330
UA - Ucraina 293
FI - Finlandia 292
DE - Germania 258
HK - Hong Kong 255
ZA - Sudafrica 117
NL - Olanda 114
FR - Francia 98
GB - Regno Unito 89
CA - Canada 69
IN - India 69
TR - Turchia 67
AR - Argentina 54
RU - Federazione Russa 47
IQ - Iraq 31
MA - Marocco 25
MX - Messico 22
JP - Giappone 21
BD - Bangladesh 19
BE - Belgio 17
CO - Colombia 16
EC - Ecuador 16
PH - Filippine 16
VE - Venezuela 16
ES - Italia 15
PL - Polonia 15
CL - Cile 12
CZ - Repubblica Ceca 11
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
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
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
PS - Palestinian Territory 1
SV - El Salvador 1
Totale 11.375
Salva come PNG Salva come JPEG
Città #
Singapore 646
Ashburn 534
Chandler 404
San Jose 399
Dublin 396
Dallas 333
Beijing 332
Jacksonville 323
Santa Clara 319
Hong Kong 244
Ann Arbor 198
Dearborn 161
Ho Chi Minh City 156
Boardman 150
Nanjing 144
New York 105
Johannesburg 103
Hanoi 102
Parma 82
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
Des Moines 34
Jinan 34
São Paulo 34
Hefei 33
Turku 32
Changsha 29
Houston 29
Salt Lake City 29
Woodbridge 29
Council Bluffs 28
Buffalo 26
Izmir 26
Hebei 23
Tianjin 23
Columbus 22
The Dalles 22
Haiphong 21
Jiaxing 21
Guangzhou 20
Brooklyn 19
Milan 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 14
Ankara 13
Baghdad 13
Kocaeli 13
Norwalk 13
Orem 12
Warsaw 12
Atlanta 11
Denver 11
Düsseldorf 11
Istanbul 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
Can Tho 8
Reggio Emilia 8
Brno 7
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
Phoenix 7
Pittsburgh 7
Porto Alegre 7
Totale 6.906
Salva come PNG Salva come JPEG
Nome #
PURRS 220
PPLite 0.3 211
A New Look at the Automatic Synthesis of Linear Ranking Functions 198
China/Ocra 195
A direct encoding for NNC polyhedra 191
ECLAIR 182
Parma Polyhedra Library, v 1.1 176
Parma Polyhedra Library 167
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 165
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 155
Towards a High Level Linter for Data Science 150
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 148
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 147
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 147
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 146
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 144
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 139
Revisiting Polyhedral Analysis for Hybrid Systems 138
Verification of C Programs Via Natural Semantics and Abstract Interpretation 133
Abstracting Synchronization in Concurrent Constraint Programming 133
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 131
Finite-Tree Analysis for Constraint Logic-Based Languages 131
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 131
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 130
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 130
Abstracting Synchronization in Concurrent Constraint Programming 128
A Prolog-Based Environment for Reasoning About Programming Languages 127
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 127
Widening Sharing 126
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 123
Efficient Structural Information Analysis for Real CLP Languages 123
Not Necessarily Closed Convex Polyhedra and the Double Description Method 122
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 122
Speeding up static analysis with the split operator 121
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 121
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 121
P-stable abstractions of hybrid systems 120
Interpretazione astratta in programmazione logica concorrente 120
Sharing Revisited 120
Efficient Structural Information Analysis for Real CLP Languages 120
PPLite: Zero-overhead encoding of NNC polyhedra 120
Synthesis of P-Stable Abstractions 119
The Correctness of Set-Sharing 118
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 117
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 116
The AND-Compositionality of CLP Computed Answer Constraints 116
Unconstrained Variable Oracles for Faster Numeric Static Analyses 115
Enhancing Sharing for Precision 115
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 115
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 114
Precise Widening Operators for Convex Polyhedra 113
Set-Sharing is Redundant for Pair-Sharing 113
Reverse engineering with P-stable abstractions 113
Speeding up Static Analysis with the Split Operator 112
Widening Operators for Powerset Domains 112
The Correctness of Set-Sharing 112
On the Efficiency of Convex Polyhedra 112
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 112
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 111
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 111
Domain Independent Ask Approximation in CCP 109
Widening Operators for Weakly-Relational Numeric Abstractions 108
Decoupling the Ascending and Descending Phases in Abstract Interpretation 108
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
Widening Operators for Powerset Domains 103
Decomposing Non-Redundant Sharing by Complementation 103
Grids: A Domain for Analyzing the Distribution of Numerical Values 102
Widening Operators for Powerset Domains 102
Modular Analysis of Suspension Free cc Programs 101
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 99
Soundness, Idempotence and Commutativity of Set-Sharing 98
Domain Independent Ask Approximation in CCP 96
Decomposing Non-Redundant Sharing by Complementation 96
Boolean Functions for Finite-Tree Dependencies 95
Finite-Tree Analysis for Constraint Logic-Based Languages 93
Set-Sharing Is Redundant for Pair-Sharing 93
Precise Widening Operators for Convex Polyhedra 93
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
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 81
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 80
Finite-Tree Analysis for Constraint Logic-Based Languages 78
“Fixing” the Specification of Widenings 73
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 66
Introducing Pyra: A High-Level Linter for Data Science Software 62
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) 60
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 59
PYRA: A high-level linter for data science software 51
Faster numeric static analyses with unconstrained variable oracles 39
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 14
Helping LLMs improve code generation using feedback from testing and static analysis 11
Totale 11.445
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.576
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 38.576
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202129 0 0 0 0 0 0 0 0 0 0 0 29
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.336 417 472 456 394 563 318 599 162 435 432 86 2
Totale 11.445