CRIS Current Research Information System

BUSI, NADIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.394
EU - Europa 1.687
AS - Asia 1.628
AF - Africa 83
SA - Sud America 82
Continente sconosciuto - Info sul continente non disponibili 50
OC - Oceania 3
Totale 5.927
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.375
GB - Regno Unito 661
CN - Cina 468
SG - Singapore 452
VN - Vietnam 363
SE - Svezia 187
DE - Germania 171
UA - Ucraina 169
IT - Italia 167
FR - Francia 101
RU - Federazione Russa 82
IN - India 79
HK - Hong Kong 77
IE - Irlanda 53
BR - Brasile 50
JP - Giappone 43
EE - Estonia 31
JO - Giordania 30
KR - Corea 29
TG - Togo 29
TR - Turchia 26
ZA - Sudafrica 23
BD - Bangladesh 16
SC - Seychelles 14
BE - Belgio 12
NL - Olanda 12
FI - Finlandia 11
AR - Argentina 10
CI - Costa d'Avorio 10
TH - Thailandia 10
CA - Canada 9
CH - Svizzera 8
ID - Indonesia 8
PH - Filippine 8
GR - Grecia 7
EC - Ecuador 6
PY - Paraguay 5
TW - Taiwan 5
MX - Messico 4
AU - Australia 3
CL - Cile 3
CO - Colombia 3
PL - Polonia 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 2
DK - Danimarca 2
HR - Croazia 2
IQ - Iraq 2
NG - Nigeria 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
ES - Italia 1
ET - Etiopia 1
EU - Europa 1
FK - Isole Falkland (Malvinas) 1
IL - Israele 1
KE - Kenya 1
KY - Cayman, isole 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
PS - Palestinian Territory 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 5.879
Salva come PNG Salva come JPEG
Città #
Southend 586
Singapore 299
Chandler 240
Fairfield 230
Santa Clara 172
Ashburn 168
Woodbridge 132
Jacksonville 128
San Jose 117
Wilmington 102
Houston 98
Ann Arbor 93
Cambridge 91
Seattle 90
Hefei 86
Hong Kong 74
Council Bluffs 70
Princeton 69
Dong Ket 67
Ho Chi Minh City 64
Hanoi 62
Dublin 53
Beijing 46
Boardman 46
Nanjing 35
Padova 35
Berlin 34
Westminster 34
Tokyo 33
Amman 29
Lauterbourg 29
Lomé 29
Los Angeles 29
Seoul 26
Medford 24
Istanbul 23
Turin 22
Saint Petersburg 20
Jinan 18
Shenyang 18
Milan 17
Mülheim 17
Buffalo 14
Guangzhou 14
Redmond 13
San Diego 13
Brussels 12
Mahé 12
Orem 12
Helsinki 11
Tianjin 11
Abidjan 10
Da Nang 10
Des Moines 10
Hangzhou 10
Nanchang 10
Phoenix 10
Falls Church 9
London 9
Verona 9
Bologna 8
Changsha 8
Hải Dương 8
New York 8
San Francisco 8
Shanghai 8
Bengaluru 7
Dallas 7
Ningbo 7
São Paulo 7
Frankfurt am Main 6
Hebei 6
Jiaxing 6
Zhengzhou 6
Bern 5
Chicago 5
Chongqing 5
Paris 5
Poplar 5
Redondo Beach 5
Yubileyny 5
Can Tho 4
Taizhou 4
Bangkok 3
Biên Hòa 3
Boston 3
Cagliari 3
Canberra 3
Cento 3
Chennai 3
Dhaka 3
Fuzhou 3
Guayaquil 3
Haikou 3
Haiphong 3
Hanover 3
Harbin 3
Hortolândia 3
Johannesburg 3
Lanzhou 3
Totale 4.048
Salva come PNG Salva come JPEG
Nome #
Comparing Recursion, Replication, and Iteration in Process Calculi 244
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 243
Data-Driven Coordination in Peer-to-Peer Information System 238
A Process Algebraic View of Shared Dataspace Coordination 221
A Survey on Non-Interference with Petri Nets 219
An expressiveness study of priority in process calculi 213
Choreography and Orchestration Conformance for System Design 209
Choreography and Orchestration: A Synergic Approach for System Design 206
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 205
Structural non-interference in elementary and trace nets 193
Positive Non–Interference in Elementary and Trace Nets 188
Towards a formal framework for Choreography 184
Deciding Reachability in Mobile Ambients 178
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 177
SOCK : A Calculus for Service Oriented Computing 177
Characterizing Workflow Nets Using Regions 169
On the expressive power of recursion, replication and iteration in process calculi 168
Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems 167
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 165
A Process Algebraic View of Coordination 161
On the Computational Power of Brane Calculi 161
On the Expressive Power of Global and Local Priority in Process Calculi 161
Deciding Behavioural Properties in Brane Calculi. 151
Some Notes on (Mem)Brane Computation 150
Security Issues in the Tuple-Space Coordination Model 150
Modeling and analysis of biological processes by mem(brane) calculi and systems 148
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers 146
Computing with Genetic Gates, Proteins, and Membranes 145
A Distributed Implementation of Mobile Nets as Mobile Agents 144
Linguaggi di Programmazione e Sistemi Software 141
Reachability Analysis in Boxed Ambients 139
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 139
Two Universality Results for (Mem)Brane Systems 122
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism 105
Totale 5.927
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.560
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 16.560
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022691 0 20 59 98 59 42 32 46 48 13 128 146
2022/2023795 97 169 59 84 55 75 22 27 121 7 57 22
2023/2024126 8 30 11 4 14 17 9 14 2 12 3 2
2024/2025695 20 140 92 25 201 13 59 5 5 5 37 93
2025/20261.359 79 136 141 98 223 83 139 46 203 114 36 61
2026/202751 17 34 0 0 0 0 0 0 0 0 0 0
Totale 5.927