PARDINI, GIOVANNI
 Distribuzione geografica
Continente #
EU - Europa 2.742
NA - Nord America 803
AS - Asia 160
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 1
Totale 3.722
Nazione #
IT - Italia 2.511
US - Stati Uniti d'America 760
SE - Svezia 89
CN - Cina 75
SG - Singapore 44
CA - Canada 43
BG - Bulgaria 30
DE - Germania 25
FR - Francia 20
TR - Turchia 16
FI - Finlandia 14
GB - Regno Unito 13
RU - Federazione Russa 13
VN - Vietnam 11
HK - Hong Kong 10
CI - Costa d'Avorio 9
UA - Ucraina 9
GR - Grecia 7
SN - Senegal 5
BE - Belgio 4
EU - Europa 2
RO - Romania 2
AT - Austria 1
BR - Brasile 1
CH - Svizzera 1
HU - Ungheria 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KR - Corea 1
NL - Olanda 1
Totale 3.722
Città #
Serra 2.433
Houston 115
Ann Arbor 96
Woodbridge 89
Fairfield 86
Ashburn 46
Ottawa 42
Seattle 42
Cambridge 38
Sofia 30
Wilmington 27
Singapore 23
Beijing 22
Pisa 22
Chandler 17
Dearborn 17
New York 17
Boardman 14
Frankfurt am Main 14
Princeton 13
Des Moines 12
Lawrence 12
Hong Kong 10
Marseille 10
Abidjan 9
Nanjing 9
Izmir 8
Kent 8
Rome 8
Istanbul 7
Medford 7
Jacksonville 6
Santa Clara 6
Bremen 5
Dakar 5
Florence 5
Milan 5
San Diego 5
Brussels 4
Fuzhou 4
Nanchang 4
Ogden 4
Dallas 3
Dong Ket 3
Hefei 3
Helsinki 3
Indiana 3
Pistoia 3
Brooklyn 2
Changsha 2
Chengdu 2
Costa Mesa 2
Düsseldorf 2
Guangzhou 2
Horia 2
Jiaxing 2
Kunming 2
London 2
Los Angeles 2
Peccioli 2
Riomaggiore 2
Shanghai 2
St Petersburg 2
Tianjin 2
Xiamen 2
Amman 1
Athens 1
Bern 1
Budapest 1
Cascina 1
Charlotte 1
Dublin 1
Erzincan 1
Groningen 1
Hebei 1
Jinan 1
Jüchen 1
Lappeenranta 1
Milton Keynes 1
Montreuil 1
Ningbo 1
North York 1
Norwalk 1
Paris 1
Perm 1
Rostov-on-Don 1
Salerno 1
Shenyang 1
Simi Valley 1
Stockton-on-Tees 1
Surgut 1
Taizhou 1
Verona 1
Viareggio 1
Vienna 1
Washington 1
Westminster 1
Worksop 1
Wuhan 1
Totale 3.442
Nome #
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 432
A high-level model checking language with compile-time pruning of local variables 376
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 371
Systolic automata and p systems 359
null 350
Identification of components in biochemical pathways: Extensive application to SBML models 347
null 346
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 335
Compositional semantics and behavioural equivalences for reaction systems with restriction 329
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 288
Case studies of application of probabilistic and statistical model checking in game design 80
ObjMC: The Objective/MC compiler 70
Minimal probabilistic P systems for modelling ecological systems 27
Component identification in biochemical pathways 23
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level 11
Totale 3.744
Categoria #
all - tutte 6.185
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 6.185


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020175 0 0 0 0 25 44 29 17 20 15 11 14
2020/2021129 5 4 9 3 7 14 2 8 50 8 3 16
2021/2022149 2 11 1 14 31 33 2 6 12 0 3 34
2022/2023166 21 17 14 7 9 21 0 10 49 3 13 2
2023/2024122 6 7 18 2 24 21 9 3 1 3 17 11
2024/202579 1 20 27 25 6 0 0 0 0 0 0 0
Totale 3.744