IRIS
BAGNARA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.635
EU - Europa 2.889
AS - Asia 1.793
SA - Sud America 132
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 8.471
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.561
CN - Cina 1.053
SE - Svezia 632
SG - Singapore 555
IE - Irlanda 523
IT - Italia 475
UA - Ucraina 401
FI - Finlandia 339
DE - Germania 243
BR - Brasile 119
TR - Turchia 96
GB - Regno Unito 76
CA - Canada 72
RU - Federazione Russa 59
IN - India 32
BE - Belgio 20
FR - Francia 18
NL - Olanda 17
AT - Austria 16
CZ - Repubblica Ceca 12
RS - Serbia 9
GR - Grecia 7
UZ - Uzbekistan 7
CH - Svizzera 6
CI - Costa d'Avorio 6
JP - Giappone 6
KR - Corea 6
AZ - Azerbaigian 5
HK - Hong Kong 5
MK - Macedonia 5
PL - Polonia 5
CO - Colombia 4
DK - Danimarca 4
ES - Italia 4
HU - Ungheria 4
IR - Iran 4
KH - Cambogia 4
BD - Bangladesh 3
EU - Europa 3
ID - Indonesia 3
RO - Romania 3
SA - Arabia Saudita 3
VE - Venezuela 3
AL - Albania 2
AR - Argentina 2
AU - Australia 2
DZ - Algeria 2
EC - Ecuador 2
IL - Israele 2
LT - Lituania 2
MA - Marocco 2
MD - Moldavia 2
AM - Armenia 1
AO - Angola 1
BY - Bielorussia 1
CL - Cile 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IM - Isola di Man 1
IQ - Iraq 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
MX - Messico 1
MZ - Mozambico 1
NG - Nigeria 1
OM - Oman 1
PE - Perù 1
PK - Pakistan 1
PT - Portogallo 1
RW - Ruanda 1
TN - Tunisia 1
TW - Taiwan 1
VN - Vietnam 1
Totale 8.471
Salva come PNG Salva come JPEG
Città #
Chandler 556
Dublin 523
Jacksonville 453
Santa Clara 381
Singapore 344
Dearborn 241
Ann Arbor 235
Beijing 230
Ashburn 197
Boardman 189
Nanjing 181
Princeton 112
Parma 98
San Mateo 97
Wilmington 74
Helsinki 70
Izmir 64
Toronto 62
Nanchang 60
Milan 59
Shanghai 55
New York 53
Kunming 52
Jinan 50
Shenyang 50
Woodbridge 47
Moscow 45
Hebei 40
Hefei 36
Changsha 31
Guangzhou 29
Des Moines 28
Tianjin 28
Kocaeli 23
Pisa 23
Council Bluffs 22
Düsseldorf 22
Fremont 21
Jiaxing 21
Norwalk 21
Brussels 20
Dallas 20
Seattle 20
Houston 19
Hangzhou 17
Rome 17
Zhengzhou 15
Vienna 14
Lucca 12
Auburn Hills 11
Lauria 11
Pune 11
Hudson 9
Ningbo 9
Cadelbosco Di Sopra 8
Fairfield 8
London 8
Poggiomarino 8
Taizhou 8
Bologna 7
Capannoli 7
Fuzhou 7
Prague 7
Tashkent 7
Abidjan 6
Athens 6
Chengdu 6
Istanbul 6
Lanzhou 6
Marseille 6
Redwood City 6
Rockville 6
Sant'ilario D'enza 6
Baku 5
Bitola 5
Brno 5
Cagliari 5
Chicago 5
Edinburgh 5
Great Kimble 5
Los Angeles 5
Nuremberg 5
Shaoxing 5
São Paulo 5
Wuhan 5
Bomporto 4
Borås 4
Calvenzano 4
Chieti 4
Chongqing 4
Haikou 4
Horsens 4
Madrid 4
Massa 4
Munich 4
Ospitaletto 4
Phnom Penh 4
San Giuliano Milanese 4
Venice 4
Zurich 4
Totale 5.377
Salva come PNG Salva come JPEG
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 125
PURRS 119
Parma Polyhedra Library, v 1.1 110
ECLAIR 104
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 103
CORAL 102
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 100
That's C, baby. C! 98
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 97
China/Ocra 96
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 96
Parma Polyhedra Library 95
CLAIR 94
cTI 93
On the Design of Generic Static Analyzers for Imperative Languages 91
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 91
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 90
A Rationale-Based Classification of MISRA C Guidelines 89
MISRA C, for Security's Sake! 88
Finite-Tree Analysis for Constraint Logic-Based Languages 87
A Practical Approach to Interval Refinement for math.h/cmath Functions 87
A Linear Domain for Analyzing the Distribution of Numerical Values 87
Efficient Structural Information Analysis for Real CLP Languages 85
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 84
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 83
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 82
A General Event Handling System for the Valet-Plus 81
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 81
Coding Guidelines for Prolog 81
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 80
Verification of C Programs Via Natural Semantics and Abstract Interpretation 80
Boolean Functions for Finite-Tree Dependencies 79
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 79
Analysing with China 78
Sharing Revisited 78
The Correctness of Set-Sharing 78
Not Necessarily Closed Convex Polyhedra and the Double Description Method 78
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 78
Checking and Bounding the Solutions of Some Recurrence Relations 77
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 77
A Reactive Implementation of Pos using ROBDDs 76
Widening Operators for Powerset Domains 75
A Prolog-Based Environment for Reasoning About Programming Languages 75
A New Encoding of Not Necessarily Closed Convex Polyhedra 75
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 74
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 74
The Correctness of Set-Sharing 74
C-rusted: The Advantages of Rust, in C, without the Disadvantages 73
Grids: A Domain for Analyzing the Distribution of Numerical Values 73
Precise Widening Operators for Convex Polyhedra 72
Foreign Language Interfaces for Prolog: A Terse Survey 72
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 72
Enhancing Sharing for Precision 72
Widening Sharing 72
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 72
Decomposing Non-Redundant Sharing by Complementation 71
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 71
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 70
Open Source, Free Software e Open Format nei processi di ricerca archeologici 70
The AND-Compositionality of CLP Computed Answer Constraints 70
The ACPATH Structural Complexity Metric 69
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 69
An Application of Constraint Propagation to Data-Flow Analysis 69
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 69
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 69
Efficient Structural Information Analysis for Real CLP Languages 69
Formal Verification of Software Architectural Constraints 69
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 68
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 67
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 67
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 67
Widening Operators for Powerset Domains 66
Widening Operators for Weakly-Relational Numeric Abstractions 66
A Rationale-Based Classification of MISRA C Guidelines 66
Data-Flow Analysis for Constraint Logic-Based Languages 65
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 65
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 65
Static Analysis of CLP Programs over Numeric Domains 64
Boolean Functions for Finite-Tree Dependencies 64
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 63
Announcing Kermit68K, a Portable 68000 Kermit Program 63
Grids: A Domain for Analyzing the Distribution of Numerical Values 63
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 63
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 62
Set-Sharing is Redundant for Pair-Sharing 62
On the Quality of Available Prolog Implementations 61
Widening Operators for Weakly-Relational Numeric Abstractions 61
Widening Operators for Powerset Domains 61
Decomposing Non-Redundant Sharing by Complementation 61
Straight ROBDDs Are Not the Best for Pos 60
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems 59
Remote Procedure Call 59
Quality Verification Tools for Quality Software 58
Is the ISO Prolog Standard Taken Seriously? 58
Precise and Practical Mode Analysis with the China Analyzer 57
Structural Information Analysis for CLP Languages 57
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version 56
Soundness, Idempotence and Commutativity of Set-Sharing 55
The Integration of VAX and Valet-Plus Data Acquisition Software 55
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 55
Totale 7.556
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.586
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 32.586
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020491 0 0 0 0 0 0 0 0 176 175 38 102
2020/2021787 13 108 77 3 108 17 107 21 163 41 102 27
2021/2022607 10 23 3 30 28 29 86 106 26 43 44 179
2022/20232.131 279 238 152 155 153 252 41 146 634 10 61 10
2023/2024801 68 67 38 29 46 185 52 90 37 35 54 100
2024/20251.708 56 176 236 163 255 314 117 212 179 0 0 0
Totale 8.545