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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.349 0 0 0 408 216 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/2025310 46 167 81 16 0 0 0 0 0 0 0 0
Totale 11.282