IRIS
PIAZZA, Carla
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.188
AS - Asia 3.684
EU - Europa 2.712
SA - Sud America 610
AF - Africa 61
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 6
Totale 16.269
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.031
SG - Singapore 2.028
IT - Italia 778
CN - Cina 742
UA - Ucraina 592
BR - Brasile 509
DE - Germania 368
HK - Hong Kong 357
FI - Finlandia 236
RU - Federazione Russa 203
VN - Vietnam 202
CA - Canada 110
IE - Irlanda 102
SE - Svezia 100
GB - Regno Unito 75
TR - Turchia 74
KR - Corea 66
IN - India 57
PL - Polonia 47
FR - Francia 45
AR - Argentina 44
BD - Bangladesh 32
MX - Messico 29
NL - Olanda 29
JP - Giappone 25
EC - Ecuador 22
ZA - Sudafrica 19
IR - Iran 18
AT - Austria 16
BE - Belgio 15
ES - Italia 15
DK - Danimarca 14
CZ - Repubblica Ceca 13
ID - Indonesia 12
TG - Togo 12
PK - Pakistan 11
HU - Ungheria 9
IQ - Iraq 9
CH - Svizzera 8
LT - Lituania 8
MA - Marocco 8
CO - Colombia 7
PY - Paraguay 7
EG - Egitto 6
EU - Europa 6
PE - Perù 6
SK - Slovacchia (Repubblica Slovacca) 6
TW - Taiwan 6
VE - Venezuela 6
IL - Israele 5
NO - Norvegia 5
RO - Romania 5
UZ - Uzbekistan 5
AU - Australia 4
BG - Bulgaria 4
KZ - Kazakistan 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
BO - Bolivia 3
CL - Cile 3
JM - Giamaica 3
KE - Kenya 3
LK - Sri Lanka 3
ME - Montenegro 3
NP - Nepal 3
PT - Portogallo 3
SA - Arabia Saudita 3
TN - Tunisia 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BH - Bahrain 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
LV - Lettonia 2
MY - Malesia 2
SI - Slovenia 2
SN - Senegal 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
DZ - Algeria 1
EE - Estonia 1
GH - Ghana 1
GN - Guinea 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 1
IM - Isola di Man 1
IS - Islanda 1
JO - Giordania 1
Totale 16.254
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.208
Ann Arbor 1.023
Fairfield 912
Houston 835
Ashburn 656
Singapore 630
Wilmington 501
Chandler 470
Jacksonville 424
Seattle 407
Cambridge 355
Hong Kong 353
Beijing 322
Udine 275
Dearborn 258
Boardman 154
Trieste 133
Princeton 111
Hefei 103
Dublin 100
Los Angeles 93
Dallas 69
Buffalo 67
Ho Chi Minh City 67
Izmir 66
Seoul 62
San Diego 57
Ottawa 48
Warsaw 42
Hanoi 41
Redondo Beach 41
Munich 40
Ogden 40
New York 39
São Paulo 39
Helsinki 33
Malo 32
Des Moines 31
Toronto 31
Venice 30
Dong Ket 24
Norwalk 24
Nanjing 21
Nuremberg 21
Montreal 19
Phoenix 19
Tokyo 18
Ardabil 16
Frankfurt am Main 16
Guangzhou 15
Turku 15
Boston 14
Rome 14
Stockholm 14
Amsterdam 13
Brooklyn 13
Jinan 13
London 13
Brussels 12
Lomé 12
Santa Clara 12
Chennai 11
Falls Church 11
Lappeenranta 11
Milan 11
San Francisco 11
Shanghai 11
The Dalles 11
Wuhan 11
Rio de Janeiro 10
San Mateo 10
Atlanta 9
Johannesburg 9
Karlsruhe 9
Mumbai 9
Poplar 9
Querétaro 9
Aarhus 8
Augusta 8
Bologna 8
Düsseldorf 8
Kunming 8
Mexico City 8
Orem 8
Rivignano 8
Belo Horizonte 7
Budapest 7
Cagliari 7
Council Bluffs 7
Curitiba 7
Denver 7
Dhaka 7
Guarulhos 7
Leawood 7
Monmouth Junction 7
Paris 7
Staranzano 7
Urbino 7
Vienna 7
Biên Hòa 6
Totale 10.866
Salva come PNG Salva come JPEG
Nome #
Systems Biology: Models and Logics 300
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 274
Reachability computation for polynomial dynamical systems 225
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 215
Approximated Symbolic Computations over Hybrid Automata 212
ϵ-Semantics computations on biological systems 194
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 193
Decidable Compositions of O-Minimal Automata 189
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models 189
Multiset Constraints and P Systems 187
Ackermann Encodings, Bisimulations, and OBDDs 186
The Subgraph Bisimulation Problem 184
An Efficient Algorithm for Computing Bisimulation Equivalence 181
A Proof System for Information Flow Security 180
A graph-theoretic approach to map conceptual designs to XML schemas 180
Action Refinement in Process Algebra and Security Issues 177
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface 173
Refinement Operators and Information Flow Security 171
Rank and simulation: the well-founded case 168
Parallelotope bundles for polynomial reachability 168
Simulation as Coarsest Partition Problem 167
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 167
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 167
A process algebra for (delimited) persistent stochastic non-interference 167
A Fast Bisimulation Algorithm 166
Unwinding biological systems 164
Simulating Polyadic Modal Logics by Monadic Ones 162
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 161
Ackermann Encoding, Bisimulations, and OBDD's 160
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 160
Systems Biology: Models and Logics 160
Compositional information flow security for concurrent programs 159
Information flow in secure contexts 158
Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013 158
Delimited persistent stochastic non-interference 157
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 155
Nesting Analysis of Mobile Ambients 153
Towards quantum programs verification: from quipper circuits to QPMC 153
Disunification in ACI1 Theories 152
Transforming Processes to Check and Ensure Information Flow Security 152
Towards tableau-based decision procedures for non-well-founded fragments of set theory 150
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 150
Hybrid automata, reachability, and Systems Biology 149
Discreteness, hybrid automata, and biology 149
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 148
Discrete Semantics for Hybrid Automata 147
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 147
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 145
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings 144
Modelling Downgrading in Information Flow Security 143
Composing FOCoRe Hybrid Automata 142
Stability of Hybrid Systems and Related Questions from Systems Biology 142
Unwinding in Information Flow Security 141
Secure Contexts for Confidential Data 141
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 140
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 140
Sets and Constraint Logic Programming 140
Complexity of Nesting Analysis in Mobile Ambients 138
Inclusion dynamics hybrid automata 138
Information Flow Security and Recursive Systems 137
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 137
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 135
Simulation Reduction as Constraint 134
ACI1 Constraints 134
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 134
Proofs Methods for Bisimulation Based Information Flow Security 131
Persistent stochastic non-interference 131
Model Checking, Hybrid Automata, and Systems Biology 130
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 130
External Interactions on Hybrid Models of Biological Systems 130
CoPS - Checker of Persistent Security 129
Comparing Expressiveness of Set Constructor Symbols 128
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 128
Unwinding Conditions for Security in Imperative Languages 127
Independent Dynamics Hybrid Automata in System Biology 127
Verifying Persistent Security Properties 123
Hybrid Automata in Systems Biology: How far can we go? 123
External Control in Process Algebra for Systems Biology 122
Computing in Non Standard Set Theories 121
PicNIc - Pi-calculus Non-Interference checker 120
AI-enhanced blockchain technology: A review of advancements and opportunities 116
Parameter Synthesis Through Temporal Logic Specifications 115
From Bisimulation to Simulation: Coarsest Partition Problems 114
Model Checking on Hybrid Automata: Theory and Application to Biological Systems 113
Computing strongly connected components in a linear number of symbolic steps 110
Information Flow Security for Stochastic Processes 110
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 107
High-throughput trascriptome profiling of two peach chimeric genotypes 105
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) 103
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs 101
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains 101
On the Representation and Management of Finite Sets in CLP-languages 100
Rank-Based Symbolic Bisimulation (and Model Checking) 100
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 99
Contextual Lumpability 99
Hyper-Extensionality and One-Node Elimination on Membership Graphs 99
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto 95
Multiset rewriting by multiset constraint solving 92
Rank-Based Simulation on Acyclic Graphs 92
Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains 92
Totale 14.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.354
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 55.354
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.024 0 0 0 0 0 269 66 160 199 68 179 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/20262.469 315 455 413 537 629 120 0 0 0 0 0 0
Totale 16.639