TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.192
EU - Europa 4.158
AS - Asia 2.975
SA - Sud America 283
AF - Africa 29
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 10
Totale 15.663
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.885
CN - Cina 1.325
RU - Federazione Russa 979
IT - Italia 745
SG - Singapore 742
PL - Polonia 679
DE - Germania 403
HK - Hong Kong 335
UA - Ucraina 272
CA - Canada 267
BR - Brasile 236
SE - Svezia 217
FR - Francia 213
GB - Regno Unito 206
VN - Vietnam 183
FI - Finlandia 155
KR - Corea 93
TR - Turchia 89
IE - Irlanda 59
IN - India 59
BE - Belgio 46
CZ - Repubblica Ceca 33
MX - Messico 33
ES - Italia 30
AT - Austria 29
JP - Giappone 25
NL - Olanda 24
BD - Bangladesh 22
AR - Argentina 21
AU - Australia 16
ZA - Sudafrica 16
IR - Iran 15
IQ - Iraq 14
NO - Norvegia 12
LT - Lituania 11
EU - Europa 10
ID - Indonesia 10
KG - Kirghizistan 8
RO - Romania 8
EC - Ecuador 7
RS - Serbia 7
SI - Slovenia 7
PK - Pakistan 6
AE - Emirati Arabi Uniti 5
CO - Colombia 5
IL - Israele 5
SA - Arabia Saudita 5
TW - Taiwan 5
VE - Venezuela 5
CL - Cile 4
SK - Slovacchia (Repubblica Slovacca) 4
UZ - Uzbekistan 4
EE - Estonia 3
MA - Marocco 3
NP - Nepal 3
PT - Portogallo 3
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
EG - Egitto 2
GR - Grecia 2
HN - Honduras 2
HR - Croazia 2
JO - Giordania 2
KE - Kenya 2
KW - Kuwait 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
MY - Malesia 2
PE - Perù 2
TG - Togo 2
UY - Uruguay 2
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BS - Bahamas 1
CH - Svizzera 1
DK - Danimarca 1
DZ - Algeria 1
GE - Georgia 1
IM - Isola di Man 1
JM - Giamaica 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
MN - Mongolia 1
NG - Nigeria 1
OM - Oman 1
PH - Filippine 1
PR - Porto Rico 1
PY - Paraguay 1
QA - Qatar 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 15.663
Salva come PNG Salva come JPEG
Città #
Woodbridge 728
Fairfield 686
Ashburn 679
Jacksonville 628
Warsaw 443
Chandler 442
Houston 407
Ann Arbor 371
Singapore 364
Wilmington 354
Hong Kong 333
Seattle 332
Boardman 273
Dearborn 231
Kraków 224
Cambridge 212
Nanjing 200
New York 198
Beijing 190
Toronto 163
The Dalles 151
Dallas 144
Los Angeles 112
Columbus 94
San Mateo 91
Seoul 89
Princeton 83
Tongling 82
Dong Ket 80
Lawrence 80
Nanchang 76
Camerino 71
Centro 68
Ogden 66
Istanbul 65
Moscow 61
Guangzhou 58
Shanghai 58
Dublin 56
Helsinki 56
Munich 52
Kunming 51
Buffalo 48
Lachine 48
Brussels 44
London 44
Council Bluffs 40
San Diego 40
Hebei 39
Ho Chi Minh City 39
Bremen 36
Milan 35
Hefei 34
Macerata 34
Turku 34
Jiaxing 33
São Paulo 33
Rome 32
Santa Clara 32
Shenyang 31
Montreal 29
Tianjin 29
Hanoi 27
Phoenix 27
Wuhan 27
Brooklyn 23
Nuremberg 23
Tokyo 23
Chicago 21
Leawood 20
Olomouc 20
Redwood City 19
Changsha 18
Jinan 18
Denver 17
Orem 17
Verona 17
Chennai 16
Orange 16
Vienna 16
Frankfurt am Main 15
Stockholm 15
Atlanta 14
Hangzhou 14
Ningbo 14
Sefro 14
Venezia 14
Ankara 13
Boston 13
Jinhua 13
Johannesburg 13
Pune 13
Washington 13
Ancona 12
Philadelphia 12
Poplar 12
Fuzhou 11
Manchester 11
Querétaro 11
Redondo Beach 11
Totale 10.559
Salva come PNG Salva come JPEG
Nome #
Adaptability checking in complex systems 328
A Constrained ECA Language Supporting Formal Verification of WSNs 323
Detecting Synchronisation of Biological Oscillators by Model Checking 294
null 286
An algebraic language for RNA pseudoknots comparison 281
Topological Characterization of Complex Systems: Using Persistent Entropy 269
An algebraic representation for tree alignment of RNA pseudoknotted structures. 249
Towards a Shape Language for Interpreting RNA Folding 244
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 242
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 240
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 239
A model-prover for constrained dynamic conversations 237
A multi-level model for self-adaptive systems 236
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 233
A Graph Grammar for Modelling RNA Folding 232
null 232
Agent-Based Models of Cellular Systems 228
Survey of TOPDRIM applications of Topological Data Analysis 222
A formal language for classifying RNA secondary structures 221
Probabilistic Modelling and Analysis of a Fish Population 220
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 215
An Individual-based Probabilistic Model for Fish Stock Simulation 215
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 215
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 214
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 210
null 208
Timed automata with urgent transitions 206
Quality of service in e-Government underlines the role of information usability 206
A Shape Calculus for Biological Processes 201
BIOSHAPE: End-User Development for Simulating Biological Systems 200
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 199
Encoding Timed Models as Uniform Labeled Transition Systems 196
Spatial P Systems 195
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 188
An Individual-based Probabilistic Model for Fish Stock Simulation 187
Timed Automata with Urgent Transitions 185
Multiscale Bone Remodelling with Spatial P Systems 184
Shape Calculus: Timed Operational Semantics and Well-Formedness 181
null 179
Uniformity in Multiscale Models: From Complex Automata to BioShape 179
Timed P Automata 175
Fixing the Java bytecode verifier by a suitable type domain 172
A Persistent Entropy Automaton for the Dow Jones Stock Market 170
Ecological Modelling and Analysis of Contaminant in the Marine Environment 167
Adaptability Checking in Multi-Level Complex Systems 165
null 163
A spatial model and simulator for metabolic pathways 163
A Spatial Simulator for Metabolic Pathways 161
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 158
Timed P Automata 156
A Notion of Non-Interference for Timed Automata 153
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 153
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 153
Prediction and modelling of RNA structure and interactions 152
Abstract Interpretation Against Races 152
Timed process calculi: from durationless actions to durational ones 152
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 152
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 151
Topological classifier for detecting the emergence of epileptic seizures 151
Spatial Multiscale Agent-Based Fish Behavioural Model 150
Timed Automata with non-Instantaneous Actions 149
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 148
Reversible Graph Grammar for RNA 147
A Decidable Notion of Timed Non-Interference 146
Using SKOS to formalize parameter estimation in systems biology 145
Defining Policies for Management Strategy Evaluation in DISPAS 143
Alignment tree for RNA pseudoknots 143
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 142
A Decidable Notion of Timed Non-Interference 129
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 127
Shape Calculus: A spatial calculus for 3D colliding shapes 126
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 124
null 124
null 124
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 122
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 121
Towards Abstraction-Based Verification of Shape Calculus 113
null 107
A Uniform Multiscale Meta-model of BioShape 107
Automatic generation of pseudoknotted RNAs taxonomy 105
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 105
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 103
Bone Remodelling in BioShape 101
Model Checking Biological Oscillators 98
null 88
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 87
Timed Operational Semantics and Well-Formedness of Shape Calculus 87
Multiscale Bone Remodelling with Spatial P Systems 83
null 75
Persistent Homology Analysis of RNA 72
Associate Editor 72
null 70
Computational modelling and data-driven techniques for systems analysis 51
TARNAS, a TrAnslator for RNA Secondary Structure Formats 42
A Formal Approach to Identify Structural Patterns in RNA 23
TARNAS: A Software Tool for Abstracting and Translating RNA Secondary Structures 19
TARNAS: A Software Tool for Abstracting and Translating RNA Secondary Structures 15
Totale 15.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.977
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 60.977
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.190 0 0 0 0 0 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/20252.905 103 128 190 99 79 149 343 707 221 200 209 477
2025/20262.352 273 217 409 652 492 309 0 0 0 0 0 0
Totale 15.971