DI BERARDINI, Maria Rita
 Distribuzione geografica
Continente #
NA - Nord America 1.891
EU - Europa 678
AS - Asia 298
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.871
Nazione #
US - Stati Uniti d'America 1.829
CN - Cina 217
PL - Polonia 110
DE - Germania 103
IT - Italia 94
FR - Francia 88
UA - Ucraina 70
SE - Svezia 68
CA - Canada 58
GB - Regno Unito 50
FI - Finlandia 47
SG - Singapore 29
TR - Turchia 22
KR - Corea 20
BE - Belgio 16
IE - Irlanda 16
IR - Iran 6
CZ - Repubblica Ceca 5
NL - Olanda 5
IN - India 4
MX - Messico 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.871
Città #
Woodbridge 274
Fairfield 209
Jacksonville 168
Houston 154
Ashburn 124
Chandler 113
Kraków 109
Wilmington 95
Ann Arbor 92
Seattle 80
Cambridge 68
Boardman 58
Toronto 41
Nanjing 40
Dearborn 34
San Mateo 28
Helsinki 26
Nanchang 26
Bremen 25
Columbus 21
Lawrence 21
Princeton 21
Istanbul 19
Singapore 18
Lachine 17
Brussels 16
Dublin 16
New York 16
Ogden 16
Beijing 12
Los Angeles 12
Shanghai 12
London 11
Guangzhou 10
Jiaxing 10
Kunming 10
Leawood 10
Lanzhou 8
San Diego 8
Changsha 7
Tianjin 7
Ardabil 6
Auburn Hills 6
Hebei 6
Milan 6
Washington 6
Wuhan 6
Augusta 5
Chicago 5
Shenyang 5
Verona 5
Hangzhou 4
Monmouth Junction 4
Venezia 4
Amsterdam 3
Camerino 3
Changchun 3
Olomouc 3
Redwood City 3
Sefro 3
Düsseldorf 2
Frankfurt am Main 2
Hefei 2
Jinan 2
Jinhua 2
Kocaeli 2
Meppel 2
Mumbai 2
Munich 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
Castelfidardo 1
Centro 1
Chengdu 1
Controguerra 1
Cordoba 1
Council Bluffs 1
Dalian 1
Falkenstein 1
Fayetteville 1
Fort Lauderdale 1
Fuzhou 1
Horia 1
Hounslow 1
Indiana 1
Izmir 1
Kingston 1
Las Vegas 1
Totale 2.205
Nome #
null 208
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments 193
Time and Fairness in a Process Algebra with Non-blocking Reading 166
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 156
Read Operators and their Expressiveness in Process Algebras 156
Liveness of a Mutex Algorithm in a Fair Process Algebra 154
Fairness of Components in System Computations 148
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 144
Relating Fairness and Timing in Process Algebras 144
Automated Analysis of MUTEX Algorithms with FASE 137
A Shape Calculus for Biological Processes 134
Shape Calculus: Timed Operational Semantics and Well-Formedness 128
Checking a Mutex Algorithm in a Process Algebra with Fairness 125
Fairness of Actions in System Computations 124
null 115
Fairness of components in system computations 114
Integrating Ontologies in Mobile Agents 101
Shape Calculus: A spatial calculus for 3D colliding shapes 87
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue 86
null 75
null 70
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 42
Code Mobility for Pervasive Computing 32
Towards Abstraction-Based Verification of Shape Calculus 30
Timed Operational Semantics and Well-Formedness of Shape Calculus 28
Totale 2.897
Categoria #
all - tutte 10.913
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 10.913


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020325 0 0 0 0 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/2025101 12 21 45 23 0 0 0 0 0 0 0 0
Totale 2.897