IRIS
PIAZZA, Carla
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.345
EU - Europa 2.470
AS - Asia 1.067
SA - Sud America 127
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 12.048
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.257
IT - Italia 725
UA - Ucraina 588
SG - Singapore 530
CN - Cina 343
DE - Germania 319
FI - Finlandia 218
RU - Federazione Russa 198
BR - Brasile 106
IE - Irlanda 102
SE - Svezia 89
CA - Canada 80
TR - Turchia 67
GB - Regno Unito 45
FR - Francia 41
PL - Polonia 32
VN - Vietnam 26
IN - India 21
NL - Olanda 19
IR - Iran 17
HK - Hong Kong 16
BE - Belgio 15
AT - Austria 13
CZ - Repubblica Ceca 12
TG - Togo 12
DK - Danimarca 11
JP - Giappone 11
HU - Ungheria 8
AR - Argentina 7
BD - Bangladesh 7
EC - Ecuador 7
EU - Europa 6
TW - Taiwan 6
CH - Svizzera 5
NO - Norvegia 5
RO - Romania 5
ZA - Sudafrica 5
EG - Egitto 4
KR - Corea 4
MX - Messico 4
PK - Pakistan 4
IL - Israele 3
MA - Marocco 3
ME - Montenegro 3
PE - Perù 3
PT - Portogallo 3
SK - Slovacchia (Repubblica Slovacca) 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AU - Australia 2
ES - Italia 2
IQ - Iraq 2
KE - Kenya 2
LK - Sri Lanka 2
PY - Paraguay 2
SA - Arabia Saudita 2
SI - Slovenia 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
BO - Bolivia 1
BY - Bielorussia 1
CM - Camerun 1
CO - Colombia 1
CR - Costa Rica 1
EE - Estonia 1
IM - Isola di Man 1
IS - Islanda 1
JM - Giamaica 1
KH - Cambogia 1
KZ - Kazakistan 1
LV - Lettonia 1
MD - Moldavia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PH - Filippine 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 12.048
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.208
Ann Arbor 1.023
Fairfield 912
Houston 832
Wilmington 501
Chandler 470
Ashburn 462
Jacksonville 421
Seattle 399
Cambridge 355
Udine 270
Dearborn 258
Singapore 232
Boardman 154
Trieste 133
Beijing 121
Princeton 111
Dublin 100
Izmir 66
San Diego 57
Ottawa 46
Ogden 40
Helsinki 32
Malo 32
Warsaw 28
Des Moines 26
Dong Ket 24
Los Angeles 24
Norwalk 24
Hefei 21
Nanjing 21
Toronto 20
Venice 20
Nuremberg 19
Ardabil 16
Guangzhou 15
New York 15
Frankfurt am Main 14
Jinan 13
Brussels 12
Hong Kong 12
Lomé 12
Falls Church 11
Phoenix 11
Shanghai 11
San Mateo 10
Wuhan 10
Karlsruhe 9
Lappeenranta 9
Milan 9
Aarhus 8
Augusta 8
Bologna 8
Düsseldorf 8
Kunming 8
Budapest 7
Cagliari 7
Council Bluffs 7
Dallas 7
Leawood 7
London 7
Monmouth Junction 7
Montreal 7
Rome 7
Staranzano 7
Urbino 7
Caserta 6
Mestre 6
Preganziol 6
Vienna 6
Amsterdam 5
Brno 5
Edinburgh 5
Nanchang 5
Paris 5
Shenzhen 5
Susegana 5
Tokyo 5
Tomblaine 5
Cairo 4
Chions 4
Fuzhou 4
Lauterbourg 4
Ludwigshafen 4
Martignacco 4
Quanzhou 4
Rivignano 4
Serra Riccò 4
Trondheim 4
Venezia 4
Verona 4
Vicenza 4
Xi'an 4
Zhengzhou 4
Zoppola 4
Zurich 4
Asagayakita 3
Berlin 3
Brasília 3
Bratislava 3
Totale 8.917
Salva come PNG Salva come JPEG
Nome #
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 200
Reachability computation for polynomial dynamical systems 191
Approximated Symbolic Computations over Hybrid Automata 181
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models 161
Decidable Compositions of O-Minimal Automata 160
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 157
ϵ-Semantics computations on biological systems 157
The Subgraph Bisimulation Problem 155
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface 153
Multiset Constraints and P Systems 150
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 148
Unwinding biological systems 148
Parallelotope bundles for polynomial reachability 147
A Proof System for Information Flow Security 146
A process algebra for (delimited) persistent stochastic non-interference 144
Action Refinement in Process Algebra and Security Issues 143
Systems Biology: Models and Logics 143
Refinement Operators and Information Flow Security 142
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 140
Compositional information flow security for concurrent programs 139
An Efficient Algorithm for Computing Bisimulation Equivalence 138
A graph-theoretic approach to map conceptual designs to XML schemas 138
Simulating Polyadic Modal Logics by Monadic Ones 134
Transforming Processes to Check and Ensure Information Flow Security 132
Disunification in ACI1 Theories 131
Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013 131
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings 131
Towards quantum programs verification: from quipper circuits to QPMC 131
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 130
Secure Contexts for Confidential Data 128
Nesting Analysis of Mobile Ambients 127
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 127
A Fast Bisimulation Algorithm 124
Delimited persistent stochastic non-interference 124
Sets and Constraint Logic Programming 124
Ackermann Encoding, Bisimulations, and OBDD's 123
Simulation as Coarsest Partition Problem 122
Information flow in secure contexts 121
Inclusion dynamics hybrid automata 120
Systems Biology: Models and Logics 119
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 119
Rank and simulation: the well-founded case 119
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 118
Complexity of Nesting Analysis in Mobile Ambients 118
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 117
Discreteness, hybrid automata, and biology 116
Towards tableau-based decision procedures for non-well-founded fragments of set theory 115
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 115
Composing FOCoRe Hybrid Automata 114
Ackermann Encodings, Bisimulations, and OBDDs 113
Proofs Methods for Bisimulation Based Information Flow Security 112
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 112
Persistent stochastic non-interference 112
Modelling Downgrading in Information Flow Security 111
Hybrid automata, reachability, and Systems Biology 111
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 111
Unwinding in Information Flow Security 110
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 110
Stability of Hybrid Systems and Related Questions from Systems Biology 110
Computing in Non Standard Set Theories 109
ACI1 Constraints 107
Discrete Semantics for Hybrid Automata 107
Comparing Expressiveness of Set Constructor Symbols 106
External Interactions on Hybrid Models of Biological Systems 106
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 106
Information Flow Security and Recursive Systems 105
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 103
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 103
External Control in Process Algebra for Systems Biology 103
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 102
Simulation Reduction as Constraint 101
CoPS - Checker of Persistent Security 101
PicNIc - Pi-calculus Non-Interference checker 101
Parameter Synthesis Through Temporal Logic Specifications 98
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 96
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 94
Unwinding Conditions for Security in Imperative Languages 93
Hybrid Automata in Systems Biology: How far can we go? 93
Model Checking, Hybrid Automata, and Systems Biology 91
Verifying Persistent Security Properties 90
Computing strongly connected components in a linear number of symbolic steps 88
Information Flow Security for Stochastic Processes 87
Rank-Based Symbolic Bisimulation (and Model Checking) 82
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 81
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 81
Hyper-Extensionality and One-Node Elimination on Membership Graphs 81
From Bisimulation to Simulation: Coarsest Partition Problems 80
Independent Dynamics Hybrid Automata in System Biology 80
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs 79
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains 79
On the Representation and Management of Finite Sets in CLP-languages 78
Contextual Lumpability 78
Multiset rewriting by multiset constraint solving 76
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 75
Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains 75
High-throughput trascriptome profiling of two peach chimeric genotypes 74
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata 71
Model Checking on Hybrid Automata: Theory and Application to Biological Systems 70
Behind Banana: Design and Implemantation of a Tool for Nesting Analysis of Mobile Ambients 69
AI-enhanced blockchain technology: A review of advancements and opportunities 66
Totale 11.488
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.589
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 41.589
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020416 0 0 0 0 0 0 0 0 0 196 60 160
2020/20211.674 49 178 77 173 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/20251.443 46 167 81 101 120 124 124 130 331 219 0 0
Totale 12.415