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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202183 0 0 0 0 0 0 0 0 0 0 0 83
2021/2022957 80 100 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.646 315 455 413 537 629 371 507 175 282 527 359 76
Totale 18.816