IRIS
ZAFFANELLA, Enea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.247
EU - Europa 1.900
AS - Asia 960
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
SA - Sud America 1
Totale 5.119
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.199
CN - Cina 808
SE - Svezia 504
IE - Irlanda 401
UA - Ucraina 285
FI - Finlandia 258
IT - Italia 199
DE - Germania 159
SG - Singapore 82
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
HK - Hong Kong 2
IR - Iran 2
MX - Messico 2
PT - Portogallo 2
AR - Argentina 1
AT - Austria 1
EE - Estonia 1
EG - Egitto 1
HU - Ungheria 1
LT - Lituania 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
RS - Serbia 1
VN - Vietnam 1
Totale 5.119
Salva come PNG Salva come JPEG
Città #
Chandler 414
Dublin 399
Jacksonville 327
Beijing 216
Ann Arbor 198
Dearborn 161
Ashburn 144
Nanjing 144
Princeton 81
New York 71
San Mateo 70
Helsinki 52
Nanchang 52
Parma 48
Wilmington 48
Kunming 47
Boardman 43
Toronto 42
Shanghai 40
Singapore 39
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
Brussels 15
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
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
Milan 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
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
Stockholm 2
Tai Po 2
Tlemcen 2
Trento 2
Verdellino 2
Zanjan 2
Amsterdam 1
Angera 1
Totale 3.260
Salva come PNG Salva come JPEG
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 106
PURRS 101
Parma Polyhedra Library, v 1.1 94
A direct encoding for NNC polyhedra 89
ECLAIR 88
PPLite 0.3 86
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 84
China/Ocra 83
Parma Polyhedra Library 81
Finite-Tree Analysis for Constraint Logic-Based Languages 78
Revisiting Polyhedral Analysis for Hybrid Systems 77
Efficient Structural Information Analysis for Real CLP Languages 75
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 75
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 73
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 72
A Linear Domain for Analyzing the Distribution of Numerical Values 72
Interpretazione astratta in programmazione logica concorrente 71
On the Design of Generic Static Analyzers for Imperative Languages 70
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 70
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 70
Verification of C Programs Via Natural Semantics and Abstract Interpretation 69
Boolean Functions for Finite-Tree Dependencies 69
The Correctness of Set-Sharing 69
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 69
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 69
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 67
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 66
Sharing Revisited 66
The Correctness of Set-Sharing 66
Abstracting Synchronization in Concurrent Constraint Programming 66
Widening Operators for Powerset Domains 65
Grids: A Domain for Analyzing the Distribution of Numerical Values 65
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 64
Enhancing Sharing for Precision 64
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 63
Widening Sharing 63
Decomposing Non-Redundant Sharing by Complementation 62
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 62
A New Encoding of Not Necessarily Closed Convex Polyhedra 62
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 61
Efficient Structural Information Analysis for Real CLP Languages 61
Precise Widening Operators for Convex Polyhedra 60
A Prolog-Based Environment for Reasoning About Programming Languages 60
PPLite: Zero-overhead encoding of NNC polyhedra 60
Abstracting Synchronization in Concurrent Constraint Programming 60
The AND-Compositionality of CLP Computed Answer Constraints 60
Domain Independent Ask Approximation in CCP 59
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 59
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 59
On the Efficiency of Convex Polyhedra 59
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 58
Widening Operators for Powerset Domains 58
Widening Operators for Weakly-Relational Numeric Abstractions 58
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 58
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 58
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 57
Boolean Functions for Finite-Tree Dependencies 56
Decomposing Non-Redundant Sharing by Complementation 56
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 55
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 55
Set-Sharing is Redundant for Pair-Sharing 53
Not Necessarily Closed Convex Polyhedra and the Double Description Method 53
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 53
Grids: A Domain for Analyzing the Distribution of Numerical Values 51
Widening Operators for Powerset Domains 51
Modular Analysis of Suspension Free cc Programs 48
Domain Independent Ask Approximation in CCP 48
Reverse engineering with P-stable abstractions 48
Soundness, Idempotence and Commutativity of Set-Sharing 47
Widening Operators for Weakly-Relational Numeric Abstractions 46
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 46
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 45
Synthesis of P-Stable Abstractions 43
Efficient Constraint/Generator Removal from Double Description of Polyhedra 42
Finite-Tree Analysis for Constraint Logic-Based Languages 40
Precise Widening Operators for Convex Polyhedra 40
Set-Sharing Is Redundant for Pair-Sharing 39
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 39
Precise Widening Operators for Convex Polyhedra 39
Finite-Tree Analysis for Constraint Logic-Based Languages 38
Decoupling the Ascending and Descending Phases in Abstract Interpretation 37
Speeding up Static Analysis with the Split Operator 24
“Fixing” the Specification of Widenings 23
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) 22
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 18
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 14
Unconstrained Variable Oracles for Faster Numeric Static Analyses 12
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 9
P-stable abstractions of hybrid systems 8
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 6
Totale 5.170
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.530
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 18.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.234 186 233 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/202523 23 0 0 0 0 0 0 0 0 0 0 0
Totale 5.170