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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020732 0 0 0 0 0 0 203 38 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.202 56 176 236 163 255 314 2 0 0 0 0 0
Totale 8.039