DI BERARDINI, Maria Rita
 Distribuzione geografica
Continente #
NA - Nord America 1.839
EU - Europa 674
AS - Asia 257
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.774
Nazione #
US - Stati Uniti d'America 1.777
CN - Cina 215
PL - Polonia 110
DE - Germania 102
IT - Italia 91
FR - Francia 88
UA - Ucraina 70
SE - Svezia 68
CA - Canada 58
GB - Regno Unito 50
FI - Finlandia 47
KR - Corea 20
BE - Belgio 16
IE - Irlanda 16
SG - Singapore 9
IR - Iran 6
CZ - Repubblica Ceca 5
NL - Olanda 5
IN - India 4
MX - Messico 3
TR - Turchia 3
EE - Estonia 2
AR - Argentina 1
CL - Cile 1
EU - Europa 1
HR - Croazia 1
JM - Giamaica 1
LU - Lussemburgo 1
RO - Romania 1
RS - Serbia 1
ZA - Sudafrica 1
Totale 2.774
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 40
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
Beijing 12
Shanghai 12
London 11
Guangzhou 10
Jiaxing 10
Kunming 10
Leawood 10
Lanzhou 8
Los Angeles 8
San Diego 8
Changsha 7
Tianjin 7
Ardabil 6
Auburn Hills 6
Hebei 6
Milan 6
Washington 6
Wuhan 6
Augusta 5
Shenyang 5
Singapore 5
Verona 5
Hangzhou 4
Monmouth Junction 4
Venezia 4
Amsterdam 3
Changchun 3
Olomouc 3
Redwood City 3
Sefro 3
Camerino 2
Chicago 2
Düsseldorf 2
Frankfurt am Main 2
Hefei 2
Jinan 2
Jinhua 2
Kocaeli 2
Meppel 2
Mumbai 2
Nürnberg 2
Old Bridge 2
Orange 2
Shenzhen 2
Tallinn 2
Xian 2
Yiwu 2
Zhengzhou 2
Ancona 1
Atlanta 1
Belgrade 1
Bologna 1
Brno 1
Buti 1
Centro 1
Controguerra 1
Cordoba 1
Council Bluffs 1
Dalian 1
Falkenstein 1
Fort Lauderdale 1
Fuzhou 1
Horia 1
Hounslow 1
Indiana 1
Izmir 1
Kingston 1
Las Vegas 1
Luxembourg 1
Matelica 1
Mexico City 1
Monreale 1
Munich 1
Totale 2.121
Nome #
null 208
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments 187
Time and Fairness in a Process Algebra with Non-blocking Reading 162
Read Operators and their Expressiveness in Process Algebras 151
Liveness of a Mutex Algorithm in a Fair Process Algebra 150
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 150
Fairness of Components in System Computations 142
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 139
Relating Fairness and Timing in Process Algebras 138
Automated Analysis of MUTEX Algorithms with FASE 133
A Shape Calculus for Biological Processes 130
Shape Calculus: Timed Operational Semantics and Well-Formedness 123
Checking a Mutex Algorithm in a Process Algebra with Fairness 122
Fairness of Actions in System Computations 119
null 115
Fairness of components in system computations 110
Integrating Ontologies in Mobile Agents 97
Shape Calculus: A spatial calculus for 3D colliding shapes 83
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue 83
null 75
null 70
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 37
Code Mobility for Pervasive Computing 27
Timed Operational Semantics and Well-Formedness of Shape Calculus 25
Towards Abstraction-Based Verification of Shape Calculus 24
Totale 2.800
Categoria #
all - tutte 9.372
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 9.372


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024228 30 18 25 0 11 31 6 2 23 9 3 70
2024/20254 4 0 0 0 0 0 0 0 0 0 0 0
Totale 2.800