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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.197 0 0 0 0 173 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/20261.846 315 455 413 537 126 0 0 0 0 0 0 0
Totale 16.016