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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020160 0 0 0 0 0 0 0 0 0 0 0 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/20252.249 46 167 81 101 120 124 124 130 331 301 672 52
Totale 13.221