TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.940
EU - Europa 4.406
AS - Asia 3.467
SA - Sud America 324
AF - Africa 141
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 10
Totale 17.304
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.616
CN - Cina 1.379
RU - Federazione Russa 984
SG - Singapore 956
IT - Italia 824
PL - Polonia 685
DE - Germania 422
HK - Hong Kong 374
VN - Vietnam 311
FR - Francia 301
UA - Ucraina 273
CA - Canada 271
BR - Brasile 253
GB - Regno Unito 221
SE - Svezia 216
FI - Finlandia 164
ZA - Sudafrica 108
KR - Corea 93
TR - Turchia 91
IN - India 76
IE - Irlanda 62
BE - Belgio 46
MX - Messico 37
CZ - Repubblica Ceca 35
NL - Olanda 35
AR - Argentina 31
BD - Bangladesh 31
ES - Italia 31
AT - Austria 30
JP - Giappone 30
IQ - Iraq 17
AU - Australia 16
IR - Iran 15
ID - Indonesia 13
NO - Norvegia 12
LT - Lituania 11
MA - Marocco 11
EC - Ecuador 10
EU - Europa 10
CO - Colombia 9
KG - Kirghizistan 9
HN - Honduras 8
PK - Pakistan 8
RO - Romania 8
SI - Slovenia 8
UZ - Uzbekistan 8
RS - Serbia 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
CL - Cile 6
IL - Israele 6
KE - Kenya 5
SA - Arabia Saudita 5
TW - Taiwan 5
CH - Svizzera 4
EG - Egitto 4
MY - Malesia 4
NP - Nepal 4
PT - Portogallo 4
SK - Slovacchia (Repubblica Slovacca) 4
TN - Tunisia 4
AL - Albania 3
EE - Estonia 3
GR - Grecia 3
JO - Giordania 3
KZ - Kazakistan 3
PH - Filippine 3
UY - Uruguay 3
AM - Armenia 2
AO - Angola 2
AZ - Azerbaigian 2
BH - Bahrain 2
HR - Croazia 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
BA - Bosnia-Erzegovina 1
BB - Barbados 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
HU - Ungheria 1
IM - Isola di Man 1
JM - Giamaica 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
ML - Mali 1
MN - Mongolia 1
NG - Nigeria 1
OM - Oman 1
PA - Panama 1
Totale 17.299
Salva come PNG Salva come JPEG
Città #
Ashburn 770
Woodbridge 728
Fairfield 686
Jacksonville 629
Singapore 546
Warsaw 446
Chandler 442
San Jose 429
Houston 407
Ann Arbor 372
Hong Kong 368
Wilmington 354
Seattle 333
Boardman 273
Dearborn 231
Kraków 224
Cambridge 212
New York 205
Beijing 204
Nanjing 200
Toronto 164
The Dalles 157
Dallas 145
Los Angeles 116
Johannesburg 104
Columbus 94
San Mateo 91
Seoul 88
Ho Chi Minh City 86
Princeton 83
Tongling 82
Dong Ket 80
Lawrence 80
Nanchang 77
Camerino 70
Lauterbourg 69
Centro 68
Ogden 66
Helsinki 65
Istanbul 65
Moscow 61
Guangzhou 60
Dublin 58
Shanghai 58
Munich 52
Kunming 51
Buffalo 50
Council Bluffs 49
Lachine 48
Hanoi 46
London 45
Brussels 44
Santa Clara 44
Orem 41
San Diego 40
Hebei 39
Milan 38
Rome 38
Bremen 36
São Paulo 36
Hefei 34
Macerata 34
Turku 34
Jiaxing 33
Shenyang 31
Wuhan 30
Montreal 29
Tianjin 29
Phoenix 28
Frankfurt am Main 27
Tokyo 27
Nuremberg 24
Brooklyn 23
Chennai 22
Chicago 22
Leawood 20
Olomouc 20
Redwood City 19
Changsha 18
Jinan 18
Verona 18
Denver 17
Atlanta 16
Orange 16
Vienna 16
Amsterdam 15
Manchester 15
Hangzhou 14
Ningbo 14
Sefro 14
Stockholm 14
Venezia 14
Ankara 13
Boston 13
Jinhua 13
Pune 13
St Louis 13
Washington 13
Ancona 12
Fuzhou 12
Totale 11.650
Salva come PNG Salva come JPEG
Nome #
A Constrained ECA Language Supporting Formal Verification of WSNs 345
Adaptability checking in complex systems 344
Detecting Synchronisation of Biological Oscillators by Model Checking 324
An algebraic language for RNA pseudoknots comparison 298
null 286
Topological Characterization of Complex Systems: Using Persistent Entropy 282
An algebraic representation for tree alignment of RNA pseudoknotted structures. 278
Towards a Shape Language for Interpreting RNA Folding 266
A model-prover for constrained dynamic conversations 259
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 259
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 259
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 258
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 257
A multi-level model for self-adaptive systems 255
A formal language for classifying RNA secondary structures 250
Survey of TOPDRIM applications of Topological Data Analysis 247
A Graph Grammar for Modelling RNA Folding 247
Agent-Based Models of Cellular Systems 246
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 237
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 236
Probabilistic Modelling and Analysis of a Fish Population 236
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 233
null 232
An Individual-based Probabilistic Model for Fish Stock Simulation 228
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 228
A Shape Calculus for Biological Processes 219
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 219
Quality of service in e-Government underlines the role of information usability 219
Timed automata with urgent transitions 215
BIOSHAPE: End-User Development for Simulating Biological Systems 215
Spatial P Systems 211
Encoding Timed Models as Uniform Labeled Transition Systems 209
null 208
An Individual-based Probabilistic Model for Fish Stock Simulation 202
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 201
Multiscale Bone Remodelling with Spatial P Systems 199
Timed Automata with Urgent Transitions 194
Uniformity in Multiscale Models: From Complex Automata to BioShape 194
Shape Calculus: Timed Operational Semantics and Well-Formedness 193
Timed P Automata 190
Adaptability Checking in Multi-Level Complex Systems 185
Ecological Modelling and Analysis of Contaminant in the Marine Environment 185
A Persistent Entropy Automaton for the Dow Jones Stock Market 185
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 183
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 182
A spatial model and simulator for metabolic pathways 181
null 179
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 178
Fixing the Java bytecode verifier by a suitable type domain 178
Defining Policies for Management Strategy Evaluation in DISPAS 178
Prediction and modelling of RNA structure and interactions 176
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 175
A Spatial Simulator for Metabolic Pathways 175
A Decidable Notion of Timed Non-Interference 175
Abstract Interpretation Against Races 174
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 174
Spatial Multiscale Agent-Based Fish Behavioural Model 172
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 171
Reversible Graph Grammar for RNA 170
A Notion of Non-Interference for Timed Automata 168
Timed P Automata 167
Timed Automata with non-Instantaneous Actions 167
Topological classifier for detecting the emergence of epileptic seizures 166
null 163
Timed process calculi: from durationless actions to durational ones 163
Alignment tree for RNA pseudoknots 160
Using SKOS to formalize parameter estimation in systems biology 160
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 155
Towards Abstraction-Based Verification of Shape Calculus 155
Shape Calculus: A spatial calculus for 3D colliding shapes 151
A Decidable Notion of Timed Non-Interference 149
A Uniform Multiscale Meta-model of BioShape 145
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 143
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 140
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 140
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 130
Bone Remodelling in BioShape 129
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 129
null 124
null 124
Model Checking Biological Oscillators 123
Automatic generation of pseudoknotted RNAs taxonomy 121
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 121
Timed Operational Semantics and Well-Formedness of Shape Calculus 110
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 108
null 107
Persistent Homology Analysis of RNA 102
Multiscale Bone Remodelling with Spatial P Systems 92
null 88
Computational modelling and data-driven techniques for systems analysis 84
Associate Editor 82
null 75
null 70
TARNAS, a TrAnslator for RNA Secondary Structure Formats 58
A Formal Approach to Identify Structural Patterns in RNA 52
TARNAS: A Software Tool for Abstracting and Translating RNA Secondary Structures 32
Topological classifier for detecting the emergence of epileptic seizures 7
Totale 17.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.975
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 64.975
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021529 0 0 0 0 0 0 0 0 0 0 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/20263.995 271 213 407 647 487 355 661 332 221 279 122 0
Totale 17.614