TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.674
EU - Europa 4.483
AS - Asia 3.551
SA - Sud America 334
Continente sconosciuto - Info sul continente non disponibili 322
AF - Africa 141
OC - Oceania 16
Totale 18.521
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.317
CN - Cina 1.417
RU - Federazione Russa 985
SG - Singapore 972
IT - Italia 888
PL - Polonia 686
DE - Germania 423
HK - Hong Kong 378
VN - Vietnam 315
FR - Francia 301
CA - Canada 290
UA - Ucraina 275
BR - Brasile 256
GB - Regno Unito 223
SE - Svezia 216
FI - Finlandia 165
ZA - Sudafrica 108
KR - Corea 93
TR - Turchia 91
IN - India 76
IE - Irlanda 62
BE - Belgio 46
BD - Bangladesh 43
MX - Messico 38
NL - Olanda 36
CZ - Repubblica Ceca 35
AR - Argentina 33
ES - Italia 32
AT - Austria 30
JP - Giappone 30
IQ - Iraq 17
AU - Australia 16
IR - Iran 16
ID - Indonesia 15
NO - Norvegia 13
CO - Colombia 11
LT - Lituania 11
MA - Marocco 11
EC - Ecuador 10
EU - Europa 10
KG - Kirghizistan 9
VE - Venezuela 9
HN - Honduras 8
PK - Pakistan 8
RO - Romania 8
SI - Slovenia 8
UZ - Uzbekistan 8
AE - Emirati Arabi Uniti 7
CL - Cile 7
MY - Malesia 7
RS - Serbia 7
IL - Israele 6
KE - Kenya 5
PT - Portogallo 5
SA - Arabia Saudita 5
TW - Taiwan 5
CH - Svizzera 4
CR - Costa Rica 4
EG - Egitto 4
JM - Giamaica 4
KZ - Kazakistan 4
NP - Nepal 4
SK - Slovacchia (Repubblica Slovacca) 4
TN - Tunisia 4
AL - Albania 3
EE - Estonia 3
GR - Grecia 3
JO - Giordania 3
PH - Filippine 3
UY - Uruguay 3
AM - Armenia 2
AO - Angola 2
AZ - Azerbaigian 2
BB - Barbados 2
BH - Bahrain 2
HR - Croazia 2
HU - Ungheria 2
KW - Kuwait 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
PE - Perù 2
PY - Paraguay 2
SY - Repubblica araba siriana 2
TG - Togo 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BS - Bahamas 1
CI - Costa d'Avorio 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GE - Georgia 1
GT - Guatemala 1
IM - Isola di Man 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
ML - Mali 1
Totale 18.197
Salva come PNG Salva come JPEG
Città #
Ashburn 839
Woodbridge 729
Fairfield 686
Jacksonville 632
Singapore 550
San Jose 476
Warsaw 447
Chandler 442
Houston 410
Ann Arbor 372
Hong Kong 372
Wilmington 356
Seattle 335
Council Bluffs 328
Boardman 276
Dearborn 231
Kraków 224
Beijing 215
Cambridge 213
New York 208
Nanjing 200
Toronto 168
The Dalles 157
Dallas 152
Los Angeles 124
Johannesburg 104
Columbus 96
San Mateo 91
Seoul 88
Ho Chi Minh City 87
Princeton 83
Tongling 82
Dong Ket 80
Lawrence 80
Nanchang 77
Camerino 70
Lauterbourg 69
Centro 68
Ogden 67
Helsinki 65
Istanbul 65
Moscow 61
Guangzhou 60
Shanghai 60
Dublin 58
Buffalo 54
Santa Clara 54
Munich 52
Rome 52
Kunming 51
Lachine 48
Hanoi 47
Milan 46
London 45
Brussels 44
San Diego 43
Orem 41
Hebei 39
Bremen 36
São Paulo 36
Hefei 34
Macerata 34
Phoenix 34
Turku 34
Jiaxing 33
Shenyang 31
Tianjin 31
Montreal 30
Wuhan 30
Frankfurt am Main 28
Brooklyn 27
Padua 27
Tokyo 27
Nuremberg 24
Chicago 23
Chennai 22
Leawood 20
Olomouc 20
Redwood City 19
Atlanta 18
Changsha 18
Jinan 18
Verona 18
Denver 17
St Louis 17
Washington 17
Orange 16
Philadelphia 16
Vienna 16
Amsterdam 15
Boston 15
Manchester 15
Ancona 14
Hangzhou 14
Ningbo 14
Sefro 14
Stockholm 14
Venezia 14
Ankara 13
Jinhua 13
Totale 12.195
Salva come PNG Salva come JPEG
Nome #
Adaptability checking in complex systems 352
A Constrained ECA Language Supporting Formal Verification of WSNs 352
Detecting Synchronisation of Biological Oscillators by Model Checking 331
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 303
An algebraic language for RNA pseudoknots comparison 301
Topological Characterization of Complex Systems: Using Persistent Entropy 291
null 286
An algebraic representation for tree alignment of RNA pseudoknotted structures. 283
Towards a Shape Language for Interpreting RNA Folding 282
A model-prover for constrained dynamic conversations 268
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 268
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 268
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 267
A formal language for classifying RNA secondary structures 265
A multi-level model for self-adaptive systems 265
Survey of TOPDRIM applications of Topological Data Analysis 260
A Graph Grammar for Modelling RNA Folding 255
Agent-Based Models of Cellular Systems 254
Probabilistic Modelling and Analysis of a Fish Population 249
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 248
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 244
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 241
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 237
An Individual-based Probabilistic Model for Fish Stock Simulation 233
null 232
Quality of service in e-Government underlines the role of information usability 226
A Shape Calculus for Biological Processes 225
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 225
BIOSHAPE: End-User Development for Simulating Biological Systems 225
Timed automata with urgent transitions 222
Spatial P Systems 220
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 213
Encoding Timed Models as Uniform Labeled Transition Systems 212
Timed Automata with Urgent Transitions 210
null 208
Multiscale Bone Remodelling with Spatial P Systems 206
An Individual-based Probabilistic Model for Fish Stock Simulation 205
Defining Policies for Management Strategy Evaluation in DISPAS 203
Uniformity in Multiscale Models: From Complex Automata to BioShape 200
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 200
Shape Calculus: Timed Operational Semantics and Well-Formedness 199
Timed P Automata 197
Fixing the Java bytecode verifier by a suitable type domain 196
Ecological Modelling and Analysis of Contaminant in the Marine Environment 194
A spatial model and simulator for metabolic pathways 193
Adaptability Checking in Multi-Level Complex Systems 192
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 192
Prediction and modelling of RNA structure and interactions 191
A Persistent Entropy Automaton for the Dow Jones Stock Market 191
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 190
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 190
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 189
A Spatial Simulator for Metabolic Pathways 185
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 185
Abstract Interpretation Against Races 184
Reversible Graph Grammar for RNA 184
A Notion of Non-Interference for Timed Automata 182
A Decidable Notion of Timed Non-Interference 182
Timed P Automata 181
Spatial Multiscale Agent-Based Fish Behavioural Model 180
null 179
Timed Automata with non-Instantaneous Actions 178
Timed process calculi: from durationless actions to durational ones 176
Topological classifier for detecting the emergence of epileptic seizures 172
Alignment tree for RNA pseudoknots 172
Using SKOS to formalize parameter estimation in systems biology 170
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 167
null 163
Shape Calculus: A spatial calculus for 3D colliding shapes 163
Towards Abstraction-Based Verification of Shape Calculus 161
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 158
A Decidable Notion of Timed Non-Interference 156
A Uniform Multiscale Meta-model of BioShape 153
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 149
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 147
Bone Remodelling in BioShape 145
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 142
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 139
Model Checking Biological Oscillators 137
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 129
Automatic generation of pseudoknotted RNAs taxonomy 128
null 124
null 124
Timed Operational Semantics and Well-Formedness of Shape Calculus 120
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 117
Persistent Homology Analysis of RNA 115
null 107
Computational modelling and data-driven techniques for systems analysis 100
Multiscale Bone Remodelling with Spatial P Systems 96
null 88
Associate Editor 88
null 75
null 70
A Formal Approach to Identify Structural Patterns in RNA 61
TARNAS, a TrAnslator for RNA Secondary Structure Formats 61
TARNAS: A Software Tool for Abstracting and Translating RNA Secondary Structures 47
Topological classifier for detecting the emergence of epileptic seizures 17
Decoding RNA triple helices: identification from sequence and secondary structure 15
Totale 18.521
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.069
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 70.069
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022609 0 0 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/20264.298 271 213 407 647 487 355 661 332 221 279 214 211
2026/2027604 352 146 106 0 0 0 0 0 0 0 0 0
Totale 18.521