CINECA IRIS Institutional Research Information System

GORI, ROBERTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.750
EU - Europa 5.016
AS - Asia 2.802
SA - Sud America 412
Continente sconosciuto - Info sul continente non disponibili 247
AF - Africa 143
OC - Oceania 5
Totale 14.375
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.584
IT - Italia 3.836
SG - Singapore 860
CN - Cina 815
HK - Hong Kong 473
BR - Brasile 340
DE - Germania 242
VN - Vietnam 241
SE - Svezia 218
BG - Bulgaria 154
CA - Canada 122
FR - Francia 121
FI - Finlandia 114
TR - Turchia 78
GB - Regno Unito 76
RU - Federazione Russa 72
CI - Costa d'Avorio 65
JP - Giappone 63
KR - Corea 63
UA - Ucraina 61
IN - India 46
AR - Argentina 35
BD - Bangladesh 27
MX - Messico 27
ES - Italia 22
IQ - Iraq 22
UZ - Uzbekistan 17
ZA - Sudafrica 17
BE - Belgio 16
SA - Arabia Saudita 15
NG - Nigeria 14
CH - Svizzera 13
EG - Egitto 12
PK - Pakistan 12
AT - Austria 10
CO - Colombia 10
EC - Ecuador 9
ID - Indonesia 9
MY - Malesia 9
NL - Olanda 9
JO - Giordania 8
TN - Tunisia 8
GR - Grecia 7
PH - Filippine 7
IE - Irlanda 6
VE - Venezuela 6
BJ - Benin 5
LT - Lituania 5
PL - Polonia 5
AE - Emirati Arabi Uniti 4
AU - Australia 4
CL - Cile 4
CZ - Repubblica Ceca 4
DK - Danimarca 4
JM - Giamaica 4
LB - Libano 4
MA - Marocco 4
NP - Nepal 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
AO - Angola 3
DZ - Algeria 3
EE - Estonia 3
HN - Honduras 3
IL - Israele 3
KE - Kenya 3
OM - Oman 3
SN - Senegal 3
AM - Armenia 2
BB - Barbados 2
ET - Etiopia 2
GT - Guatemala 2
HR - Croazia 2
HU - Ungheria 2
IR - Iran 2
KZ - Kazakistan 2
LK - Sri Lanka 2
QA - Qatar 2
RO - Romania 2
RS - Serbia 2
UY - Uruguay 2
AI - Anguilla 1
AL - Albania 1
AZ - Azerbaigian 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
GH - Ghana 1
GP - Guadalupe 1
GY - Guiana 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
MD - Moldavia 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
Totale 14.119
Salva come PNG Salva come JPEG
Città #
Serra 3.068
Ashburn 540
Singapore 517
Fairfield 511
Woodbridge 488
Hong Kong 465
Santa Clara 386
Ann Arbor 384
Houston 331
San Jose 328
Dallas 285
Chandler 209
Seattle 205
Beijing 202
Wilmington 185
Cambridge 174
Milan 162
Sofia 154
Shanghai 137
New York 113
Pisa 85
Hefei 84
Boardman 83
Ottawa 81
Los Angeles 77
Council Bluffs 76
Florence 66
Jacksonville 66
Princeton 66
Abidjan 65
Seoul 59
Tokyo 59
Lauterbourg 58
Ho Chi Minh City 57
Lawrence 57
Hanoi 53
Frankfurt am Main 48
The Dalles 45
Izmir 42
Des Moines 39
Medford 39
Helsinki 37
Buffalo 35
Rome 35
Munich 34
São Paulo 34
Dong Ket 31
Nanjing 31
Dearborn 30
Redondo Beach 30
Turku 30
Bremen 29
Columbus 27
Istanbul 26
San Diego 25
Düsseldorf 23
Baltimore 20
Nanchang 20
Chicago 18
Brussels 15
Washington 15
Guangzhou 14
Jüchen 14
Livorno 14
London 14
Figino 13
Tashkent 13
Bern 12
Haiphong 12
Karlsruhe 12
Lagos 12
Marseille 12
Ogden 12
Shenyang 11
Torino 11
Como 10
Nuremberg 10
Paris 10
Rio de Janeiro 10
Atlanta 9
Belo Horizonte 8
Changsha 8
Falls Church 8
Fuzhou 8
Jiaxing 8
Kunming 8
Lappeenranta 8
Monsummano Terme 8
Naples 8
Amman 7
Denver 7
Falkenstein 7
Genoa 7
Hebei 7
Indiana 7
Johannesburg 7
Orem 7
San Francisco 7
Verona 7
Amsterdam 6
Totale 11.067
Salva come PNG Salva come JPEG
Nome #
Generalized contexts for reaction systems: definition and study of dynamic causalities 519
Investigating dynamic causalities in reaction systems 457
Specialized Predictor for Reaction Systems with Context Properties 421
Predictors for flat membrane systems 416
Specialized Predictor for Reaction Systems with Context Properties 411
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 409
Computing preimages and ancestors in reaction systems 406
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 389
Simulating gene regulatory networks using reaction systems 388
Studying Opacity of Reaction Systems through Formula Based Predictors 383
Formalizing a notion of concentration robustness for biochemical networks 363
Hidden states in reaction systems 341
A Global Occurrence Counting Analysis for Brane Calculi 249
A static analysis for Brane Calculi providing global occurrence counting information 235
An Analysis for Proving Probabilistic Termination of Biological Systems 226
Code Obfuscation Against Abstract Model Checking Attacks 224
Causal static analysis for Brane Calculi 210
A Taxonomy of Causality-Based Biological Properties 209
Finite-tree analysis for constraint logic-based languages 199
Analysis of Normal Logic Programs 190
An Analysis for Causal Properties of Membrane Interactions 189
A Hierarchy of Semantics for Normal Constraint Logic Programs 188
An Abstract Interpretation approach to Termination of Logic Programs 188
Abstract interpretation based verification of temporal properties for BioAmbients 184
An Abstract Interpretation Framework to reason on Finite Failure and other properties of finite and infinite computations 181
Properties of a Type Abstract Interpreter 181
Finite failure is and-compositional 180
A Fixpoint semantics for reasoning about finite failure 177
Abstract extensionality: on the properties of incomplete abstract interpretations 171
Code obfuscation against abstraction refinement attacks 168
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 168
Abstract interpretation based verification of logic programs 164
Assertion based Inductive Verification Methods for Logic Programs 163
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 163
Limits and Difficulties in the Design of Under-Approximation Abstract Domains 161
Characterization and computation of ancestors in reaction systems 161
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs 160
A Correctness and Incorrectness Program Logic 157
An Analysis for Proving Temporal Properties of Biological Systems 154
Exploiting Adjoints in Property Directed Reachability Analysis 150
Abstract Interpretation for Probabilistic Termination of Biological Systems 149
Quantitative extensions of reaction systems based on SOS semantics 148
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 148
An experiment in type inference and verification by abstract interpretation 146
A New Occurrence Counting Analysis for BioAmbients 144
Studying Opacity of Reaction Systems through Formula Based Predictors 143
On the verification of finite failure 142
Boolean Functions for Finite-Tree Dependencies 137
On the verification of Finite Failure 136
Finite-Tree Analysis for Constraint Logic-Based Languages 135
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation 128
How to Transform an Analyzer into a Verifier 128
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 128
Logic programs as specifications in the inductive verification of logic programs 127
Logics for Extensional, Locally Complete Analysis via Domain Refinements 125
Causal analysis of positive Reaction Systems 122
Enhancing the Expressive Power of the U-Datalog Language 122
Abstract Interpretation based Verification of Logic Programs 120
Limits and difficulties in the design of under-approximation abstract domains 120
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 117
Filtering Floating-Point Constraints by Maximum ULP. 114
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 110
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening 109
In silico modeling of biochemical pathways 104
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics 103
Local Completeness in Abstract Interpretation 101
A Logic for Locally Complete Abstract Interpretations 99
Abstract Interpretation Repair 95
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 86
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 86
Deciding Program Properties via Complete Abstractions on Bounded Domains 85
null 83
Formal characterization and efficient verification of a biological robustness property 78
Correct approximation of IEEE 754 floating-point arithmetic for program verification 76
Exploiting binary floating-point representations for constraint propagation 74
Analysis and Verification of Robustness Properties in Becker-Döring Model 69
Revealing Sources of (Memory) Errors via Backward Analysis 66
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 43
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction 40
Broadening the applicability of local completeness analysis with intensional and extensional guarantees 36
Totale 14.375
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.184
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 34.184
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022710 19 50 19 38 138 103 39 39 37 28 50 150
2022/2023860 92 81 44 77 93 111 18 41 188 9 94 12
2023/2024723 69 66 110 54 154 114 33 5 12 17 28 61
2024/20252.419 14 89 64 110 245 294 192 108 167 292 292 552
2025/20263.158 172 308 378 242 301 245 438 144 205 361 125 239
2026/2027100 100 0 0 0 0 0 0 0 0 0 0 0
Totale 14.375