TESEI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 6.577
EU - Europa 2.638
AS - Asia 888
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 9
SA - Sud America 4
Totale 10.126
Nazione #
US - Stati Uniti d'America 6.376
CN - Cina 758
PL - Polonia 646
IT - Italia 628
DE - Germania 289
UA - Ucraina 266
FR - Francia 204
SE - Svezia 203
CA - Canada 198
GB - Regno Unito 147
FI - Finlandia 119
VN - Vietnam 80
IE - Irlanda 58
BE - Belgio 44
IN - India 22
IR - Iran 11
EU - Europa 10
AU - Australia 9
RO - Romania 8
RS - Serbia 5
TR - Turchia 5
KG - Kirghizistan 4
KR - Corea 4
AT - Austria 3
CZ - Repubblica Ceca 3
NL - Olanda 3
NO - Norvegia 3
RU - Federazione Russa 3
CL - Cile 2
ES - Italia 2
MX - Messico 2
AR - Argentina 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
JM - Giamaica 1
JP - Giappone 1
OM - Oman 1
PT - Portogallo 1
SG - Singapore 1
TW - Taiwan 1
VE - Venezuela 1
Totale 10.126
Città #
Woodbridge 728
Fairfield 686
Jacksonville 628
Chandler 442
Ashburn 438
Warsaw 416
Houston 401
Ann Arbor 371
Wilmington 350
Seattle 330
Dearborn 231
Kraków 224
Cambridge 212
Nanjing 199
New York 149
Toronto 149
Boardman 97
San Mateo 91
Dong Ket 80
Lawrence 80
Princeton 80
Beijing 79
Nanchang 76
Columbus 75
Centro 68
Ogden 65
Camerino 55
Dublin 55
Helsinki 55
Kunming 51
Lachine 48
Brussels 42
Hebei 39
San Diego 38
Bremen 36
Hefei 34
Macerata 32
Guangzhou 31
Shenyang 31
Shanghai 30
Jiaxing 27
Tianjin 27
London 26
Leawood 20
Milan 20
Redwood City 19
Changsha 17
Verona 17
Los Angeles 16
Orange 16
Jinan 15
Ningbo 14
Sefro 14
Venezia 14
Pune 13
Rome 13
Washington 13
Ancona 11
Hangzhou 11
Auburn Hills 10
Falls Church 10
Philadelphia 10
Ardabil 9
Augusta 9
Matelica 9
Norwalk 9
Changchun 8
Fuzhou 8
Indiana 8
Monmouth Junction 8
Zhengzhou 8
Lanzhou 7
Nürnberg 7
Sydney 7
Tappahannock 7
Düsseldorf 6
Wuhan 6
Belgrade 5
Cleveland 4
Edinburgh 4
Foggia 4
Hanover 4
Jesi 4
Jinhua 4
Kocaeli 4
Mirabella Eclano 4
Pesaro 4
Phoenix 4
Suceava 4
Wenzhou 4
Acton 3
Berlin 3
Chengdu 3
Chongqing 3
Falkenstein 3
Fano 3
Jihlava 3
Kilburn 3
Marseille 3
Modena 3
Totale 7.874
Nome #
Adaptability checking in complex systems 291
null 286
A Constrained ECA Language Supporting Formal Verification of WSNs 237
null 232
Detecting Synchronisation of Biological Oscillators by Model Checking 219
null 208
Topological Characterization of Complex Systems: Using Persistent Entropy 206
An algebraic language for RNA pseudoknots comparison 195
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 186
null 179
An algebraic representation for tree alignment of RNA pseudoknotted structures. 178
Towards a Shape Language for Interpreting RNA Folding 176
Probabilistic Modelling and Analysis of a Fish Population 175
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 167
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 165
null 163
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 158
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 158
Quality of service in e-Government underlines the role of information usability 157
Agent-Based Models of Cellular Systems 153
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 153
A Graph Grammar for Modelling RNA Folding 152
Encoding Timed Models as Uniform Labeled Transition Systems 152
Timed automata with urgent transitions 150
Spatial P Systems 150
A multi-level model for self-adaptive systems 142
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 141
An Individual-based Probabilistic Model for Fish Stock Simulation 140
A model-prover for constrained dynamic conversations 138
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 137
Multiscale Bone Remodelling with Spatial P Systems 135
Survey of TOPDRIM applications of Topological Data Analysis 132
Fixing the Java bytecode verifier by a suitable type domain 129
A Shape Calculus for Biological Processes 126
null 124
null 124
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 123
An Individual-based Probabilistic Model for Fish Stock Simulation 122
BIOSHAPE: End-User Development for Simulating Biological Systems 122
Timed Automata with Urgent Transitions 121
Uniformity in Multiscale Models: From Complex Automata to BioShape 121
Shape Calculus: Timed Operational Semantics and Well-Formedness 120
Timed P Automata 118
Timed process calculi: from durationless actions to durational ones 118
A formal language for classifying RNA secondary structures 112
Timed P Automata 107
null 107
Adaptability Checking in Multi-Level Complex Systems 102
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 99
A Spatial Simulator for Metabolic Pathways 97
Topological classifier for detecting the emergence of epileptic seizures 96
A spatial model and simulator for metabolic pathways 93
Timed Automata with non-Instantaneous Actions 93
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 90
null 88
Reversible Graph Grammar for RNA 88
Using SKOS to formalize parameter estimation in systems biology 88
A Persistent Entropy Automaton for the Dow Jones Stock Market 87
Abstract Interpretation Against Races 86
Alignment tree for RNA pseudoknots 85
A Notion of Non-Interference for Timed Automata 84
Spatial Multiscale Agent-Based Fish Behavioural Model 84
Ecological Modelling and Analysis of Contaminant in the Marine Environment 84
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 83
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 83
A Decidable Notion of Timed Non-Interference 83
Defining Policies for Management Strategy Evaluation in DISPAS 82
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 81
Shape Calculus: A spatial calculus for 3D colliding shapes 80
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 80
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 79
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 79
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 78
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 78
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 77
null 75
A Decidable Notion of Timed Non-Interference 74
null 70
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 57
Associate Editor 37
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 35
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 34
A Uniform Multiscale Meta-model of BioShape 33
Model Checking Biological Oscillators 33
Bone Remodelling in BioShape 28
Multiscale Bone Remodelling with Spatial P Systems 27
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 25
Automatic generation of pseudoknotted RNAs taxonomy 21
Timed Operational Semantics and Well-Formedness of Shape Calculus 19
Towards Abstraction-Based Verification of Shape Calculus 19
Computational modelling and data-driven techniques for systems analysis 15
Persistent Homology Analysis of RNA 5
Prediction and modelling of RNA structure and interactions 1
Totale 10.420
Categoria #
all - tutte 35.423
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 35.423


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019381 0 0 0 0 0 0 0 0 0 0 190 191
2019/20202.429 283 79 207 395 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/2024816 116 52 79 27 44 250 68 58 93 27 2 0
Totale 10.420