IRIS
BAGNARA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.706
AS - Asia 3.782
EU - Europa 3.424
SA - Sud America 650
AF - Africa 202
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 12.771
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.579
SG - Singapore 1.464
CN - Cina 1.413
SE - Svezia 644
IT - Italia 555
IE - Irlanda 523
BR - Brasile 521
UA - Ucraina 408
FI - Finlandia 350
DE - Germania 349
HK - Hong Kong 314
VN - Vietnam 220
NL - Olanda 163
ZA - Sudafrica 139
GB - Regno Unito 124
TR - Turchia 109
RU - Federazione Russa 101
CA - Canada 96
IN - India 70
AR - Argentina 56
FR - Francia 35
IQ - Iraq 30
MA - Marocco 24
PL - Polonia 24
BE - Belgio 23
ES - Italia 23
CO - Colombia 22
JP - Giappone 22
BD - Bangladesh 20
MX - Messico 20
AT - Austria 19
AZ - Azerbaigian 15
CZ - Repubblica Ceca 15
UZ - Uzbekistan 14
SA - Arabia Saudita 13
VE - Venezuela 13
EC - Ecuador 12
KR - Corea 11
CL - Cile 10
RS - Serbia 10
PK - Pakistan 9
KE - Kenya 8
CH - Svizzera 7
GR - Grecia 7
ID - Indonesia 7
LT - Lituania 7
AL - Albania 6
CI - Costa d'Avorio 6
DK - Danimarca 6
DZ - Algeria 6
PY - Paraguay 6
HU - Ungheria 5
IR - Iran 5
JO - Giordania 5
LB - Libano 5
MK - Macedonia 5
OM - Oman 5
PE - Perù 5
TN - Tunisia 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
KH - Cambogia 4
UY - Uruguay 4
AU - Australia 3
EU - Europa 3
IL - Israele 3
KZ - Kazakistan 3
MY - Malesia 3
NI - Nicaragua 3
PT - Portogallo 3
RO - Romania 3
TW - Taiwan 3
AM - Armenia 2
BY - Bielorussia 2
EE - Estonia 2
HN - Honduras 2
KW - Kuwait 2
MD - Moldavia 2
NG - Nigeria 2
PA - Panama 2
PH - Filippine 2
SN - Senegal 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
BH - Bahrain 1
CG - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GY - Guiana 1
HR - Croazia 1
IM - Isola di Man 1
ML - Mali 1
MZ - Mozambico 1
NP - Nepal 1
RW - Ruanda 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
Totale 12.769
Salva come PNG Salva come JPEG
Città #
Singapore 737
Chandler 556
Dublin 523
Ashburn 499
Jacksonville 454
Beijing 392
Santa Clara 389
Hong Kong 310
Dearborn 241
Ann Arbor 235
Boardman 220
Nanjing 181
Dallas 166
Johannesburg 132
Princeton 112
Parma 109
San Mateo 97
Ho Chi Minh City 85
New York 85
Munich 80
Wilmington 74
Helsinki 70
Los Angeles 67
Milan 67
Toronto 67
Izmir 64
Nanchang 60
Shanghai 59
Hefei 58
Kunming 52
Jinan 50
Shenyang 50
Moscow 49
Woodbridge 47
São Paulo 46
Hebei 40
Des Moines 38
Hanoi 38
Tianjin 35
Changsha 34
Guangzhou 32
Council Bluffs 29
Buffalo 28
Düsseldorf 26
Seattle 26
Pisa 25
Columbus 24
Brussels 23
Kocaeli 23
Brooklyn 22
Rio de Janeiro 22
The Dalles 22
Fremont 21
Houston 21
Jiaxing 21
Norwalk 21
Rome 21
Hangzhou 18
Warsaw 18
Amsterdam 17
Boston 17
Casablanca 16
London 16
Vienna 16
Baku 15
Zhengzhou 15
Montreal 14
Stockholm 14
Chennai 13
Haiphong 13
Lucca 13
Salt Lake City 13
San Jose 13
Pune 12
Tashkent 12
Auburn Hills 11
Baghdad 11
Denver 11
Lauria 11
Turku 11
Belo Horizonte 10
Campinas 10
Curitiba 10
Naples 10
Ningbo 10
San Francisco 10
Tokyo 10
Turin 10
Ankara 9
Da Nang 9
Hudson 9
Prague 9
Brasília 8
Cadelbosco Di Sopra 8
Fairfield 8
Fortaleza 8
Istanbul 8
Orem 8
Poggiomarino 8
Querétaro 8
Totale 7.575
Salva come PNG Salva come JPEG
Nome #
PURRS 185
A New Look at the Automatic Synthesis of Linear Ranking Functions 170
Parma Polyhedra Library, v 1.1 160
CORAL 154
China/Ocra 153
Parma Polyhedra Library 151
ECLAIR 150
CLAIR 146
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 142
cTI 141
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 141
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 140
A Rationale-Based Classification of MISRA C Guidelines 138
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 137
A General Event Handling System for the Valet-Plus 136
A Practical Approach to Interval Refinement for math.h/cmath Functions 134
On the Design of Generic Static Analyzers for Imperative Languages 132
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 132
A Linear Domain for Analyzing the Distribution of Numerical Values 132
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 131
That's C, baby. C! 126
A New Encoding of Not Necessarily Closed Convex Polyhedra 126
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 125
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems 124
A Reactive Implementation of Pos using ROBDDs 120
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 120
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 119
Verification of C Programs Via Natural Semantics and Abstract Interpretation 119
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 118
The ACPATH Structural Complexity Metric 116
A Prolog-Based Environment for Reasoning About Programming Languages 116
C-rusted: The Advantages of Rust, in C, without the Disadvantages 115
Finite-Tree Analysis for Constraint Logic-Based Languages 115
Coding Guidelines for Prolog 114
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 113
An Application of Constraint Propagation to Data-Flow Analysis 113
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 112
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 111
MISRA C, for Security's Sake! 111
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 111
Not Necessarily Closed Convex Polyhedra and the Double Description Method 110
A Rationale-Based Classification of MISRA C Guidelines 110
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 110
Efficient Structural Information Analysis for Real CLP Languages 109
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 107
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 107
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 107
Checking and Bounding the Solutions of Some Recurrence Relations 106
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 106
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 105
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 105
Sharing Revisited 105
Enhancing Sharing for Precision 105
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 105
Formal Verification of Software Architectural Constraints 105
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 104
Widening Operators for Powerset Domains 103
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 103
Analysing with China 102
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 102
Precise Widening Operators for Convex Polyhedra 101
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 101
Bringing Existing Code into MISRA Compliance: Challenges and Solutions 100
Boolean Functions for Finite-Tree Dependencies 100
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 100
Efficient Structural Information Analysis for Real CLP Languages 100
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 99
C-rusted: Safe and Secure Programming in Standard C 97
Foreign Language Interfaces for Prolog: A Terse Survey 97
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
Grids: A Domain for Analyzing the Distribution of Numerical Values 96
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 95
Widening Operators for Powerset Domains 94
The Correctness of Set-Sharing 94
Announcing Kermit68K, a Portable 68000 Kermit Program 93
Widening Operators for Weakly-Relational Numeric Abstractions 92
Software Verification Done Right: Introduction to Static Analysis 91
Static Analysis of CLP Programs over Numeric Domains 91
Grids: A Domain for Analyzing the Distribution of Numerical Values 91
Open Source, Free Software e Open Format nei processi di ricerca archeologici 91
Decomposing Non-Redundant Sharing by Complementation 91
Widening Operators for Powerset Domains 90
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 87
Data-Flow Analysis for Constraint Logic-Based Languages 87
C, Rust, C-rusted and MISRA for Safe and Secure Embedded Software 86
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 86
Widening Operators for Weakly-Relational Numeric Abstractions 86
On the Quality of Available Prolog Implementations 85
Boolean Functions for Finite-Tree Dependencies 85
Straight ROBDDs Are Not the Best for Pos 84
Remote Procedure Call 84
The Integration of VAX and Valet-Plus Data Acquisition Software 84
Is the ISO Prolog Standard Taken Seriously? 84
Precise and Practical Mode Analysis with the China Analyzer 83
Decomposing Non-Redundant Sharing by Complementation 83
Totale 11.087
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.175
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 45.175
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021478 0 0 0 0 0 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/20252.817 56 176 236 163 255 314 117 212 306 240 242 500
2025/20263.195 525 478 610 492 769 321 0 0 0 0 0 0
Totale 12.849