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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019790 0 0 0 0 0 0 0 0 0 144 376 270
2019/20202.702 140 99 114 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/2024429 32 21 43 43 81 49 21 45 67 27 0 0
Totale 10.847