IRIS
BAGNARA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.996
EU - Europa 2.545
AS - Asia 1.210
SA - Sud America 5
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.763
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.924
CN - Cina 978
SE - Svezia 631
IE - Irlanda 519
UA - Ucraina 400
FI - Finlandia 337
IT - Italia 275
DE - Germania 228
SG - Singapore 104
TR - Turchia 88
CA - Canada 71
GB - Regno Unito 66
IN - India 25
BE - Belgio 18
CZ - Repubblica Ceca 11
FR - Francia 11
RU - Federazione Russa 11
NL - Olanda 6
CH - Svizzera 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.763
Salva come PNG Salva come JPEG
Città #
Chandler 556
Dublin 519
Jacksonville 453
Dearborn 241
Ann Arbor 235
Beijing 228
Ashburn 189
Nanjing 181
Princeton 112
San Mateo 97
Parma 76
Wilmington 74
Boardman 69
Helsinki 68
Izmir 64
Toronto 62
Nanchang 60
New York 52
Kunming 51
Shanghai 51
Jinan 50
Shenyang 49
Singapore 47
Woodbridge 47
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 13
Zhengzhou 12
Auburn Hills 11
Pune 11
Hudson 9
Ningbo 9
Cadelbosco Di Sopra 8
Fairfield 8
Lucca 8
Poggiomarino 8
Rome 8
Capannoli 7
Fuzhou 7
Taizhou 7
Lanzhou 6
Prague 6
Redwood City 6
Rockville 6
Sant'ilario D'enza 6
Athens 5
Bologna 5
Brno 5
Chengdu 5
Edinburgh 5
Great Kimble 5
Los Angeles 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
Totale 4.320
Salva come PNG Salva come JPEG
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 106
PURRS 99
Parma Polyhedra Library, v 1.1 94
ECLAIR 87
CORAL 87
That's C, baby. C! 87
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 84
China/Ocra 82
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 80
Parma Polyhedra Library 80
CLAIR 79
cTI 79
Finite-Tree Analysis for Constraint Logic-Based Languages 78
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software 77
Efficient Structural Information Analysis for Real CLP Languages 75
MISRA C, for Security's Sake! 75
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 75
A Practical Approach to Interval Refinement for math.h/cmath Functions 74
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 73
A Linear Domain for Analyzing the Distribution of Numerical Values 72
A Reactive Implementation of Pos using ROBDDs 70
On the Design of Generic Static Analyzers for Imperative Languages 70
Boolean Functions for Finite-Tree Dependencies 69
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 69
Verification of C Programs Via Natural Semantics and Abstract Interpretation 68
The Correctness of Set-Sharing 68
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 67
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos 66
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 66
Sharing Revisited 66
The Correctness of Set-Sharing 66
Widening Operators for Powerset Domains 65
Grids: A Domain for Analyzing the Distribution of Numerical Values 65
A Rationale-Based Classification of MISRA C Guidelines 64
Checking and Bounding the Solutions of Some Recurrence Relations 64
A General Event Handling System for the Valet-Plus 64
Enhancing Sharing for Precision 64
Foreign Language Interfaces for Prolog: A Terse Survey 63
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 63
Widening Sharing 63
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 62
Decomposing Non-Redundant Sharing by Complementation 62
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 62
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 62
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 62
A New Encoding of Not Necessarily Closed Convex Polyhedra 62
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 61
Analysing with China 61
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 61
Efficient Structural Information Analysis for Real CLP Languages 61
Precise Widening Operators for Convex Polyhedra 60
A Prolog-Based Environment for Reasoning About Programming Languages 60
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 59
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 59
Widening Operators for Powerset Domains 58
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 58
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 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
Open Source, Free Software e Open Format nei processi di ricerca archeologici 57
Widening Operators for Weakly-Relational Numeric Abstractions 57
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 57
Static Analysis of CLP Programs over Numeric Domains 56
Boolean Functions for Finite-Tree Dependencies 56
Coding Guidelines for Prolog 56
Decomposing Non-Redundant Sharing by Complementation 56
Data-Flow Analysis for Constraint Logic-Based Languages 55
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 55
An Application of Constraint Propagation to Data-Flow Analysis 55
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 55
cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog 54
Announcing Kermit68K, a Portable 68000 Kermit Program 54
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 54
Set-Sharing is Redundant for Pair-Sharing 53
Not Necessarily Closed Convex Polyhedra and the Double Description Method 53
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 53
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 53
Straight ROBDDs Are Not the Best for Pos 52
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 52
Remote Procedure Call 52
Grids: A Domain for Analyzing the Distribution of Numerical Values 51
Widening Operators for Powerset Domains 51
Quality Verification Tools for Quality Software 50
A Rationale-Based Classification of MISRA C Guidelines 50
Formal Verification of Software Architectural Constraints 49
C-rusted: The Advantages of Rust, in C, without the Disadvantages 48
On the Quality of Available Prolog Implementations 48
Is the ISO Prolog Standard Taken Seriously? 48
Precise and Practical Mode Analysis with the China Analyzer 48
Structural Information Analysis for CLP Languages 48
Soundness, Idempotence and Commutativity of Set-Sharing 47
The Integration of VAX and Valet-Plus Data Acquisition Software 47
Widening Operators for Weakly-Relational Numeric Abstractions 46
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 46
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 45
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 44
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version 44
The Valet-Plus Embedded into Large Physics Experiments 44
On the Detection of Implicit and Redundant Numeric Constraints inCLP programs 43
Totale 6.206
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.445
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 23.445
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024772 68 67 38 29 46 185 42 79 36 33 52 97
2024/202511 11 0 0 0 0 0 0 0 0 0 0 0
Totale 6.819