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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.725 0 0 0 0 0 422 325 345 217 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/2025636 46 167 81 101 120 121 0 0 0 0 0 0
Totale 11.608