IRIS
PIAZZA, Carla
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.362
AS - Asia 4.510
EU - Europa 3.003
SA - Sud America 705
AF - Africa 88
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 7
Totale 18.684
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.151
SG - Singapore 2.358
CN - Cina 907
IT - Italia 863
UA - Ucraina 594
BR - Brasile 554
HK - Hong Kong 392
DE - Germania 385
VN - Vietnam 299
FI - Finlandia 244
RU - Federazione Russa 208
FR - Francia 172
CA - Canada 127
IE - Irlanda 104
SE - Svezia 101
GB - Regno Unito 91
IN - India 86
TR - Turchia 84
BD - Bangladesh 80
AR - Argentina 66
KR - Corea 66
PL - Polonia 50
MX - Messico 37
JP - Giappone 34
NL - Olanda 31
IQ - Iraq 29
EC - Ecuador 28
PK - Pakistan 27
ZA - Sudafrica 24
ES - Italia 20
ID - Indonesia 18
IR - Iran 18
AT - Austria 17
BE - Belgio 15
CO - Colombia 15
DK - Danimarca 15
JM - Giamaica 15
CZ - Repubblica Ceca 14
UZ - Uzbekistan 14
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
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
SK - Slovacchia (Repubblica Slovacca) 6
AU - Australia 5
DZ - Algeria 5
NP - Nepal 5
RO - Romania 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
BO - Bolivia 4
GT - Guatemala 4
KG - Kirghizistan 4
NI - Nicaragua 4
PT - Portogallo 4
BY - Bielorussia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
HN - Honduras 3
LB - Libano 3
LK - Sri Lanka 3
ME - Montenegro 3
OM - Oman 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
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.658
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.209
Ann Arbor 1.023
Fairfield 912
Houston 839
Ashburn 786
Singapore 763
Wilmington 503
Chandler 470
Jacksonville 426
Seattle 411
Hong Kong 382
Cambridge 355
San Jose 349
Beijing 336
Udine 278
Dearborn 258
Boardman 164
Council Bluffs 139
Trieste 134
Lauterbourg 114
Princeton 111
Dallas 105
Hefei 103
Los Angeles 103
Dublin 102
Ho Chi Minh City 91
Buffalo 71
The Dalles 69
Hanoi 66
Izmir 66
Seoul 62
San Diego 57
New York 54
Ottawa 48
Santa Clara 47
Warsaw 43
São Paulo 42
Helsinki 41
Redondo Beach 41
Munich 40
Ogden 40
Venice 37
Toronto 33
Malo 32
Des Moines 31
Dong Ket 24
Norwalk 24
Rome 24
Tokyo 24
Montreal 23
Nuremberg 23
Frankfurt am Main 22
Orem 22
Phoenix 22
Nanjing 21
Atlanta 18
Milan 18
Boston 17
Ardabil 16
Brooklyn 16
Guangzhou 16
San Francisco 16
London 15
Turku 15
Amsterdam 14
Chicago 14
Stockholm 14
Baghdad 13
Chennai 13
Jinan 13
Rio de Janeiro 13
Brussels 12
Falls Church 12
Lomé 12
Mexico City 12
Tashkent 12
Wuhan 12
Da Nang 11
Lappeenranta 11
Mumbai 11
Shanghai 11
Denver 10
Dhaka 10
Johannesburg 10
Manchester 10
Quito 10
San Mateo 10
Casarsa della Delizia 9
Karlsruhe 9
Poplar 9
Querétaro 9
Vienna 9
Aarhus 8
Augusta 8
Belo Horizonte 8
Bologna 8
Düsseldorf 8
Guarulhos 8
Hyderabad 8
Kunming 8
Totale 12.141
Salva come PNG Salva come JPEG
Nome #
Systems Biology: Models and Logics 315
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 292
Reachability computation for polynomial dynamical systems 268
Approximated Symbolic Computations over Hybrid Automata 235
A graph-theoretic approach to map conceptual designs to XML schemas 223
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 223
Ackermann Encodings, Bisimulations, and OBDDs 213
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 209
Decidable Compositions of O-Minimal Automata 208
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 206
ϵ-Semantics computations on biological systems 205
Action Refinement in Process Algebra and Security Issues 203
A Proof System for Information Flow Security 202
Simulating Polyadic Modal Logics by Monadic Ones 201
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
Unwinding biological systems 194
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 193
A process algebra for (delimited) persistent stochastic non-interference 189
Information flow in secure contexts 187
Simulation as Coarsest Partition Problem 187
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 187
Rank and simulation: the well-founded case 187
Discrete Semantics for Hybrid Automata 186
Refinement Operators and Information Flow Security 183
A Fast Bisimulation Algorithm 183
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface 183
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 183
Parallelotope bundles for polynomial reachability 182
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 181
Ackermann Encoding, Bisimulations, and OBDD's 180
Compositional information flow security for concurrent programs 179
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 178
Towards quantum programs verification: from quipper circuits to QPMC 177
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 177
Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013 170
Systems Biology: Models and Logics 170
Discreteness, hybrid automata, and biology 169
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 168
Nesting Analysis of Mobile Ambients 167
Composing FOCoRe Hybrid Automata 167
Disunification in ACI1 Theories 165
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 165
Transforming Processes to Check and Ensure Information Flow Security 165
Towards tableau-based decision procedures for non-well-founded fragments of set theory 164
Modelling Downgrading in Information Flow Security 163
Hybrid automata, reachability, and Systems Biology 163
Delimited persistent stochastic non-interference 163
Sets and Constraint Logic Programming 162
Inclusion dynamics hybrid automata 160
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 159
Stability of Hybrid Systems and Related Questions from Systems Biology 159
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 155
CoPS - Checker of Persistent Security 154
Secure Contexts for Confidential Data 153
Information Flow Security and Recursive Systems 151
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
Unwinding in Information Flow Security 150
AI-enhanced blockchain technology: A review of advancements and opportunities 149
ACI1 Constraints 149
Simulation Reduction as Constraint 148
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 147
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 147
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 146
Complexity of Nesting Analysis in Mobile Ambients 146
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 145
Proofs Methods for Bisimulation Based Information Flow Security 144
External Interactions on Hybrid Models of Biological Systems 144
Unwinding Conditions for Security in Imperative Languages 141
Computing in Non Standard Set Theories 139
Model Checking, Hybrid Automata, and Systems Biology 139
Independent Dynamics Hybrid Automata in System Biology 138
Hybrid Automata in Systems Biology: How far can we go? 137
PicNIc - Pi-calculus Non-Interference checker 137
Comparing Expressiveness of Set Constructor Symbols 136
Persistent stochastic non-interference 136
From Bisimulation to Simulation: Coarsest Partition Problems 134
Verifying Persistent Security Properties 131
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) 130
External Control in Process Algebra for Systems Biology 130
Model Checking on Hybrid Automata: Theory and Application to Biological Systems 128
Parameter Synthesis Through Temporal Logic Specifications 126
Computing strongly connected components in a linear number of symbolic steps 125
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 122
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
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto 116
Rank-Based Symbolic Bisimulation (and Model Checking) 116
Information Flow Security for Stochastic Processes 116
Contextual Lumpability 115
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP 112
Hyper-Extensionality and One-Node Elimination on Membership Graphs 112
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 110
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains 109
On the Representation and Management of Finite Sets in CLP-languages 108
Multiset rewriting by multiset constraint solving 105
Rank-Based Simulation on Acyclic Graphs 105
Totale 16.409
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.199
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 63.199
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.760 315 455 413 537 629 371 507 175 282 527 347 202
2026/2027151 151 0 0 0 0 0 0 0 0 0 0 0
Totale 19.081