DI BERARDINI, Maria Rita
 Distribuzione geografica
Continente #
NA - Nord America 1.838
EU - Europa 667
AS - Asia 188
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.697
Nazione #
US - Stati Uniti d'America 1.776
CN - Cina 155
PL - Polonia 110
DE - Germania 101
IT - Italia 90
FR - Francia 88
UA - Ucraina 70
SE - Svezia 68
CA - Canada 58
GB - Regno Unito 49
FI - Finlandia 47
KR - Corea 20
BE - Belgio 16
IE - Irlanda 16
IR - Iran 6
NL - Olanda 5
IN - India 4
MX - Messico 3
TR - Turchia 3
EE - Estonia 2
AR - Argentina 1
CL - Cile 1
CZ - Repubblica Ceca 1
EU - Europa 1
HR - Croazia 1
JM - Giamaica 1
LU - Lussemburgo 1
RO - Romania 1
RS - Serbia 1
ZA - Sudafrica 1
Totale 2.697
Città #
Woodbridge 274
Fairfield 209
Jacksonville 168
Houston 154
Ashburn 122
Chandler 113
Kraków 109
Wilmington 95
Ann Arbor 92
Seattle 80
Cambridge 68
Toronto 41
Nanjing 39
Dearborn 34
San Mateo 28
Helsinki 26
Nanchang 26
Bremen 25
Columbus 21
Lawrence 21
Princeton 21
Lachine 17
Boardman 16
Brussels 16
Dublin 16
New York 16
Ogden 16
London 11
Jiaxing 10
Kunming 10
Leawood 10
Lanzhou 8
Los Angeles 8
San Diego 8
Changsha 7
Shanghai 7
Tianjin 7
Ardabil 6
Auburn Hills 6
Hebei 6
Milan 6
Washington 6
Augusta 5
Beijing 5
Shenyang 5
Verona 5
Guangzhou 4
Monmouth Junction 4
Venezia 4
Amsterdam 3
Changchun 3
Redwood City 3
Sefro 3
Camerino 2
Chicago 2
Düsseldorf 2
Frankfurt am Main 2
Hangzhou 2
Hefei 2
Jinan 2
Kocaeli 2
Meppel 2
Mumbai 2
Nürnberg 2
Old Bridge 2
Orange 2
Tallinn 2
Wuhan 2
Xian 2
Zhengzhou 2
Ancona 1
Atlanta 1
Belgrade 1
Bologna 1
Buti 1
Centro 1
Controguerra 1
Cordoba 1
Council Bluffs 1
Falkenstein 1
Fort Lauderdale 1
Fuzhou 1
Horia 1
Hounslow 1
Indiana 1
Izmir 1
Jinhua 1
Kingston 1
Las Vegas 1
Luxembourg 1
Matelica 1
Mexico City 1
Monreale 1
Mérida 1
Ningbo 1
Norwalk 1
Novi 1
Palo Alto 1
Philadelphia 1
Prague 1
Totale 2.087
Nome #
null 208
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments 182
Time and Fairness in a Process Algebra with Non-blocking Reading 159
Read Operators and their Expressiveness in Process Algebras 149
Liveness of a Mutex Algorithm in a Fair Process Algebra 146
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 146
Fairness of Components in System Computations 138
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 135
Relating Fairness and Timing in Process Algebras 135
Automated Analysis of MUTEX Algorithms with FASE 130
A Shape Calculus for Biological Processes 126
Shape Calculus: Timed Operational Semantics and Well-Formedness 120
Checking a Mutex Algorithm in a Process Algebra with Fairness 116
Fairness of Actions in System Computations 116
null 115
Fairness of components in system computations 109
Integrating Ontologies in Mobile Agents 93
Shape Calculus: A spatial calculus for 3D colliding shapes 80
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue 79
null 75
null 70
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 35
Code Mobility for Pervasive Computing 23
Timed Operational Semantics and Well-Formedness of Shape Calculus 19
Towards Abstraction-Based Verification of Shape Calculus 19
Totale 2.723
Categoria #
all - tutte 8.795
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 8.795


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019139 0 0 0 0 0 0 0 0 0 0 72 67
2019/2020661 88 27 71 150 37 65 50 56 41 32 12 32
2020/2021429 21 35 32 31 20 46 52 5 33 10 103 41
2021/2022219 16 51 5 9 13 19 7 15 14 21 23 26
2022/2023332 27 1 16 40 63 44 1 32 60 25 19 4
2023/2024155 30 18 25 0 11 31 6 2 23 9 0 0
Totale 2.723