IRIS
PIAZZA, Carla
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.163
AS - Asia 3.661
EU - Europa 2.707
SA - Sud America 605
AF - Africa 60
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 6
Totale 16.210
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.009
SG - Singapore 2.014
IT - Italia 775
CN - Cina 739
UA - Ucraina 592
BR - Brasile 505
DE - Germania 368
HK - Hong Kong 357
FI - Finlandia 235
RU - Federazione Russa 203
VN - Vietnam 197
CA - Canada 107
IE - Irlanda 102
SE - Svezia 99
GB - Regno Unito 75
TR - Turchia 74
KR - Corea 66
IN - India 57
PL - Polonia 47
FR - Francia 45
AR - Argentina 43
BD - Bangladesh 32
MX - Messico 29
NL - Olanda 29
JP - Giappone 25
EC - Ecuador 22
IR - Iran 18
ZA - Sudafrica 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
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
AZ - Azerbaigian 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.195
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.208
Ann Arbor 1.023
Fairfield 912
Houston 834
Ashburn 653
Singapore 616
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 92
Buffalo 67
Dallas 67
Izmir 66
Ho Chi Minh City 65
Seoul 62
San Diego 57
Ottawa 48
Warsaw 42
Hanoi 41
Redondo Beach 41
Munich 40
Ogden 40
New York 38
São Paulo 38
Helsinki 33
Malo 32
Des Moines 31
Toronto 30
Venice 30
Dong Ket 24
Norwalk 24
Nanjing 21
Nuremberg 21
Tokyo 18
Montreal 17
Phoenix 17
Ardabil 16
Frankfurt am Main 16
Guangzhou 15
Turku 15
Boston 14
Amsterdam 13
Jinan 13
London 13
Rome 13
Stockholm 13
Brooklyn 12
Brussels 12
Lomé 12
Santa Clara 12
Chennai 11
Falls Church 11
San Francisco 11
Shanghai 11
The Dalles 11
Wuhan 11
Lappeenranta 10
Milan 10
Rio de Janeiro 10
San Mateo 10
Johannesburg 9
Karlsruhe 9
Mumbai 9
Poplar 9
Querétaro 9
Aarhus 8
Atlanta 8
Augusta 8
Bologna 8
Düsseldorf 8
Kunming 8
Mexico City 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
Orem 7
Paris 7
Staranzano 7
Urbino 7
Vienna 7
Biên Hòa 6
Totale 10.829
Salva come PNG Salva come JPEG
Nome #
Systems Biology: Models and Logics 299
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 211
ϵ-Semantics computations on biological systems 194
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 192
Decidable Compositions of O-Minimal Automata 189
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models 188
Multiset Constraints and P Systems 187
The Subgraph Bisimulation Problem 184
Ackermann Encodings, Bisimulations, and OBDDs 184
An Efficient Algorithm for Computing Bisimulation Equivalence 180
A Proof System for Information Flow Security 179
A graph-theoretic approach to map conceptual designs to XML schemas 179
Action Refinement in Process Algebra and Security Issues 176
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface 173
Refinement Operators and Information Flow Security 170
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
Rank and simulation: the well-founded case 166
A process algebra for (delimited) persistent stochastic non-interference 166
A Fast Bisimulation Algorithm 165
Unwinding biological systems 163
Simulating Polyadic Modal Logics by Monadic Ones 162
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 160
Systems Biology: Models and Logics 160
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 159
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
Ackermann Encoding, Bisimulations, and OBDD's 157
Delimited persistent stochastic non-interference 157
Nesting Analysis of Mobile Ambients 153
Towards quantum programs verification: from quipper circuits to QPMC 153
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 152
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
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 147
Discrete Semantics for Hybrid Automata 146
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 146
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
Sets and Constraint Logic Programming 140
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 138
Inclusion dynamics hybrid automata 138
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 138
Information Flow Security and Recursive Systems 137
Complexity of Nesting Analysis in Mobile Ambients 137
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 136
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 135
Simulation Reduction as Constraint 134
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 134
ACI1 Constraints 132
Proofs Methods for Bisimulation Based Information Flow Security 131
External Interactions on Hybrid Models of Biological Systems 130
Persistent stochastic non-interference 130
Model Checking, Hybrid Automata, and Systems Biology 129
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 129
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
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 112
AI-enhanced blockchain technology: A review of advancements and opportunities 111
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 104
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) 101
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.605
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.181
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.181
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.410 315 455 413 537 629 61 0 0 0 0 0 0
Totale 16.580