TESEI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5903
EU - Europa 2586
AS - Asia 849
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 7
SA - Sud America 4
Totale 9359
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5702
CN - Cina 737
PL - Polonia 645
IT - Italia 589
DE - Germania 280
UA - Ucraina 266
FR - Francia 203
SE - Svezia 203
CA - Canada 198
GB - Regno Unito 114
FI - Finlandia 106
BE - Belgio 84
VN - Vietnam 80
IE - Irlanda 64
EU - Europa 10
IR - Iran 10
IN - India 8
RO - Romania 8
AU - Australia 7
RS - Serbia 5
TR - Turchia 5
KG - Kirghizistan 4
CZ - Repubblica Ceca 3
KR - Corea 3
NO - Norvegia 3
RU - Federazione Russa 3
AT - Austria 2
CL - Cile 2
ES - Italia 2
MX - Messico 2
NL - Olanda 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
VE - Venezuela 1
Totale 9359
Salva come PNG Salva come JPEG
Città #
Woodbridge 728
Fairfield 686
Jacksonville 628
Chandler 442
Warsaw 416
Houston 401
Ann Arbor 371
Wilmington 350
Seattle 308
Ashburn 298
Dearborn 231
Kraków 224
Cambridge 212
Nanjing 199
Toronto 149
San Mateo 91
Brussels 82
Dong Ket 80
Lawrence 80
Princeton 80
Beijing 77
Nanchang 76
Centro 68
Dublin 64
Camerino 51
Kunming 51
Boardman 49
Lachine 48
Helsinki 42
Hebei 39
San Diego 38
Bremen 36
Hefei 34
Macerata 32
Shenyang 31
Philadelphia 30
Guangzhou 27
Jiaxing 27
Tianjin 27
Leawood 20
Redwood City 19
Changsha 17
Verona 17
Milan 16
Orange 16
Jinan 15
Shanghai 15
Ningbo 14
Sefro 14
Venezia 14
London 12
Hangzhou 11
Auburn Hills 10
Falls Church 10
Ardabil 9
Augusta 9
Matelica 9
Norwalk 9
Ancona 8
Changchun 8
Fuzhou 8
Indiana 8
Monmouth Junction 8
Zhengzhou 8
Lanzhou 7
Los Angeles 7
New York 7
Nürnberg 7
Rome 7
Sydney 7
Düsseldorf 6
Wuhan 6
Belgrade 5
Edinburgh 4
Foggia 4
Hanover 4
Jesi 4
Jinhua 4
Kocaeli 4
Pesaro 4
Phoenix 4
Suceava 4
Wenzhou 4
Berlin 3
Chengdu 3
Chongqing 3
Falkenstein 3
Fano 3
Jihlava 3
Marseille 3
Portland 3
Porto San Giorgio 3
Taizhou 3
Angri 2
Brooklyn 2
Chicago 2
Florence 2
Gallo 2
Horia 2
Islington 2
Totale 7350
Salva come PNG Salva come JPEG
Nome #
null 286
Adaptability checking in complex systems 283
A Constrained ECA Language Supporting Formal Verification of WSNs 229
Persistent Homology Analysis of RNA 227
Detecting Synchronisation of Biological Oscillators by Model Checking 211
null 208
Topological Characterization of Complex Systems: Using Persistent Entropy 198
An algebraic language for RNA pseudoknots comparison 188
null 179
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 175
An algebraic representation for tree alignment of RNA pseudoknotted structures. 175
Towards a Shape Language for Interpreting RNA Folding 165
null 163
Probabilistic Modelling and Analysis of a Fish Population 162
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 158
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 157
Timed automata with urgent transitions 147
Quality of service in e-Government underlines the role of information usability 147
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 146
Agent-Based Models of Cellular Systems 146
A Graph Grammar for Modelling RNA Folding 144
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 143
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 141
Spatial P Systems 141
Encoding Timed Models as Uniform Labeled Transition Systems 140
A multi-level model for self-adaptive systems 132
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 132
An Individual-based Probabilistic Model for Fish Stock Simulation 131
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 129
Multiscale Bone Remodelling with Spatial P Systems 128
A model-prover for constrained dynamic conversations 126
null 124
null 124
Timed Automata with Urgent Transitions 120
Fixing the Java bytecode verifier by a suitable type domain 118
Survey of TOPDRIM applications of Topological Data Analysis 116
A Shape Calculus for Biological Processes 115
An Individual-based Probabilistic Model for Fish Stock Simulation 115
Timed process calculi: from durationless actions to durational ones 111
Shape Calculus: Timed Operational Semantics and Well-Formedness 110
Uniformity in Multiscale Models: From Complex Automata to BioShape 108
Timed P Automata 107
null 107
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 107
BIOSHAPE: End-User Development for Simulating Biological Systems 106
A formal language for classifying RNA secondary structures 104
Timed P Automata 101
Adaptability Checking in Multi-Level Complex Systems 92
Topological classifier for detecting the emergence of epileptic seizures 92
null 88
A spatial model and simulator for metabolic pathways 88
A Spatial Simulator for Metabolic Pathways 86
Timed Automata with non-Instantaneous Actions 85
Using SKOS to formalize parameter estimation in systems biology 84
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 84
Reversible Graph Grammar for RNA 82
Alignment tree for RNA pseudoknots 80
A Notion of Non-Interference for Timed Automata 77
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach 77
A Decidable Notion of Timed Non-Interference 76
Spatial Multiscale Agent-Based Fish Behavioural Model 75
null 75
A Persistent Entropy Automaton for the Dow Jones Stock Market 75
Abstract Interpretation Against Races 74
Shape Calculus: A spatial calculus for 3D colliding shapes 74
Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator 73
Defining Policies for Management Strategy Evaluation in DISPAS 73
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios 72
Ecological Modelling and Analysis of Contaminant in the Marine Environment 72
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 71
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 71
BioShape - a 3D Modelling and Simulator Environment for Biological Systems 70
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico 70
null 70
Developing Spatiotemporal Features of DISPAS 2.0 Simulator 69
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 68
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach 67
A Decidable Notion of Timed Non-Interference 64
DataMod 2016, formerly known as MoKMaSD, 5th International Symposium “From Data to Models and Back”, Vienna (Austria) 8 July 2016 51
Associate Editor 32
Model Checking Biological Oscillators 23
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 23
A Uniform Multiscale Meta-model of BioShape 19
Bone Remodelling in BioShape 18
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People 18
Multiscale Bone Remodelling with Spatial P Systems 17
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach 13
Towards Abstraction-Based Verification of Shape Calculus 13
Timed Operational Semantics and Well-Formedness of Shape Calculus 10
Computational modelling and data-driven techniques for systems analysis 7
Totale 9648
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22655
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 22655
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201860 0000 00 00 00060
2018/20191200 32162756 19773 27326 9110190191
2019/20202429 28379207395 120296 242310 14613463154
2020/20211843 67206102194 84166 19855 15191306223
2021/2022918 792302136 4345 3650 679711599
2022/20231225 1171555186 141181 3089 25473840
Totale 9648