TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.952
EU - Europa 3.813
AS - Asia 1.529
SA - Sud America 55
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 10
AF - Africa 1
Totale 12.374
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.729
CN - Cina 1.041
RU - Federazione Russa 974
IT - Italia 678
PL - Polonia 651
DE - Germania 334
UA - Ucraina 268
SG - Singapore 255
CA - Canada 215
FR - Francia 207
SE - Svezia 204
GB - Regno Unito 155
FI - Finlandia 121
VN - Vietnam 80
TR - Turchia 71
IE - Irlanda 58
BE - Belgio 46
BR - Brasile 42
CZ - Repubblica Ceca 30
IN - India 22
AT - Austria 20
AU - Australia 14
NL - Olanda 14
IR - Iran 13
NO - Norvegia 12
EU - Europa 10
KG - Kirghizistan 8
RO - Romania 8
MX - Messico 7
RS - Serbia 7
AR - Argentina 5
HK - Hong Kong 5
KR - Corea 5
ES - Italia 4
TW - Taiwan 4
BD - Bangladesh 3
CO - Colombia 3
EE - Estonia 3
JP - Giappone 3
PT - Portogallo 3
SK - Slovacchia (Repubblica Slovacca) 3
AL - Albania 2
AZ - Azerbaigian 2
CL - Cile 2
GR - Grecia 2
IQ - Iraq 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
SI - Slovenia 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
CH - Svizzera 1
DK - Danimarca 1
EC - Ecuador 1
GE - Georgia 1
ID - Indonesia 1
IL - Israele 1
IM - Isola di Man 1
JM - Giamaica 1
JO - Giordania 1
LU - Lussemburgo 1
LV - Lettonia 1
MY - Malesia 1
OM - Oman 1
PK - Pakistan 1
PY - Paraguay 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 12.374
Salva come PNG Salva come JPEG
Città #
Woodbridge 728
Fairfield 686
Jacksonville 628
Ashburn 474
Chandler 442
Warsaw 417
Houston 401
Ann Arbor 371
Wilmington 353
Seattle 330
Boardman 272
Dearborn 231
Kraków 224
Cambridge 212
Nanjing 200
Toronto 156
New York 149
Singapore 131
Beijing 110
San Mateo 91
Princeton 83
Dong Ket 80
Lawrence 80
Nanchang 76
Columbus 75
Centro 68
Camerino 67
Ogden 65
Istanbul 64
Moscow 60
Helsinki 56
Dublin 55
Guangzhou 55
Shanghai 55
Kunming 51
Lachine 48
Brussels 44
San Diego 40
Hebei 39
Bremen 36
Hefei 34
Macerata 34
Jiaxing 33
Shenyang 31
London 29
Los Angeles 29
Rome 28
Tianjin 28
Milan 27
Wuhan 27
Council Bluffs 23
Nuremberg 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
Oslo 10
Philadelphia 10
Vienna 10
Ardabil 9
Augusta 9
Fuzhou 9
Matelica 9
Norwalk 9
Santa Clara 9
Changchun 8
Frankfurt am Main 8
Indiana 8
Monmouth Junction 8
Zhengzhou 8
Chicago 7
Lanzhou 7
Nürnberg 7
Sydney 7
Tappahannock 7
Belgrade 6
Cleveland 6
Düsseldorf 6
Munich 6
Ottawa 6
Yiwu 6
Berlin 5
Austin 4
Bishkek 4
Dalian 4
Edinburgh 4
Totale 8.624
Salva come PNG Salva come JPEG
Nome #
Adaptability checking in complex systems 307
null 286
A Constrained ECA Language Supporting Formal Verification of WSNs 266
Detecting Synchronisation of Biological Oscillators by Model Checking 251
null 232
Topological Characterization of Complex Systems: Using Persistent Entropy 231
An algebraic language for RNA pseudoknots comparison 224
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 214
null 208
An algebraic representation for tree alignment of RNA pseudoknotted structures. 205
Towards a Shape Language for Interpreting RNA Folding 198
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 197
Probabilistic Modelling and Analysis of a Fish Population 193
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 190
A Graph Grammar for Modelling RNA Folding 186
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 185
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 184
Agent-Based Models of Cellular Systems 183
null 179
Survey of TOPDRIM applications of Topological Data Analysis 178
Quality of service in e-Government underlines the role of information usability 177
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 174
A model-prover for constrained dynamic conversations 173
A multi-level model for self-adaptive systems 173
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 173
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 172
Timed automata with urgent transitions 169
Encoding Timed Models as Uniform Labeled Transition Systems 169
An Individual-based Probabilistic Model for Fish Stock Simulation 167
Spatial P Systems 167
null 163
A formal language for classifying RNA secondary structures 161
BIOSHAPE: End-User Development for Simulating Biological Systems 156
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 155
Multiscale Bone Remodelling with Spatial P Systems 153
An Individual-based Probabilistic Model for Fish Stock Simulation 152
A Shape Calculus for Biological Processes 150
Shape Calculus: Timed Operational Semantics and Well-Formedness 147
Fixing the Java bytecode verifier by a suitable type domain 144
Uniformity in Multiscale Models: From Complex Automata to BioShape 142
Timed Automata with Urgent Transitions 140
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 140
Timed P Automata 135
Timed process calculi: from durationless actions to durational ones 134
Adaptability Checking in Multi-Level Complex Systems 131
A Spatial Simulator for Metabolic Pathways 128
Timed P Automata 124
null 124
Topological classifier for detecting the emergence of epileptic seizures 124
null 124
Ecological Modelling and Analysis of Contaminant in the Marine Environment 121
A spatial model and simulator for metabolic pathways 119
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 118
Timed Automata with non-Instantaneous Actions 115
Spatial Multiscale Agent-Based Fish Behavioural Model 114
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 114
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 112
A Persistent Entropy Automaton for the Dow Jones Stock Market 112
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 111
Using SKOS to formalize parameter estimation in systems biology 111
A Notion of Non-Interference for Timed Automata 110
Abstract Interpretation Against Races 110
Reversible Graph Grammar for RNA 110
Alignment tree for RNA pseudoknots 110
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 109
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 109
null 107
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 106
A Decidable Notion of Timed Non-Interference 106
Defining Policies for Management Strategy Evaluation in DISPAS 105
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 104
Shape Calculus: A spatial calculus for 3D colliding shapes 104
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 104
Prediction and modelling of RNA structure and interactions 98
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 97
A Decidable Notion of Timed Non-Interference 96
null 88
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 78
null 75
null 70
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 68
Bone Remodelling in BioShape 66
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 64
A Uniform Multiscale Meta-model of BioShape 61
Model Checking Biological Oscillators 60
Automatic generation of pseudoknotted RNAs taxonomy 57
Towards Abstraction-Based Verification of Shape Calculus 54
Associate Editor 53
Timed Operational Semantics and Well-Formedness of Shape Calculus 50
Multiscale Bone Remodelling with Spatial P Systems 49
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 48
Computational modelling and data-driven techniques for systems analysis 31
Persistent Homology Analysis of RNA 28
Totale 12.670
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.525
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 48.525
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020497 0 0 0 0 0 0 0 0 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/20251.956 103 128 190 99 79 149 343 707 158 0 0 0
Totale 12.670