IRIS
BAGNARA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.078
AS - Asia 4.962
EU - Europa 3.794
SA - Sud America 770
AF - Africa 236
Continente sconosciuto - Info sul continente non disponibili 85
OC - Oceania 3
Totale 15.928
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.888
SG - Singapore 1.812
CN - Cina 1.487
IT - Italia 722
SE - Svezia 649
VN - Vietnam 643
BR - Brasile 587
IE - Irlanda 518
UA - Ucraina 410
DE - Germania 394
HK - Hong Kong 362
FI - Finlandia 347
NL - Olanda 171
ZA - Sudafrica 151
GB - Regno Unito 144
FR - Francia 142
CA - Canada 121
TR - Turchia 120
RU - Federazione Russa 102
BD - Bangladesh 101
IN - India 95
AR - Argentina 65
JP - Giappone 46
IQ - Iraq 42
CO - Colombia 35
ES - Italia 33
MX - Messico 32
KR - Corea 26
MA - Marocco 25
VE - Venezuela 25
PL - Polonia 24
BE - Belgio 23
TH - Thailandia 22
SA - Arabia Saudita 21
CL - Cile 20
AT - Austria 19
CZ - Repubblica Ceca 19
ID - Indonesia 19
PH - Filippine 19
UZ - Uzbekistan 19
LB - Libano 17
EC - Ecuador 16
AZ - Azerbaigian 15
PK - Pakistan 15
JO - Giordania 12
KE - Kenya 11
RS - Serbia 10
TN - Tunisia 10
TW - Taiwan 10
AL - Albania 9
MY - Malesia 9
OM - Oman 9
PY - Paraguay 9
CI - Costa d'Avorio 8
HN - Honduras 8
CH - Svizzera 7
DZ - Algeria 7
GR - Grecia 7
HU - Ungheria 7
LT - Lituania 7
NI - Nicaragua 7
DK - Danimarca 6
PE - Perù 6
AE - Emirati Arabi Uniti 5
EG - Egitto 5
IR - Iran 5
KZ - Kazakistan 5
MK - Macedonia 5
IL - Israele 4
KH - Cambogia 4
NP - Nepal 4
PA - Panama 4
PT - Portogallo 4
RO - Romania 4
SN - Senegal 4
UY - Uruguay 4
AU - Australia 3
CG - Congo 3
ET - Etiopia 3
EU - Europa 3
GT - Guatemala 3
JM - Giamaica 3
KW - Kuwait 3
LK - Sri Lanka 3
TT - Trinidad e Tobago 3
AM - Armenia 2
AO - Angola 2
BY - Bielorussia 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
EE - Estonia 2
GY - Guiana 2
HR - Croazia 2
KG - Kirghizistan 2
MD - Moldavia 2
NG - Nigeria 2
SY - Repubblica araba siriana 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
Totale 15.833
Salva come PNG Salva come JPEG
Città #
Singapore 849
Ashburn 578
San Jose 556
Chandler 555
Dublin 518
Santa Clara 484
Jacksonville 449
Beijing 394
Hong Kong 347
Dearborn 239
Ann Arbor 235
Boardman 226
Council Bluffs 224
Ho Chi Minh City 207
Nanjing 180
Dallas 178
Hanoi 149
Johannesburg 138
Parma 118
Princeton 111
New York 104
Lauterbourg 101
San Mateo 96
Los Angeles 92
Milan 89
Munich 89
Wilmington 74
Toronto 72
Helsinki 69
Izmir 65
Shanghai 64
Nanchang 60
Hefei 58
São Paulo 55
Kunming 52
Moscow 49
Shenyang 49
Jinan 48
Woodbridge 47
Des Moines 40
Hebei 40
Tianjin 35
Buffalo 33
Changsha 33
Guangzhou 33
Rome 31
Da Nang 29
The Dalles 29
Seattle 28
Düsseldorf 26
Haiphong 26
Houston 26
Columbus 25
Pisa 25
Tokyo 25
Brooklyn 23
Brussels 23
Kocaeli 23
Rio de Janeiro 23
Fremont 21
Jiaxing 21
Montreal 21
Norwalk 21
Amsterdam 20
Warsaw 19
Hangzhou 18
London 18
Boston 17
Tashkent 17
Casablanca 16
Stockholm 16
Vienna 16
Baku 15
Biên Hòa 15
Lucca 15
Zhengzhou 15
Atlanta 14
Baghdad 14
Chennai 14
Denver 14
Naples 14
Reggio Emilia 14
Bologna 13
Chicago 13
Pune 13
Salt Lake City 13
Istanbul 12
Phoenix 12
Turin 12
Auburn Hills 11
Campinas 11
Lauria 11
Orem 11
San Francisco 11
Turku 11
Amman 10
Ankara 10
Belo Horizonte 10
Brasília 10
Curitiba 10
Totale 9.233
Salva come PNG Salva come JPEG
Nome #
C, Rust, C-rusted and MISRA for Safe and Secure Embedded Software 240
PURRS 227
A New Look at the Automatic Synthesis of Linear Ranking Functions 202
China/Ocra 201
Software Verification Done Right: Introduction to Static Analysis 197
A Practical Approach to Interval Refinement for math.h/cmath Functions 193
ECLAIR 186
CORAL 183
Parma Polyhedra Library, v 1.1 182
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 182
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems 181
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 173
cTI 173
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 173
Parma Polyhedra Library 172
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 170
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 169
CLAIR 167
A Rationale-Based Classification of MISRA C Guidelines 162
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 161
On the Design of Generic Static Analyzers for Imperative Languages 160
A General Event Handling System for the Valet-Plus 159
That's C, baby. C! 159
Formal Verification of Software Architectural Constraints 156
A Reactive Implementation of Pos using ROBDDs 155
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 155
A New Encoding of Not Necessarily Closed Convex Polyhedra 154
A Linear Domain for Analyzing the Distribution of Numerical Values 153
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 151
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 151
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 149
The ACPATH Structural Complexity Metric 144
MISRA C, for Security's Sake! 144
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 143
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 141
C-rusted: The Advantages of Rust, in C, without the Disadvantages 140
A Rationale-Based Classification of MISRA C Guidelines 140
Bringing Existing Code into MISRA Compliance: Challenges and Solutions 139
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 139
Coding Guidelines for Prolog 139
An Application of Constraint Propagation to Data-Flow Analysis 139
Verification of C Programs Via Natural Semantics and Abstract Interpretation 138
C-rusted: Safe and Secure Programming in Standard C 137
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 137
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 136
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 136
Finite-Tree Analysis for Constraint Logic-Based Languages 135
Widening Sharing 132
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 130
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 130
A Prolog-Based Environment for Reasoning About Programming Languages 129
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 129
Not Necessarily Closed Convex Polyhedra and the Double Description Method 129
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 127
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 127
Efficient Structural Information Analysis for Real CLP Languages 127
Efficient Structural Information Analysis for Real CLP Languages 126
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 125
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 125
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 125
Sharing Revisited 123
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 122
The Correctness of Set-Sharing 122
Precise Widening Operators for Convex Polyhedra 121
Analysing with China 121
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 121
Announcing Kermit68K, a Portable 68000 Kermit Program 120
Enhancing Sharing for Precision 120
The AND-Compositionality of CLP Computed Answer Constraints 119
Widening Operators for Powerset Domains 118
Checking and Bounding the Solutions of Some Recurrence Relations 118
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 118
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 117
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 116
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 116
Set-Sharing is Redundant for Pair-Sharing 115
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 115
The Correctness of Set-Sharing 114
Open Source, Free Software e Open Format nei processi di ricerca archeologici 113
Widening Operators for Weakly-Relational Numeric Abstractions 112
Static Analysis of CLP Programs over Numeric Domains 110
Grids: A Domain for Analyzing the Distribution of Numerical Values 110
Boolean Functions for Finite-Tree Dependencies 110
Foreign Language Interfaces for Prolog: A Terse Survey 108
Widening Operators for Powerset Domains 108
Grids: A Domain for Analyzing the Distribution of Numerical Values 108
Widening Operators for Weakly-Relational Numeric Abstractions 108
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 107
Finite-Tree Analysis for Constraint Logic-Based Languages 107
Widening Operators for Powerset Domains 105
The Integration of VAX and Valet-Plus Data Acquisition Software 105
Decomposing Non-Redundant Sharing by Complementation 104
Soundness, Idempotence and Commutativity of Set-Sharing 104
Is the ISO Prolog Standard Taken Seriously? 104
Straight ROBDDs Are Not the Best for Pos 102
On the Quality of Available Prolog Implementations 101
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 101
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 100
Boolean Functions for Finite-Tree Dependencies 100
Remote Procedure Call 99
Totale 13.746
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.216
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 54.216
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022569 0 0 3 30 27 29 85 105 26 43 43 178
2022/20232.113 276 236 151 155 152 251 40 146 627 10 60 9
2023/2024792 67 67 37 29 46 183 52 86 37 35 54 99
2024/20252.799 56 175 235 161 253 312 117 211 305 238 239 497
2025/20265.632 521 475 606 491 767 370 810 184 562 557 169 120
2026/2027715 191 330 194 0 0 0 0 0 0 0 0 0
Totale 15.928