CINECA IRIS Institutional Research Information System

GORI, ROBERTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.984
EU - Europa 4.728
AS - Asia 2.353
SA - Sud America 355
AF - Africa 123
OC - Oceania 4
Totale 12.547
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.859
IT - Italia 3.675
SG - Singapore 728
CN - Cina 724
HK - Hong Kong 463
BR - Brasile 303
DE - Germania 224
SE - Svezia 218
BG - Bulgaria 154
VN - Vietnam 143
FI - Finlandia 107
CA - Canada 100
TR - Turchia 78
RU - Federazione Russa 71
CI - Costa d'Avorio 64
GB - Regno Unito 61
KR - Corea 61
FR - Francia 58
UA - Ucraina 55
AR - Argentina 26
IN - India 26
MX - Messico 21
BD - Bangladesh 19
ES - Italia 19
JP - Giappone 17
IQ - Iraq 16
BE - Belgio 15
CH - Svizzera 13
SA - Arabia Saudita 13
NG - Nigeria 12
UZ - Uzbekistan 12
ZA - Sudafrica 11
AT - Austria 10
EG - Egitto 10
GR - Grecia 7
ID - Indonesia 7
NL - Olanda 7
CO - Colombia 6
EC - Ecuador 6
PK - Pakistan 6
BJ - Benin 5
JO - Giordania 5
LT - Lituania 5
MY - Malesia 5
TN - Tunisia 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
DK - Danimarca 4
IE - Irlanda 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
AU - Australia 3
EE - Estonia 3
LB - Libano 3
MA - Marocco 3
NP - Nepal 3
PL - Polonia 3
SN - Senegal 3
AO - Angola 2
CZ - Repubblica Ceca 2
HN - Honduras 2
HR - Croazia 2
IL - Israele 2
IR - Iran 2
JM - Giamaica 2
KE - Kenya 2
LK - Sri Lanka 2
OM - Oman 2
PH - Filippine 2
RS - Serbia 2
UY - Uruguay 2
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CG - Congo 1
CL - Cile 1
DZ - Algeria 1
ET - Etiopia 1
GH - Ghana 1
GY - Guiana 1
HU - Ungheria 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
QA - Qatar 1
RO - Romania 1
TJ - Tagikistan 1
UG - Uganda 1
Totale 12.547
Salva come PNG Salva come JPEG
Città #
Serra 3.068
Fairfield 511
Woodbridge 488
Hong Kong 460
Ashburn 456
Singapore 428
Ann Arbor 384
Santa Clara 371
Houston 326
Dallas 293
Chandler 209
Seattle 204
Beijing 202
Wilmington 184
Cambridge 174
Sofia 154
Milan 139
Shanghai 137
New York 106
Hefei 84
Boardman 83
Ottawa 81
Los Angeles 74
Pisa 72
Jacksonville 66
Princeton 65
Abidjan 64
Florence 63
Seoul 58
Lawrence 57
Izmir 42
The Dalles 41
Frankfurt am Main 40
Medford 39
Des Moines 38
Buffalo 34
Munich 34
Helsinki 32
Dong Ket 31
Nanjing 31
São Paulo 31
Dearborn 30
Redondo Beach 30
Turku 30
Bremen 29
Ho Chi Minh City 28
Istanbul 26
Hanoi 24
San Diego 24
Düsseldorf 23
Rome 21
Nanchang 20
Tokyo 16
Brussels 14
Columbus 14
Jüchen 14
Livorno 14
Chicago 13
Guangzhou 13
London 13
Bern 12
Karlsruhe 12
Lagos 12
Marseille 12
Ogden 12
Washington 12
Shenyang 11
Torino 11
Como 10
Nuremberg 9
Paris 9
Rio de Janeiro 9
Tashkent 9
Changsha 8
Council Bluffs 8
Falls Church 8
Fuzhou 8
Jiaxing 8
Kunming 8
Monsummano Terme 8
San Jose 8
Belo Horizonte 7
Denver 7
Genoa 7
Hebei 7
Indiana 7
Johannesburg 7
Lappeenranta 7
Atlanta 6
Brooklyn 6
Chengdu 6
Dhaka 6
Falkenstein 6
Haiphong 6
Hangzhou 6
Quanzhou 6
Santo André 6
Verona 6
Amman 5
Amsterdam 5
Totale 10.173
Salva come PNG Salva come JPEG
Nome #
Generalized contexts for reaction systems: definition and study of dynamic causalities 475
Investigating dynamic causalities in reaction systems 415
Specialized Predictor for Reaction Systems with Context Properties 402
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 399
Predictors for flat membrane systems 393
Specialized Predictor for Reaction Systems with Context Properties 381
Computing preimages and ancestors in reaction systems 381
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 363
Studying Opacity of Reaction Systems through Formula Based Predictors 363
Simulating gene regulatory networks using reaction systems 362
Formalizing a notion of concentration robustness for biochemical networks 346
Hidden states in reaction systems 327
A Global Occurrence Counting Analysis for Brane Calculi 212
An Analysis for Proving Probabilistic Termination of Biological Systems 200
Code Obfuscation Against Abstract Model Checking Attacks 194
A Taxonomy of Causality-Based Biological Properties 184
Finite-tree analysis for constraint logic-based languages 183
A static analysis for Brane Calculi providing global occurrence counting information 183
Analysis of Normal Logic Programs 181
Causal static analysis for Brane Calculi 181
An Abstract Interpretation approach to Termination of Logic Programs 176
Finite failure is and-compositional 174
An Abstract Interpretation Framework to reason on Finite Failure and other properties of finite and infinite computations 173
Properties of a Type Abstract Interpreter 171
Abstract interpretation based verification of temporal properties for BioAmbients 166
A Fixpoint semantics for reasoning about finite failure 166
A Hierarchy of Semantics for Normal Constraint Logic Programs 165
An Analysis for Causal Properties of Membrane Interactions 161
Code obfuscation against abstraction refinement attacks 156
Assertion based Inductive Verification Methods for Logic Programs 155
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 155
Abstract extensionality: on the properties of incomplete abstract interpretations 153
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs 151
Abstract interpretation based verification of logic programs 151
An Analysis for Proving Temporal Properties of Biological Systems 143
Characterization and computation of ancestors in reaction systems 138
Studying Opacity of Reaction Systems through Formula Based Predictors 136
On the verification of finite failure 134
An experiment in type inference and verification by abstract interpretation 133
Abstract Interpretation for Probabilistic Termination of Biological Systems 132
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 131
A Correctness and Incorrectness Program Logic 129
On the verification of Finite Failure 129
A New Occurrence Counting Analysis for BioAmbients 126
Boolean Functions for Finite-Tree Dependencies 125
Finite-Tree Analysis for Constraint Logic-Based Languages 122
Quantitative extensions of reaction systems based on SOS semantics 120
Limits and Difficulties in the Design of Under-Approximation Abstract Domains 118
How to Transform an Analyzer into a Verifier 118
Exploiting Adjoints in Property Directed Reachability Analysis 116
Enhancing the Expressive Power of the U-Datalog Language 115
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation 113
Logic programs as specifications in the inductive verification of logic programs 113
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 111
Abstract Interpretation based Verification of Logic Programs 108
Limits and difficulties in the design of under-approximation abstract domains 105
Filtering Floating-Point Constraints by Maximum ULP. 104
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening 103
Logics for Extensional, Locally Complete Analysis via Domain Refinements 101
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 100
In silico modeling of biochemical pathways 94
Causal analysis of positive Reaction Systems 86
null 84
null 83
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 81
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics 77
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 76
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 75
Deciding Program Properties via Complete Abstractions on Bounded Domains 74
Abstract Interpretation Repair 74
Exploiting binary floating-point representations for constraint propagation 67
Formal characterization and efficient verification of a biological robustness property 64
Local Completeness in Abstract Interpretation 61
Analysis and Verification of Robustness Properties in Becker-Döring Model 57
A Logic for Locally Complete Abstract Interpretations 54
Correct approximation of IEEE 754 floating-point arithmetic for program verification 52
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 40
Revealing Sources of (Memory) Errors via Backward Analysis 37
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction 14
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 10
Broadening the applicability of local completeness analysis with intensional and extensional guarantees 9
Totale 12.790
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.009
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.009
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021350 0 0 0 0 0 19 37 50 88 41 49 66
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.435 14 89 64 110 245 294 192 108 167 292 293 567
2025/20261.657 176 313 394 243 307 224 0 0 0 0 0 0
Totale 12.790