IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.850
AS - Asia 2.809
EU - Europa 2.356
SA - Sud America 497
AF - Africa 157
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 9.674
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.761
SG - Singapore 1.129
CN - Cina 1.074
SE - Svezia 517
BR - Brasile 404
IE - Irlanda 404
IT - Italia 299
UA - Ucraina 294
FI - Finlandia 279
DE - Germania 228
HK - Hong Kong 225
VN - Vietnam 159
NL - Olanda 111
ZA - Sudafrica 108
GB - Regno Unito 71
CA - Canada 63
TR - Turchia 59
IN - India 55
AR - Argentina 45
RU - Federazione Russa 44
MA - Marocco 23
IQ - Iraq 21
MX - Messico 20
BE - Belgio 17
FR - Francia 15
PL - Polonia 15
BD - Bangladesh 13
CZ - Repubblica Ceca 12
EC - Ecuador 12
ES - Italia 12
JP - Giappone 11
CO - Colombia 10
LT - Lituania 10
AT - Austria 8
VE - Venezuela 8
PK - Pakistan 7
AE - Emirati Arabi Uniti 6
CL - Cile 6
EG - Egitto 5
ID - Indonesia 5
KE - Kenya 5
PY - Paraguay 5
AZ - Azerbaigian 4
EU - Europa 4
JO - Giordania 4
PE - Perù 4
RO - Romania 4
TN - Tunisia 4
UZ - Uzbekistan 4
AL - Albania 3
CI - Costa d'Avorio 3
DZ - Algeria 3
EE - Estonia 3
IR - Iran 3
LB - Libano 3
NP - Nepal 3
OM - Oman 3
SA - Arabia Saudita 3
UY - Uruguay 3
AM - Armenia 2
BH - Bahrain 2
IL - Israele 2
KZ - Kazakistan 2
MD - Moldavia 2
NI - Nicaragua 2
PH - Filippine 2
PT - Portogallo 2
RS - Serbia 2
SN - Senegal 2
TJ - Tagikistan 2
TW - Taiwan 2
AO - Angola 1
BF - Burkina Faso 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
GR - Grecia 1
GT - Guatemala 1
HU - Ungheria 1
KG - Kirghizistan 1
KW - Kuwait 1
LU - Lussemburgo 1
MN - Mongolia 1
MZ - Mozambico 1
NZ - Nuova Zelanda 1
PA - Panama 1
SY - Repubblica araba siriana 1
Totale 9.674
Salva come PNG Salva come JPEG
Città #
Singapore 590
Ashburn 451
Chandler 414
Dublin 402
Beijing 337
Dallas 331
Jacksonville 328
Santa Clara 313
Hong Kong 223
Ann Arbor 198
Dearborn 161
Boardman 151
Nanjing 144
New York 100
Johannesburg 96
Princeton 81
Parma 78
San Mateo 70
Ho Chi Minh City 63
Munich 62
Helsinki 55
Nanchang 52
Los Angeles 51
Wilmington 48
Kunming 47
Toronto 44
Shanghai 43
Shenyang 36
Jinan 34
Des Moines 33
Hefei 33
Salt Lake City 30
Woodbridge 30
Changsha 29
Buffalo 27
Houston 27
São Paulo 27
Hanoi 26
Izmir 25
Hebei 23
Jiaxing 23
Tianjin 23
Council Bluffs 22
Columbus 21
Guangzhou 20
Brooklyn 19
Milan 19
Pune 19
Fremont 18
Brussels 17
Casablanca 17
Moscow 17
Turku 17
Stockholm 15
The Dalles 15
Amsterdam 13
Kocaeli 13
Montreal 13
Norwalk 13
Düsseldorf 12
Warsaw 12
Ankara 11
San Jose 11
Seattle 11
Zhengzhou 11
Denver 10
Hangzhou 10
Orem 10
Rio de Janeiro 10
Baghdad 9
Chennai 9
Ningbo 9
Tokyo 9
Biên Hòa 8
Boston 8
Istanbul 8
Phoenix 8
Reggio Emilia 8
Brasília 7
Brno 7
Dalmine 7
Haiphong 7
London 7
San Francisco 7
Bengaluru 6
Bologna 6
Campinas 6
Cape Town 6
Curitiba 6
Da Nang 6
Fuzhou 6
Porto Alegre 6
Querétaro 6
Vienna 6
Auburn Hills 5
Belo Horizonte 5
Buenos Aires 5
Fortaleza 5
Lanzhou 5
Marseille 5
Totale 5.963
Salva come PNG Salva come JPEG
Nome #
PURRS 184
A direct encoding for NNC polyhedra 173
PPLite 0.3 170
A New Look at the Automatic Synthesis of Linear Ranking Functions 169
Parma Polyhedra Library, v 1.1 159
China/Ocra 152
Parma Polyhedra Library 150
ECLAIR 149
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 136
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 134
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 131
A Linear Domain for Analyzing the Distribution of Numerical Values 131
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 129
On the Design of Generic Static Analyzers for Imperative Languages 128
A New Encoding of Not Necessarily Closed Convex Polyhedra 125
Revisiting Polyhedral Analysis for Hybrid Systems 124
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 124
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 124
Towards a High Level Linter for Data Science 118
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 118
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 117
Verification of C Programs Via Natural Semantics and Abstract Interpretation 116
Finite-Tree Analysis for Constraint Logic-Based Languages 115
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 115
Abstracting Synchronization in Concurrent Constraint Programming 114
A Prolog-Based Environment for Reasoning About Programming Languages 113
Interpretazione astratta in programmazione logica concorrente 111
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 111
Abstracting Synchronization in Concurrent Constraint Programming 111
Not Necessarily Closed Convex Polyhedra and the Double Description Method 110
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 110
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 109
Efficient Structural Information Analysis for Real CLP Languages 108
Widening Sharing 108
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 108
The Correctness of Set-Sharing 107
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 106
Sharing Revisited 105
Enhancing Sharing for Precision 105
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 105
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 105
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 104
PPLite: Zero-overhead encoding of NNC polyhedra 104
Widening Operators for Powerset Domains 103
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 102
Precise Widening Operators for Convex Polyhedra 101
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 101
Boolean Functions for Finite-Tree Dependencies 100
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 100
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 100
Efficient Structural Information Analysis for Real CLP Languages 100
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 99
On the Efficiency of Convex Polyhedra 99
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 98
Domain Independent Ask Approximation in CCP 98
Set-Sharing is Redundant for Pair-Sharing 97
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 97
The AND-Compositionality of CLP Computed Answer Constraints 97
Reverse engineering with P-stable abstractions 97
Grids: A Domain for Analyzing the Distribution of Numerical Values 96
Synthesis of P-Stable Abstractions 95
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 95
Speeding up Static Analysis with the Split Operator 94
The Correctness of Set-Sharing 94
Widening Operators for Powerset Domains 93
Widening Operators for Weakly-Relational Numeric Abstractions 92
Decoupling the Ascending and Descending Phases in Abstract Interpretation 92
Decomposing Non-Redundant Sharing by Complementation 91
Grids: A Domain for Analyzing the Distribution of Numerical Values 90
Widening Operators for Powerset Domains 90
Modular Analysis of Suspension Free cc Programs 89
Unconstrained Variable Oracles for Faster Numeric Static Analyses 87
Speeding up static analysis with the split operator 86
Widening Operators for Weakly-Relational Numeric Abstractions 86
Boolean Functions for Finite-Tree Dependencies 85
Domain Independent Ask Approximation in CCP 85
Decomposing Non-Redundant Sharing by Complementation 83
P-stable abstractions of hybrid systems 82
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 82
Precise Widening Operators for Convex Polyhedra 80
Soundness, Idempotence and Commutativity of Set-Sharing 77
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 76
Set-Sharing Is Redundant for Pair-Sharing 75
Finite-Tree Analysis for Constraint Logic-Based Languages 74
Efficient Constraint/Generator Removal from Double Description of Polyhedra 70
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 69
Precise Widening Operators for Convex Polyhedra 68
Finite-Tree Analysis for Constraint Logic-Based Languages 67
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 64
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 61
“Fixing” the Specification of Widenings 59
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 51
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 48
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) 47
Introducing Pyra: A High-Level Linter for Data Science Software 31
Totale 9.738
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.415
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 34.415
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021370 0 0 0 0 0 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/20252.050 23 136 158 113 204 267 81 126 195 183 203 361
2025/20262.541 421 474 460 395 572 219 0 0 0 0 0 0
Totale 9.738