BAGNARA, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 2.954
EU - Europa 2.533
AS - Asia 1.128
SA - Sud America 5
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.627
Nazione #
US - Stati Uniti d'America 2.882
CN - Cina 976
SE - Svezia 631
IE - Irlanda 519
UA - Ucraina 400
FI - Finlandia 337
IT - Italia 274
DE - Germania 228
TR - Turchia 88
CA - Canada 71
GB - Regno Unito 61
SG - Singapore 26
IN - India 23
BE - Belgio 18
FR - Francia 11
RU - Federazione Russa 11
NL - Olanda 6
CH - Svizzera 5
CZ - Repubblica Ceca 5
GR - Grecia 5
CO - Colombia 4
DK - Danimarca 4
IR - Iran 4
KH - Cambogia 4
ES - Italia 3
EU - Europa 3
HU - Ungheria 3
JP - Giappone 3
PL - Polonia 3
RO - Romania 3
IL - Israele 2
AR - Argentina 1
BY - Bielorussia 1
EE - Estonia 1
EG - Egitto 1
HR - Croazia 1
IM - Isola di Man 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 1
MX - Messico 1
RW - Ruanda 1
TN - Tunisia 1
TW - Taiwan 1
VN - Vietnam 1
Totale 6.627
Città #
Chandler 556
Dublin 519
Jacksonville 453
Dearborn 241
Ann Arbor 235
Beijing 228
Ashburn 185
Nanjing 181
Princeton 112
San Mateo 97
Parma 76
Wilmington 74
Helsinki 68
Izmir 64
Toronto 62
Nanchang 60
New York 52
Kunming 51
Jinan 50
Shanghai 49
Shenyang 49
Woodbridge 47
Boardman 41
Hebei 40
Hefei 36
Changsha 30
Des Moines 28
Guangzhou 28
Tianjin 28
Kocaeli 23
Düsseldorf 22
Fremont 21
Jiaxing 21
Norwalk 21
Seattle 20
Houston 19
Brussels 18
Hangzhou 17
Milan 14
Pisa 12
Zhengzhou 12
Auburn Hills 11
Pune 11
Ningbo 9
Cadelbosco Di Sopra 8
Fairfield 8
Lucca 8
Poggiomarino 8
Rome 8
Capannoli 7
Fuzhou 7
Singapore 7
Taizhou 7
Lanzhou 6
Redwood City 6
Rockville 6
Sant'ilario D'enza 6
Athens 5
Bologna 5
Chengdu 5
Edinburgh 5
Los Angeles 5
Prague 5
Shaoxing 5
Wuhan 5
Bomporto 4
Borås 4
Cagliari 4
Chongqing 4
Haikou 4
Horsens 4
London 4
Massa 4
Ospitaletto 4
Phnom Penh 4
San Giuliano Milanese 4
Zurich 4
Argenta 3
Budapest 3
Castelnuovo Rangone 3
Changchun 3
Cremona 3
Falls Church 3
Indore 3
Madrid 3
Pioltello 3
Rapino 3
Redmond 3
Taiyuan 3
Tappahannock 3
Valenzano 3
Amsterdam 2
Angera 2
Baotou 2
Borgonovo Val Tidone 2
Champigny-sur-Marne 2
Dallas 2
Desenzano del Garda 2
Detroit 2
Fontanellato 2
Totale 4.231
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 104
PURRS 97
Parma Polyhedra Library, v 1.1 93
That's C, baby. C! 87
CORAL 86
ECLAIR 85
China/Ocra 82
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 82
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 79
Parma Polyhedra Library 79
CLAIR 78
cTI 78
Finite-Tree Analysis for Constraint Logic-Based Languages 77
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 77
MISRA C, for Security's Sake! 75
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 75
Efficient Structural Information Analysis for Real CLP Languages 74
A Practical Approach to Interval Refinement for math.h/cmath Functions 72
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 72
A Linear Domain for Analyzing the Distribution of Numerical Values 71
On the Design of Generic Static Analyzers for Imperative Languages 69
Boolean Functions for Finite-Tree Dependencies 69
A Reactive Implementation of Pos using ROBDDs 68
Verification of C Programs Via Natural Semantics and Abstract Interpretation 68
The Correctness of Set-Sharing 67
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 66
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 66
The Correctness of Set-Sharing 65
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 65
Widening Operators for Powerset Domains 64
Checking and Bounding the Solutions of Some Recurrence Relations 64
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 64
Sharing Revisited 64
Grids: A Domain for Analyzing the Distribution of Numerical Values 64
Foreign Language Interfaces for Prolog: A Terse Survey 63
A General Event Handling System for the Valet-Plus 63
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 63
Enhancing Sharing for Precision 63
Widening Sharing 63
Decomposing Non-Redundant Sharing by Complementation 62
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 61
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 61
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 61
Efficient Structural Information Analysis for Real CLP Languages 61
A New Encoding of Not Necessarily Closed Convex Polyhedra 61
Precise Widening Operators for Convex Polyhedra 60
Analysing with China 60
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 60
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 60
A Rationale-Based Classification of MISRA C Guidelines 59
A Prolog-Based Environment for Reasoning About Programming Languages 59
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 59
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 58
The AND-Compositionality of CLP Computed Answer Constraints 58
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness 58
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 57
Widening Operators for Powerset Domains 57
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 57
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 57
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 57
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 57
Boolean Functions for Finite-Tree Dependencies 56
Widening Operators for Weakly-Relational Numeric Abstractions 56
Static Analysis of CLP Programs over Numeric Domains 55
Coding Guidelines for Prolog 55
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 55
Decomposing Non-Redundant Sharing by Complementation 55
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 54
Data-Flow Analysis for Constraint Logic-Based Languages 54
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 54
An Application of Constraint Propagation to Data-Flow Analysis 54
Announcing Kermit68K, a Portable 68000 Kermit Program 53
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 53
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 53
Set-Sharing is Redundant for Pair-Sharing 52
Not Necessarily Closed Convex Polyhedra and the Double Description Method 52
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 52
Straight ROBDDs Are Not the Best for Pos 51
Remote Procedure Call 51
Grids: A Domain for Analyzing the Distribution of Numerical Values 51
Open Source, Free Software e Open Format nei processi di ricerca archeologici 51
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 50
Widening Operators for Powerset Domains 50
Quality Verification Tools for Quality Software 49
Precise and Practical Mode Analysis with the China Analyzer 48
A Rationale-Based Classification of MISRA C Guidelines 48
On the Quality of Available Prolog Implementations 47
Is the ISO Prolog Standard Taken Seriously? 47
Structural Information Analysis for CLP Languages 47
C-rusted: The Advantages of Rust, in C, without the Disadvantages 46
Widening Operators for Weakly-Relational Numeric Abstractions 46
Soundness, Idempotence and Commutativity of Set-Sharing 46
The Integration of VAX and Valet-Plus Data Acquisition Software 46
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version 44
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 44
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 43
The Valet-Plus Embedded into Large Physics Experiments 43
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 43
On the Detection of Implicit and Redundant Numeric Constraints inCLP programs 42
Constraint Systems for Pattern Analysis of Constraint Logic-BasedLanguages 42
Totale 6.099
Categoria #
all - tutte 22.088
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 22.088


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019113 0 0 0 0 0 0 0 0 0 0 103 10
2019/20201.661 240 242 105 18 139 185 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/2024647 68 67 38 29 46 185 42 79 36 33 24 0
Totale 6.683