IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.407
EU - Europa 1.911
AS - Asia 1.057
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
SA - Sud America 1
Totale 5.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.359
CN - Cina 817
SE - Svezia 504
IE - Irlanda 401
UA - Ucraina 286
FI - Finlandia 258
IT - Italia 207
SG - Singapore 170
DE - Germania 159
CA - Canada 46
TR - Turchia 38
GB - Regno Unito 37
IN - India 24
BE - Belgio 15
CZ - Repubblica Ceca 10
RU - Federazione Russa 7
FR - Francia 5
ES - Italia 4
EU - Europa 4
NL - Olanda 4
CI - Costa d'Avorio 3
JP - Giappone 3
RO - Romania 3
DZ - Algeria 2
EE - Estonia 2
HK - Hong Kong 2
IR - Iran 2
LT - Lituania 2
MX - Messico 2
PT - Portogallo 2
AR - Argentina 1
AT - Austria 1
EG - Egitto 1
HU - Ungheria 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
RS - Serbia 1
VN - Vietnam 1
Totale 5.387
Salva come PNG Salva come JPEG
Città #
Chandler 414
Dublin 399
Jacksonville 327
Beijing 216
Ann Arbor 198
Dearborn 161
Ashburn 145
Nanjing 144
Boardman 134
Singapore 126
Princeton 81
New York 71
San Mateo 70
Helsinki 52
Nanchang 52
Parma 48
Wilmington 48
Kunming 47
Toronto 42
Shanghai 40
Shenyang 36
Jinan 34
Woodbridge 30
Des Moines 26
Houston 26
Changsha 25
Izmir 25
Hebei 23
Jiaxing 23
Hefei 21
Tianjin 21
Guangzhou 19
Pune 19
Fremont 18
Santa Clara 16
Brussels 15
Dallas 13
Kocaeli 13
Norwalk 13
Düsseldorf 12
Hangzhou 10
Zhengzhou 10
Ningbo 9
Seattle 9
Brno 7
Dalmine 7
Reggio Emilia 7
Auburn Hills 5
Fuzhou 5
Lanzhou 5
Los Angeles 5
Milan 5
Piacenza 5
Redwood City 5
Taiyuan 5
Teramo 5
Wuhan 5
Borgonovo Val Tidone 4
Cagliari 4
Chengdu 4
Chongqing 4
Madrid 4
Nerviano 4
Rockville 4
San Giuliano Milanese 4
Taizhou 4
Abidjan 3
Borås 3
Capannoli 3
Grafing 3
Pisa 3
Prague 3
Rapino 3
Redmond 3
San Polo D'enza 3
Shaoxing 3
Verona 3
Zibido San Giacomo 3
Alzano Lombardo 2
Assago 2
Baveno 2
Bolzano 2
Bonate Sotto 2
Changchun 2
Genova 2
Haikou 2
Jinhua 2
Lisbon 2
Messina 2
Nuremberg 2
Paris 2
Pianezza 2
Poggiomarino 2
Saronno 2
Scandiano 2
Shenzhen 2
Stockholm 2
Tai Po 2
Tallinn 2
Tlemcen 2
Totale 3.468
Salva come PNG Salva come JPEG
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 110
PURRS 104
Parma Polyhedra Library, v 1.1 96
A direct encoding for NNC polyhedra 93
PPLite 0.3 92
ECLAIR 91
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 88
China/Ocra 86
Parma Polyhedra Library 83
Finite-Tree Analysis for Constraint Logic-Based Languages 80
Revisiting Polyhedral Analysis for Hybrid Systems 79
Efficient Structural Information Analysis for Real CLP Languages 78
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 77
A Linear Domain for Analyzing the Distribution of Numerical Values 76
Interpretazione astratta in programmazione logica concorrente 75
On the Design of Generic Static Analyzers for Imperative Languages 75
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 75
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 75
Boolean Functions for Finite-Tree Dependencies 73
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 73
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 73
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 73
Verification of C Programs Via Natural Semantics and Abstract Interpretation 72
The Correctness of Set-Sharing 71
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 71
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 71
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 70
The Correctness of Set-Sharing 69
Abstracting Synchronization in Concurrent Constraint Programming 69
Sharing Revisited 68
Widening Operators for Powerset Domains 67
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 67
Grids: A Domain for Analyzing the Distribution of Numerical Values 67
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 66
Enhancing Sharing for Precision 66
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 65
A Prolog-Based Environment for Reasoning About Programming Languages 65
Decomposing Non-Redundant Sharing by Complementation 65
Widening Sharing 65
A New Encoding of Not Necessarily Closed Convex Polyhedra 65
Precise Widening Operators for Convex Polyhedra 64
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 64
On the Efficiency of Convex Polyhedra 63
PPLite: Zero-overhead encoding of NNC polyhedra 63
Abstracting Synchronization in Concurrent Constraint Programming 63
Efficient Structural Information Analysis for Real CLP Languages 63
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 63
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 62
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 62
The AND-Compositionality of CLP Computed Answer Constraints 62
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 61
Widening Operators for Powerset Domains 61
Domain Independent Ask Approximation in CCP 61
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 61
Widening Operators for Weakly-Relational Numeric Abstractions 61
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 60
Boolean Functions for Finite-Tree Dependencies 59
Not Necessarily Closed Convex Polyhedra and the Double Description Method 59
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 59
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 58
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 57
Decomposing Non-Redundant Sharing by Complementation 57
Set-Sharing is Redundant for Pair-Sharing 55
Grids: A Domain for Analyzing the Distribution of Numerical Values 54
Widening Operators for Powerset Domains 53
Domain Independent Ask Approximation in CCP 51
Modular Analysis of Suspension Free cc Programs 50
Reverse engineering with P-stable abstractions 50
Soundness, Idempotence and Commutativity of Set-Sharing 49
Widening Operators for Weakly-Relational Numeric Abstractions 48
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 48
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 47
Synthesis of P-Stable Abstractions 47
Efficient Constraint/Generator Removal from Double Description of Polyhedra 44
Finite-Tree Analysis for Constraint Logic-Based Languages 43
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 42
Set-Sharing Is Redundant for Pair-Sharing 41
Precise Widening Operators for Convex Polyhedra 41
Precise Widening Operators for Convex Polyhedra 41
Decoupling the Ascending and Descending Phases in Abstract Interpretation 41
Finite-Tree Analysis for Constraint Logic-Based Languages 40
Speeding up Static Analysis with the Split Operator 30
“Fixing” the Specification of Widenings 27
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) 24
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 20
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 16
Unconstrained Variable Oracles for Faster Numeric Static Analyses 15
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 10
P-stable abstractions of hybrid systems 10
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 9
Speeding up static analysis with the split operator 6
Totale 5.439
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.180
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 20.180
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020815 0 0 81 18 101 123 129 23 105 141 24 70
2020/2021599 4 81 66 4 74 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/2025292 23 136 133 0 0 0 0 0 0 0 0 0
Totale 5.439