CINECA IRIS Institutional Research Information System

GORI, ROBERTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.607
EU - Europa 4.894
AS - Asia 2.786
SA - Sud America 403
AF - Africa 140
OC - Oceania 5
Totale 13.835
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.451
IT - Italia 3.720
SG - Singapore 855
CN - Cina 814
HK - Hong Kong 470
BR - Brasile 333
DE - Germania 242
VN - Vietnam 240
SE - Svezia 218
BG - Bulgaria 154
FR - Francia 120
CA - Canada 119
FI - Finlandia 114
TR - Turchia 78
GB - Regno Unito 76
RU - Federazione Russa 72
CI - Costa d'Avorio 65
KR - Corea 63
JP - Giappone 60
UA - Ucraina 60
IN - India 46
AR - Argentina 33
BD - Bangladesh 27
MX - Messico 27
ES - Italia 22
IQ - Iraq 22
UZ - Uzbekistan 17
BE - Belgio 16
SA - Arabia Saudita 15
NG - Nigeria 14
ZA - Sudafrica 14
CH - Svizzera 13
EG - Egitto 12
AT - Austria 10
CO - Colombia 10
EC - Ecuador 9
ID - Indonesia 9
MY - Malesia 9
PK - Pakistan 9
JO - Giordania 8
NL - Olanda 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
DK - Danimarca 4
LB - Libano 4
MA - Marocco 4
NP - Nepal 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
AO - Angola 3
CZ - Repubblica Ceca 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
ET - Etiopia 2
GT - Guatemala 2
HR - Croazia 2
IR - Iran 2
JM - Giamaica 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
GH - Ghana 1
GP - Guadalupe 1
GY - Guiana 1
HU - Ungheria 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
NO - Norvegia 1
NZ - Nuova Zelanda 1
Totale 13.831
Salva come PNG Salva come JPEG
Città #
Serra 3.068
Singapore 514
Ashburn 512
Fairfield 511
Woodbridge 488
Hong Kong 462
Ann Arbor 384
Santa Clara 376
Houston 331
San Jose 316
Dallas 285
Chandler 209
Seattle 205
Beijing 202
Wilmington 185
Cambridge 174
Sofia 154
Milan 144
Shanghai 137
New York 113
Pisa 85
Hefei 84
Boardman 83
Ottawa 81
Los Angeles 75
Jacksonville 66
Abidjan 65
Princeton 65
Florence 64
Seoul 59
Lauterbourg 58
Tokyo 58
Lawrence 57
Ho Chi Minh City 56
Hanoi 53
Frankfurt am Main 48
The Dalles 44
Council Bluffs 43
Izmir 42
Des Moines 39
Medford 39
Helsinki 37
Buffalo 35
Munich 34
Dong Ket 31
Nanjing 31
Dearborn 30
Redondo Beach 30
São Paulo 30
Turku 30
Bremen 29
Columbus 26
Istanbul 26
Rome 25
San Diego 25
Düsseldorf 23
Baltimore 20
Nanchang 20
Chicago 16
Brussels 15
Guangzhou 14
Jüchen 14
Livorno 14
London 14
Tashkent 13
Washington 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
Changsha 8
Falls Church 8
Fuzhou 8
Jiaxing 8
Kunming 8
Lappeenranta 8
Monsummano Terme 8
Amman 7
Belo Horizonte 7
Denver 7
Falkenstein 7
Genoa 7
Hebei 7
Indiana 7
Johannesburg 7
Orem 7
San Francisco 7
Baghdad 6
Brooklyn 6
Cairo 6
Chengdu 6
Totale 10.922
Salva come PNG Salva come JPEG
Nome #
Generalized contexts for reaction systems: definition and study of dynamic causalities 514
Investigating dynamic causalities in reaction systems 449
Specialized Predictor for Reaction Systems with Context Properties 419
Predictors for flat membrane systems 413
Specialized Predictor for Reaction Systems with Context Properties 408
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 408
Computing preimages and ancestors in reaction systems 402
Simulating gene regulatory networks using reaction systems 384
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 380
Studying Opacity of Reaction Systems through Formula Based Predictors 380
Formalizing a notion of concentration robustness for biochemical networks 363
Hidden states in reaction systems 341
A Global Occurrence Counting Analysis for Brane Calculi 241
An Analysis for Proving Probabilistic Termination of Biological Systems 223
A static analysis for Brane Calculi providing global occurrence counting information 221
Code Obfuscation Against Abstract Model Checking Attacks 219
A Taxonomy of Causality-Based Biological Properties 206
Causal static analysis for Brane Calculi 202
Finite-tree analysis for constraint logic-based languages 197
Analysis of Normal Logic Programs 189
An Abstract Interpretation approach to Termination of Logic Programs 188
A Hierarchy of Semantics for Normal Constraint Logic Programs 187
Abstract interpretation based verification of temporal properties for BioAmbients 183
An Analysis for Causal Properties of Membrane Interactions 183
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 178
A Fixpoint semantics for reasoning about finite failure 177
Abstract extensionality: on the properties of incomplete abstract interpretations 170
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 168
Code obfuscation against abstraction refinement attacks 165
Abstract interpretation based verification of logic programs 164
Assertion based Inductive Verification Methods for Logic Programs 162
Characterization and computation of ancestors in reaction systems 161
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs 160
Limits and Difficulties in the Design of Under-Approximation Abstract Domains 152
A Correctness and Incorrectness Program Logic 151
An Analysis for Proving Temporal Properties of Biological Systems 150
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 150
Abstract Interpretation for Probabilistic Termination of Biological Systems 149
An experiment in type inference and verification by abstract interpretation 146
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 145
Quantitative extensions of reaction systems based on SOS semantics 143
A New Occurrence Counting Analysis for BioAmbients 143
Studying Opacity of Reaction Systems through Formula Based Predictors 143
Exploiting Adjoints in Property Directed Reachability Analysis 141
On the verification of finite failure 141
On the verification of Finite Failure 135
Finite-Tree Analysis for Constraint Logic-Based Languages 135
Boolean Functions for Finite-Tree Dependencies 135
How to Transform an Analyzer into a Verifier 128
Logic programs as specifications in the inductive verification of logic programs 127
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation 126
Logics for Extensional, Locally Complete Analysis via Domain Refinements 123
Enhancing the Expressive Power of the U-Datalog Language 122
Abstract Interpretation based Verification of Logic Programs 119
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 118
Limits and difficulties in the design of under-approximation abstract domains 118
Causal analysis of positive Reaction Systems 114
Filtering Floating-Point Constraints by Maximum ULP. 111
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening 108
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 103
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 103
In silico modeling of biochemical pathways 103
A Logic for Locally Complete Abstract Interpretations 97
Abstract Interpretation Repair 94
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics 90
Local Completeness in Abstract Interpretation 85
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 85
Deciding Program Properties via Complete Abstractions on Bounded Domains 84
null 83
Formal characterization and efficient verification of a biological robustness property 78
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 73
Exploiting binary floating-point representations for constraint propagation 73
Correct approximation of IEEE 754 floating-point arithmetic for program verification 70
Analysis and Verification of Robustness Properties in Becker-Döring Model 68
Revealing Sources of (Memory) Errors via Backward Analysis 55
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction 35
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 32
Broadening the applicability of local completeness analysis with intensional and extensional guarantees 29
Totale 14.080
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.926
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 32.926
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202166 0 0 0 0 0 0 0 0 0 0 0 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.419 14 89 64 110 245 294 192 108 167 292 292 552
2025/20262.963 172 308 378 242 301 245 438 144 205 361 125 44
Totale 14.080