BAGNARA, Roberto
 Distribuzione geografica
Continente #
EU - Europa 112
NA - Nord America 25
AS - Asia 20
OC - Oceania 3
SA - Sud America 2
AF - Africa 1
Totale 163
Nazione #
IT - Italia 48
DE - Germania 27
US - Stati Uniti d'America 25
FR - Francia 11
IE - Irlanda 11
CZ - Repubblica Ceca 7
IN - India 7
CN - Cina 5
JP - Giappone 4
AU - Australia 3
BE - Belgio 3
BD - Bangladesh 2
CO - Colombia 2
FI - Finlandia 2
AT - Austria 1
IR - Iran 1
LK - Sri Lanka 1
RO - Romania 1
RU - Federazione Russa 1
TN - Tunisia 1
Totale 163
Città #
Rome 11
Dublin 10
Parma 7
Pisa 6
Columbus 4
Montecchio Emilia 4
Tappahannock 4
Brooklyn 3
Hall 3
Ishite 3
Verona 3
Bengaluru 2
Bogotá 2
Council Bluffs 2
Fuzhou 2
Hangzhou 2
Helsinki 2
Lawrenceville 2
Paris 2
Aichi 1
Ashburn 1
Belgaum 1
Berlin 1
Boardman 1
Bologna 1
Bra 1
Brussels 1
Delhi 1
Dessel 1
Durham 1
Galway 1
Hyderabad 1
Iasi 1
Kochi 1
Les Ulis 1
Leuven 1
Lucca 1
Marseille 1
Milan 1
Mountain View 1
Palo Alto 1
Pavia 1
Richmond 1
Settimo Milanese 1
Shanghai 1
Sète 1
Vadodara 1
Villemomble 1
Totale 103
Nome #
MISRA C, for Security's Sake!, file e177fbc5-7d6e-50b0-e053-d805fe0adaee 30
Détection des fonctions de rang linéaires à terme, file e177fbc4-3d4d-50b0-e053-d805fe0adaee 29
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification, file e177fbc7-e133-50b0-e053-d805fe0adaee 28
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification, file e177fbc7-bafe-50b0-e053-d805fe0adaee 17
A Practical Approach to Interval Refinement for math.h/cmath Functions, file e177fbc5-7611-50b0-e053-d805fe0adaee 12
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification, file e177fbc6-b1c1-50b0-e053-d805fe0adaee 11
CICLOPS 2012: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems, file e177fbc4-2f75-50b0-e053-d805fe0adaee 6
CORAL, file e177fbc4-2baf-50b0-e053-d805fe0adaee 4
Parma Polyhedra Library, file e177fbc4-3626-50b0-e053-d805fe0adaee 4
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages, file e177fbc5-769d-50b0-e053-d805fe0adaee 4
A New Look at the Automatic Synthesis of Linear Ranking Functions, file e177fbc4-3616-50b0-e053-d805fe0adaee 3
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs, file e177fbc4-3aad-50b0-e053-d805fe0adaee 3
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software, file e177fbc6-867b-50b0-e053-d805fe0adaee 3
That's C, baby. C!, file e177fbc6-b153-50b0-e053-d805fe0adaee 3
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages, file e177fbc4-08ef-50b0-e053-d805fe0adaee 1
CLAIR, file e177fbc4-3627-50b0-e053-d805fe0adaee 1
Coding Guidelines for Prolog, file e177fbc4-3629-50b0-e053-d805fe0adaee 1
Eventual Linear Ranking Functions, file e177fbc4-38d1-50b0-e053-d805fe0adaee 1
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software, file e177fbc6-4056-50b0-e053-d805fe0adaee 1
Erratum: Widening operators for powerset domains (International Journal on Software Tools for Technology Transfer vol. 8 (4/5) (449-466) 10.1007/s10009-005-0215-8), file e177fbc6-7370-50b0-e053-d805fe0adaee 1
Totale 163
Categoria #
all - tutte 456
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 456


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2020/20215 0 0 0 0 0 0 5 0 0 0 0 0
2021/20226 0 0 0 0 0 0 0 4 2 0 0 0
2022/202387 2 6 6 7 6 5 11 13 21 7 2 1
2023/20246 0 0 0 0 0 0 1 0 1 0 4 0
Totale 163