IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.355
AS - Asia 3.605
EU - Europa 2.523
SA - Sud America 567
AF - Africa 180
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 11.237
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.255
SG - Singapore 1.411
CN - Cina 1.123
SE - Svezia 512
VN - Vietnam 485
BR - Brasile 437
IE - Irlanda 398
IT - Italia 322
UA - Ucraina 293
FI - Finlandia 292
DE - Germania 258
HK - Hong Kong 254
ZA - Sudafrica 117
NL - Olanda 114
FR - Francia 98
GB - Regno Unito 89
IN - India 69
CA - Canada 67
TR - Turchia 67
AR - Argentina 54
RU - Federazione Russa 47
IQ - Iraq 31
MA - Marocco 25
MX - Messico 22
JP - Giappone 20
BD - Bangladesh 18
BE - Belgio 17
CO - Colombia 16
PH - Filippine 16
VE - Venezuela 16
EC - Ecuador 15
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.235
Salva come PNG Salva come JPEG
Città #
Singapore 644
Ashburn 528
Chandler 404
Dublin 396
Dallas 331
Beijing 330
San Jose 330
Jacksonville 323
Santa Clara 318
Hong Kong 243
Ann Arbor 198
Dearborn 161
Ho Chi Minh City 156
Boardman 150
Nanjing 144
Johannesburg 103
Hanoi 102
New York 99
Parma 82
Munich 81
Princeton 80
Lauterbourg 78
San Mateo 70
Los Angeles 62
Helsinki 55
Nanchang 51
Wilmington 47
Shanghai 46
Toronto 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
Buffalo 26
Izmir 26
Council Bluffs 24
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
Brussels 17
Casablanca 17
Da Nang 17
Stockholm 17
Tokyo 17
Amsterdam 16
Biên Hòa 15
Montreal 14
Ankara 13
Baghdad 13
Kocaeli 13
Norwalk 13
Warsaw 12
Düsseldorf 11
Istanbul 11
Orem 11
Seattle 11
Atlanta 10
Chennai 10
Denver 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
Porto Alegre 7
San Francisco 7
Totale 6.807
Salva come PNG Salva come JPEG
Nome #
PURRS 219
PPLite 0.3 209
A New Look at the Automatic Synthesis of Linear Ranking Functions 196
China/Ocra 194
A direct encoding for NNC polyhedra 189
ECLAIR 179
Parma Polyhedra Library, v 1.1 175
Parma Polyhedra Library 166
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 164
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 156
On the Design of Generic Static Analyzers for Imperative Languages 150
A Linear Domain for Analyzing the Distribution of Numerical Values 149
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 149
A New Encoding of Not Necessarily Closed Convex Polyhedra 148
Towards a High Level Linter for Data Science 147
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 147
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 146
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 145
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 142
Revisiting Polyhedral Analysis for Hybrid Systems 137
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 137
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
Verification of C Programs Via Natural Semantics and Abstract Interpretation 130
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 129
Abstracting Synchronization in Concurrent Constraint Programming 127
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 126
Widening Sharing 126
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 125
A Prolog-Based Environment for Reasoning About Programming Languages 125
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 125
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 121
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 121
Interpretazione astratta in programmazione logica concorrente 120
Efficient Structural Information Analysis for Real CLP Languages 120
PPLite: Zero-overhead encoding of NNC polyhedra 120
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 120
P-stable abstractions of hybrid systems 119
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 119
Sharing Revisited 119
The Correctness of Set-Sharing 118
Speeding up static analysis with the split operator 117
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 116
Enhancing Sharing for Precision 115
Synthesis of P-Stable Abstractions 115
The AND-Compositionality of CLP Computed Answer Constraints 115
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 113
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 113
Speeding up Static Analysis with the Split Operator 112
Widening Operators for Powerset Domains 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
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 112
Reverse engineering with P-stable abstractions 112
Unconstrained Variable Oracles for Faster Numeric Static Analyses 111
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 111
Precise Widening Operators for Convex Polyhedra 111
Set-Sharing is Redundant for Pair-Sharing 111
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 111
The Correctness of Set-Sharing 110
Domain Independent Ask Approximation in CCP 109
Decoupling the Ascending and Descending Phases in Abstract Interpretation 107
Widening Operators for Weakly-Relational Numeric Abstractions 105
Boolean Functions for Finite-Tree Dependencies 105
Widening Operators for Weakly-Relational Numeric Abstractions 105
Grids: A Domain for Analyzing the Distribution of Numerical Values 104
Decomposing Non-Redundant Sharing by Complementation 103
Widening Operators for Powerset Domains 102
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 97
Decomposing Non-Redundant Sharing by Complementation 96
Boolean Functions for Finite-Tree Dependencies 95
Domain Independent Ask Approximation in CCP 95
Precise Widening Operators for Convex Polyhedra 93
Set-Sharing Is Redundant for Pair-Sharing 91
Finite-Tree Analysis for Constraint Logic-Based Languages 89
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 85
Precise Widening Operators for Convex Polyhedra 84
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 82
Efficient Constraint/Generator Removal from Double Description of Polyhedra 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 79
Finite-Tree Analysis for Constraint Logic-Based Languages 78
“Fixing” the Specification of Widenings 71
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 65
Introducing Pyra: A High-Level Linter for Data Science Software 59
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) 59
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 58
PYRA: A high-level linter for data science software 48
Faster numeric static analyses with unconstrained variable oracles 36
Totale 11.303
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.788
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 36.788
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021141 0 0 0 0 0 0 0 0 0 33 79 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.194 417 472 456 394 563 318 599 162 435 378 0 0
Totale 11.303