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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022602 10 23 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/202790 90 0 0 0 0 0 0 0 0 0 0 0
Totale 15.303