IRIS
PIAZZA, Carla
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.879
AS - Asia 4.531
EU - Europa 3.045
SA - Sud America 722
Continente sconosciuto - Info sul continente non disponibili 413
AF - Africa 88
OC - Oceania 7
Totale 19.685
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.637
SG - Singapore 2.361
CN - Cina 910
IT - Italia 896
UA - Ucraina 595
BR - Brasile 560
HK - Hong Kong 395
DE - Germania 385
VN - Vietnam 299
FI - Finlandia 244
RU - Federazione Russa 208
FR - Francia 174
CA - Canada 143
IE - Irlanda 104
SE - Svezia 101
GB - Regno Unito 93
IN - India 86
TR - Turchia 84
BD - Bangladesh 81
AR - Argentina 67
KR - Corea 66
PL - Polonia 50
MX - Messico 40
JP - Giappone 34
EC - Ecuador 31
NL - Olanda 31
IQ - Iraq 29
PK - Pakistan 29
ZA - Sudafrica 24
ES - Italia 22
ID - Indonesia 21
AT - Austria 18
CO - Colombia 18
IR - Iran 18
JM - Giamaica 18
BE - Belgio 15
DK - Danimarca 15
CZ - Repubblica Ceca 14
UZ - Uzbekistan 14
VE - Venezuela 14
MY - Malesia 12
TG - Togo 12
PH - Filippine 11
SA - Arabia Saudita 11
HU - Ungheria 10
MA - Marocco 10
CH - Svizzera 9
EG - Egitto 9
LT - Lituania 9
PE - Perù 8
AE - Emirati Arabi Uniti 7
CL - Cile 7
NO - Norvegia 7
PY - Paraguay 7
TN - Tunisia 7
TW - Taiwan 7
AZ - Azerbaigian 6
BG - Bulgaria 6
EU - Europa 6
IL - Israele 6
KE - Kenya 6
KZ - Kazakistan 6
NI - Nicaragua 6
NP - Nepal 6
SK - Slovacchia (Repubblica Slovacca) 6
AU - Australia 5
BO - Bolivia 5
CR - Costa Rica 5
DZ - Algeria 5
HN - Honduras 5
RO - Romania 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
GT - Guatemala 4
KG - Kirghizistan 4
PT - Portogallo 4
BB - Barbados 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
LB - Libano 3
LK - Sri Lanka 3
ME - Montenegro 3
OM - Oman 3
PR - Porto Rico 3
SY - Repubblica araba siriana 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BA - Bosnia-Erzegovina 2
BH - Bahrain 2
CI - Costa d'Avorio 2
ET - Etiopia 2
HR - Croazia 2
JO - Giordania 2
KH - Cambogia 2
LV - Lettonia 2
LY - Libia 2
MD - Moldavia 2
PA - Panama 2
SI - Slovenia 2
Totale 19.253
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.210
Ann Arbor 1.023
Ashburn 918
Fairfield 912
Houston 842
Singapore 764
Wilmington 503
Chandler 470
Jacksonville 427
Seattle 411
San Jose 394
Hong Kong 385
Cambridge 355
Beijing 338
Udine 278
Dearborn 258
Council Bluffs 248
Boardman 164
Trieste 134
Lauterbourg 114
Princeton 111
Los Angeles 109
Dallas 106
Hefei 103
Dublin 102
Ho Chi Minh City 91
The Dalles 72
Buffalo 71
Hanoi 66
Izmir 66
Seoul 62
San Diego 58
Santa Clara 56
New York 55
Ottawa 49
Warsaw 43
São Paulo 42
Helsinki 41
Redondo Beach 41
Munich 40
Ogden 40
Venice 37
Toronto 35
Malo 32
Des Moines 31
Phoenix 29
Milan 28
Rome 25
Dong Ket 24
Montreal 24
Norwalk 24
Tokyo 24
Nuremberg 23
Frankfurt am Main 22
Orem 22
Nanjing 21
Chicago 19
Atlanta 18
Boston 17
San Francisco 17
Ardabil 16
Brooklyn 16
Guangzhou 16
London 15
Rio de Janeiro 15
Turku 15
Amsterdam 14
Stockholm 14
Baghdad 13
Chennai 13
Jinan 13
Mexico City 13
Brussels 12
Falls Church 12
Lomé 12
Tashkent 12
Wuhan 12
Da Nang 11
Lappeenranta 11
Mumbai 11
Quito 11
Shanghai 11
Denver 10
Dhaka 10
Johannesburg 10
Las Vegas 10
Manchester 10
Paris 10
San Mateo 10
Casarsa della Delizia 9
Karlsruhe 9
Kingston 9
Poplar 9
Querétaro 9
Vienna 9
Aarhus 8
Augusta 8
Belo Horizonte 8
Bologna 8
Düsseldorf 8
Totale 12.496
Salva come PNG Salva come JPEG
Nome #
Systems Biology: Models and Logics 319
A graph-theoretic approach to map conceptual designs to XML schemas 315
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 298
Reachability computation for polynomial dynamical systems 272
Approximated Symbolic Computations over Hybrid Automata 241
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 225
Ackermann Encodings, Bisimulations, and OBDDs 219
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 215
Decidable Compositions of O-Minimal Automata 213
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 211
ϵ-Semantics computations on biological systems 210
Simulating Polyadic Modal Logics by Monadic Ones 208
Action Refinement in Process Algebra and Security Issues 208
A Proof System for Information Flow Security 204
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models 204
Multiset Constraints and P Systems 204
The Subgraph Bisimulation Problem 200
Unwinding biological systems 198
An Efficient Algorithm for Computing Bisimulation Equivalence 197
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 196
Simulation as Coarsest Partition Problem 195
Information flow in secure contexts 193
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 192
A process algebra for (delimited) persistent stochastic non-interference 191
Discrete Semantics for Hybrid Automata 190
A Fast Bisimulation Algorithm 188
Rank and simulation: the well-founded case 188
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 187
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface 187
Refinement Operators and Information Flow Security 186
Parallelotope bundles for polynomial reachability 186
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 186
Ackermann Encoding, Bisimulations, and OBDD's 185
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 185
Compositional information flow security for concurrent programs 182
Towards quantum programs verification: from quipper circuits to QPMC 181
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 179
Discreteness, hybrid automata, and biology 173
Composing FOCoRe Hybrid Automata 171
Systems Biology: Models and Logics 171
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 170
Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013 170
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 170
Nesting Analysis of Mobile Ambients 169
Hybrid automata, reachability, and Systems Biology 168
Towards tableau-based decision procedures for non-well-founded fragments of set theory 168
Transforming Processes to Check and Ensure Information Flow Security 168
Disunification in ACI1 Theories 167
Delimited persistent stochastic non-interference 167
Modelling Downgrading in Information Flow Security 165
Sets and Constraint Logic Programming 165
Inclusion dynamics hybrid automata 164
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 163
Stability of Hybrid Systems and Related Questions from Systems Biology 160
Secure Contexts for Confidential Data 158
CoPS - Checker of Persistent Security 157
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 157
ACI1 Constraints 155
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 155
Information Flow Security and Recursive Systems 154
Unwinding in Information Flow Security 154
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings 154
AI-enhanced blockchain technology: A review of advancements and opportunities 152
Simulation Reduction as Constraint 152
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 150
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 150
Complexity of Nesting Analysis in Mobile Ambients 150
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 150
Proofs Methods for Bisimulation Based Information Flow Security 148
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 148
Unwinding Conditions for Security in Imperative Languages 146
External Interactions on Hybrid Models of Biological Systems 146
Computing in Non Standard Set Theories 144
PicNIc - Pi-calculus Non-Interference checker 144
Model Checking, Hybrid Automata, and Systems Biology 143
Independent Dynamics Hybrid Automata in System Biology 141
Comparing Expressiveness of Set Constructor Symbols 140
Hybrid Automata in Systems Biology: How far can we go? 139
From Bisimulation to Simulation: Coarsest Partition Problems 137
Persistent stochastic non-interference 137
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) 134
Verifying Persistent Security Properties 134
External Control in Process Algebra for Systems Biology 131
Model Checking on Hybrid Automata: Theory and Application to Biological Systems 131
Parameter Synthesis Through Temporal Logic Specifications 129
Computing strongly connected components in a linear number of symbolic steps 127
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 127
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs 124
High-throughput trascriptome profiling of two peach chimeric genotypes 124
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto 121
Hyper-Extensionality and One-Node Elimination on Membership Graphs 121
Contextual Lumpability 119
Information Flow Security for Stochastic Processes 119
Rank-Based Symbolic Bisimulation (and Model Checking) 118
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP 116
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains 115
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 114
On the Representation and Management of Finite Sets in CLP-languages 112
Multiset rewriting by multiset constraint solving 109
Rank-Based Simulation on Acyclic Graphs 108
Totale 16.881
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.652
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 65.652
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022777 0 0 38 26 44 55 58 46 11 180 191 128
2022/20231.042 119 55 20 159 112 270 9 86 122 23 46 21
2023/2024554 32 21 43 43 81 49 21 45 67 40 28 84
2024/20253.198 46 167 81 101 120 124 124 130 331 301 672 1.001
2025/20264.760 315 455 413 537 629 371 507 175 282 527 347 202
2026/2027755 169 318 268 0 0 0 0 0 0 0 0 0
Totale 19.685