TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.854
EU - Europa 2.737
AS - Asia 1.362
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 10
SA - Sud America 7
Totale 10.982
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.644
CN - Cina 1.024
IT - Italia 654
PL - Polonia 650
DE - Germania 303
UA - Ucraina 266
FR - Francia 205
CA - Canada 203
SE - Svezia 203
GB - Regno Unito 148
SG - Singapore 132
FI - Finlandia 119
VN - Vietnam 80
TR - Turchia 70
IE - Irlanda 58
BE - Belgio 45
CZ - Repubblica Ceca 30
IN - India 22
IR - Iran 13
AU - Australia 12
NO - Norvegia 11
EU - Europa 10
NL - Olanda 8
RO - Romania 8
AT - Austria 6
MX - Messico 6
RS - Serbia 6
RU - Federazione Russa 5
AR - Argentina 4
ES - Italia 4
KG - Kirghizistan 4
KR - Corea 4
TW - Taiwan 4
BD - Bangladesh 3
JP - Giappone 3
CL - Cile 2
HK - Hong Kong 2
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
JM - Giamaica 1
LT - Lituania 1
LU - Lussemburgo 1
OM - Oman 1
PT - Portogallo 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 10.982
Salva come PNG Salva come JPEG
Città #
Woodbridge 728
Fairfield 686
Jacksonville 628
Ashburn 471
Chandler 442
Warsaw 417
Houston 401
Ann Arbor 371
Wilmington 353
Seattle 330
Boardman 271
Dearborn 231
Kraków 224
Cambridge 212
Nanjing 200
New York 149
Toronto 149
Beijing 110
San Mateo 91
Singapore 89
Princeton 83
Dong Ket 80
Lawrence 80
Nanchang 76
Columbus 75
Centro 68
Ogden 65
Istanbul 64
Camerino 62
Dublin 55
Guangzhou 55
Helsinki 55
Shanghai 53
Kunming 51
Lachine 48
Brussels 43
San Diego 40
Hebei 39
Bremen 36
Hefei 34
Jiaxing 33
Macerata 32
Shenyang 31
Los Angeles 27
Tianjin 27
Wuhan 27
London 26
Milan 23
Rome 23
Leawood 20
Redwood City 19
Changsha 17
Jinan 17
Olomouc 17
Verona 17
Orange 16
Hangzhou 14
Ningbo 14
Sefro 14
Venezia 14
Jinhua 13
Pune 13
Washington 13
Ancona 11
Auburn Hills 10
Brno 10
Falls Church 10
Philadelphia 10
Ardabil 9
Augusta 9
Fuzhou 9
Matelica 9
Norwalk 9
Oslo 9
Changchun 8
Indiana 8
Monmouth Junction 8
Santa Clara 8
Zhengzhou 8
Chicago 7
Lanzhou 7
Nürnberg 7
Sydney 7
Tappahannock 7
Cleveland 6
Düsseldorf 6
Munich 6
Yiwu 6
Belgrade 5
Berlin 5
Austin 4
Edinburgh 4
Foggia 4
Frankfurt am Main 4
Hanover 4
Heze 4
Jesi 4
Kocaeli 4
Longueuil 4
Mirabella Eclano 4
Totale 8.436
Salva come PNG Salva come JPEG
Nome #
Adaptability checking in complex systems 297
null 286
A Constrained ECA Language Supporting Formal Verification of WSNs 245
null 232
Detecting Synchronisation of Biological Oscillators by Model Checking 229
Topological Characterization of Complex Systems: Using Persistent Entropy 214
null 208
An algebraic language for RNA pseudoknots comparison 206
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 199
An algebraic representation for tree alignment of RNA pseudoknotted structures. 184
Towards a Shape Language for Interpreting RNA Folding 182
Probabilistic Modelling and Analysis of a Fish Population 181
null 179
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 176
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 173
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 169
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 166
Quality of service in e-Government underlines the role of information usability 164
null 163
Agent-Based Models of Cellular Systems 160
A Graph Grammar for Modelling RNA Folding 160
Encoding Timed Models as Uniform Labeled Transition Systems 160
Timed automata with urgent transitions 159
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 159
Spatial P Systems 155
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 152
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 152
A model-prover for constrained dynamic conversations 151
A multi-level model for self-adaptive systems 150
An Individual-based Probabilistic Model for Fish Stock Simulation 149
Survey of TOPDRIM applications of Topological Data Analysis 149
Multiscale Bone Remodelling with Spatial P Systems 143
Fixing the Java bytecode verifier by a suitable type domain 136
A Shape Calculus for Biological Processes 134
An Individual-based Probabilistic Model for Fish Stock Simulation 133
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 133
BIOSHAPE: End-User Development for Simulating Biological Systems 132
Uniformity in Multiscale Models: From Complex Automata to BioShape 131
Timed Automata with Urgent Transitions 129
Shape Calculus: Timed Operational Semantics and Well-Formedness 128
Timed P Automata 126
Timed process calculi: from durationless actions to durational ones 125
A formal language for classifying RNA secondary structures 124
null 124
null 124
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 116
Timed P Automata 114
Adaptability Checking in Multi-Level Complex Systems 112
A Spatial Simulator for Metabolic Pathways 109
null 107
Topological classifier for detecting the emergence of epileptic seizures 106
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 103
A spatial model and simulator for metabolic pathways 103
Timed Automata with non-Instantaneous Actions 103
Ecological Modelling and Analysis of Contaminant in the Marine Environment 102
Using SKOS to formalize parameter estimation in systems biology 99
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 95
Abstract Interpretation Against Races 94
Spatial Multiscale Agent-Based Fish Behavioural Model 94
Alignment tree for RNA pseudoknots 94
A Persistent Entropy Automaton for the Dow Jones Stock Market 94
A Notion of Non-Interference for Timed Automata 93
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 93
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 93
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 93
Reversible Graph Grammar for RNA 93
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 91
Defining Policies for Management Strategy Evaluation in DISPAS 91
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 90
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 89
null 88
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 88
Shape Calculus: A spatial calculus for 3D colliding shapes 87
A Decidable Notion of Timed Non-Interference 87
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 86
Prediction and modelling of RNA structure and interactions 82
A Decidable Notion of Timed Non-Interference 81
null 75
null 70
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 68
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 49
Associate Editor 46
A Uniform Multiscale Meta-model of BioShape 44
Model Checking Biological Oscillators 43
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 42
Multiscale Bone Remodelling with Spatial P Systems 37
Automatic generation of pseudoknotted RNAs taxonomy 36
Bone Remodelling in BioShape 36
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 34
Towards Abstraction-Based Verification of Shape Calculus 30
Timed Operational Semantics and Well-Formedness of Shape Calculus 28
Computational modelling and data-driven techniques for systems analysis 24
Persistent Homology Analysis of RNA 13
Totale 11.276
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.015
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 44.015
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.465 0 0 0 0 120 296 242 310 146 134 63 154
2020/20211.843 67 206 102 194 84 166 198 55 151 91 306 223
2021/2022918 79 230 21 36 43 45 36 50 67 97 115 99
2022/20231.181 117 15 55 186 141 181 3 78 236 63 71 35
2023/20241.110 116 52 79 27 44 250 68 58 93 27 25 271
2024/2025562 103 128 190 99 42 0 0 0 0 0 0 0
Totale 11.276