IRIS
BAGNARA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.493
AS - Asia 4.878
EU - Europa 3.663
SA - Sud America 737
AF - Africa 234
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 15.012
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.339
SG - Singapore 1.803
CN - Cina 1.479
VN - Vietnam 641
SE - Svezia 640
IT - Italia 629
BR - Brasile 570
IE - Irlanda 518
UA - Ucraina 409
DE - Germania 381
HK - Hong Kong 359
FI - Finlandia 347
NL - Olanda 168
ZA - Sudafrica 151
GB - Regno Unito 142
FR - Francia 141
TR - Turchia 118
CA - Canada 104
RU - Federazione Russa 102
IN - India 93
BD - Bangladesh 68
AR - Argentina 62
JP - Giappone 46
IQ - Iraq 42
ES - Italia 30
CO - Colombia 29
MX - Messico 27
KR - Corea 26
MA - Marocco 25
PL - Polonia 24
BE - Belgio 23
VE - Venezuela 23
TH - Thailandia 21
AT - Austria 19
UZ - Uzbekistan 19
SA - Arabia Saudita 18
CL - Cile 16
AZ - Azerbaigian 15
CZ - Repubblica Ceca 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
IR - Iran 5
MK - Macedonia 5
HN - Honduras 4
KH - Cambogia 4
KZ - Kazakistan 4
NI - Nicaragua 4
PA - Panama 4
PT - Portogallo 4
SN - Senegal 4
UY - Uruguay 4
AU - Australia 3
ET - Etiopia 3
EU - Europa 3
IL - Israele 3
KW - Kuwait 3
NP - Nepal 3
RO - Romania 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
JM - Giamaica 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
BH - Bahrain 1
BO - Bolivia 1
CM - Camerun 1
Totale 15.001
Salva come PNG Salva come JPEG
Città #
Singapore 846
Ashburn 556
Chandler 555
Dublin 518
San Jose 503
Jacksonville 449
Santa Clara 396
Beijing 392
Hong Kong 344
Dearborn 239
Ann Arbor 235
Boardman 218
Ho Chi Minh City 206
Nanjing 180
Dallas 168
Hanoi 149
Johannesburg 138
Parma 117
Princeton 111
Lauterbourg 101
New York 98
San Mateo 96
Munich 87
Los Angeles 86
Milan 80
Wilmington 74
Toronto 71
Helsinki 69
Izmir 65
Shanghai 62
Nanchang 60
Hefei 58
São Paulo 53
Kunming 52
Moscow 49
Shenyang 49
Jinan 48
Woodbridge 47
Des Moines 40
Hebei 40
Tianjin 35
Changsha 33
Council Bluffs 33
Guangzhou 33
Buffalo 29
Da Nang 29
The Dalles 29
Seattle 27
Düsseldorf 26
Haiphong 26
Houston 26
Columbus 25
Pisa 25
Rome 25
Tokyo 25
Brooklyn 23
Brussels 23
Kocaeli 23
Rio de Janeiro 22
Fremont 21
Jiaxing 21
Norwalk 21
Amsterdam 20
Hangzhou 18
Warsaw 18
Boston 17
London 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
Pune 13
Salt Lake City 13
Auburn Hills 11
Campinas 11
Chicago 11
Istanbul 11
Lauria 11
Orem 11
Turku 11
Amman 10
Ankara 10
Belo Horizonte 10
Curitiba 10
Frankfurt am Main 10
Hải Dương 10
Naples 10
Ningbo 10
San Francisco 10
Turin 10
Bologna 9
Totale 8.778
Salva come PNG Salva come JPEG
Nome #
PURRS 220
A New Look at the Automatic Synthesis of Linear Ranking Functions 198
China/Ocra 195
ECLAIR 182
A Practical Approach to Interval Refinement for math.h/cmath Functions 180
CORAL 178
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 177
Parma Polyhedra Library, v 1.1 176
Software Verification Done Right: Introduction to Static Analysis 172
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 167
Parma Polyhedra Library 167
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems 166
cTI 166
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 166
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 165
CLAIR 162
A Rationale-Based Classification of MISRA C Guidelines 157
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 157
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 155
A General Event Handling System for the Valet-Plus 155
On the Design of Generic Static Analyzers for Imperative Languages 155
That's C, baby. C! 155
C, Rust, C-rusted and MISRA for Safe and Secure Embedded Software 153
A Reactive Implementation of Pos using ROBDDs 150
A Linear Domain for Analyzing the Distribution of Numerical Values 149
A New Encoding of Not Necessarily Closed Convex Polyhedra 148
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 148
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 146
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 144
The ACPATH Structural Complexity Metric 138
MISRA C, for Security's Sake! 138
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 137
An Application of Constraint Propagation to Data-Flow Analysis 137
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 136
Coding Guidelines for Prolog 135
C-rusted: The Advantages of Rust, in C, without the Disadvantages 133
Verification of C Programs Via Natural Semantics and Abstract Interpretation 133
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 131
Finite-Tree Analysis for Constraint Logic-Based Languages 131
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 131
Formal Verification of Software Architectural Constraints 131
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 130
A Rationale-Based Classification of MISRA C Guidelines 129
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 129
C-rusted: Safe and Secure Programming in Standard C 127
A Prolog-Based Environment for Reasoning About Programming Languages 127
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 127
Widening Sharing 126
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 124
Bringing Existing Code into MISRA Compliance: Challenges and Solutions 123
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 123
Efficient Structural Information Analysis for Real CLP Languages 123
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 123
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 122
Not Necessarily Closed Convex Polyhedra and the Double Description Method 122
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 122
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 121
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 121
Sharing Revisited 120
Efficient Structural Information Analysis for Real CLP Languages 120
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 120
The Correctness of Set-Sharing 118
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 117
Analysing with China 116
The AND-Compositionality of CLP Computed Answer Constraints 116
Announcing Kermit68K, a Portable 68000 Kermit Program 115
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 115
Enhancing Sharing for Precision 115
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 115
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 114
Checking and Bounding the Solutions of Some Recurrence Relations 113
Precise Widening Operators for Convex Polyhedra 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
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 111
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
Static Analysis of CLP Programs over Numeric Domains 108
Widening Operators for Weakly-Relational Numeric Abstractions 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 103
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 103
Decomposing Non-Redundant Sharing by Complementation 103
Grids: A Domain for Analyzing the Distribution of Numerical Values 102
Widening Operators for Powerset Domains 102
Straight ROBDDs Are Not the Best for Pos 101
The Integration of VAX and Valet-Plus Data Acquisition Software 100
Is the ISO Prolog Standard Taken Seriously? 99
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 99
Soundness, Idempotence and Commutativity of Set-Sharing 98
On the Quality of Available Prolog Implementations 96
Remote Procedure Call 96
Decomposing Non-Redundant Sharing by Complementation 96
Boolean Functions for Finite-Tree Dependencies 95
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 94
Totale 13.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.562
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 49.562
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021128 0 0 0 0 0 0 0 0 0 0 101 27
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.509 521 475 606 491 767 370 810 184 562 557 166 0
Totale 15.090