CRIS Current Research Information System

BUSI, NADIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.243
EU - Europa 1.671
AS - Asia 1.615
AF - Africa 83
SA - Sud America 80
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.697
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.230
GB - Regno Unito 660
CN - Cina 466
SG - Singapore 449
VN - Vietnam 363
SE - Svezia 187
DE - Germania 171
UA - Ucraina 169
IT - Italia 155
FR - Francia 100
RU - Federazione Russa 82
IN - India 79
HK - Hong Kong 76
IE - Irlanda 53
BR - Brasile 48
JP - Giappone 43
EE - Estonia 31
JO - Giordania 30
KR - Corea 29
TG - Togo 29
TR - Turchia 26
ZA - Sudafrica 23
SC - Seychelles 14
BE - Belgio 12
FI - Finlandia 11
NL - Olanda 11
AR - Argentina 10
CI - Costa d'Avorio 10
TH - Thailandia 10
BD - Bangladesh 9
CH - Svizzera 8
ID - Indonesia 8
PH - Filippine 8
GR - Grecia 7
CA - Canada 6
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
DK - Danimarca 2
HR - Croazia 2
IQ - Iraq 2
NG - Nigeria 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BO - Bolivia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
EU - Europa 1
FK - Isole Falkland (Malvinas) 1
IL - Israele 1
KE - Kenya 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
TT - Trinidad e Tobago 1
Totale 5.697
Salva come PNG Salva come JPEG
Città #
Southend 586
Singapore 296
Chandler 240
Fairfield 230
Santa Clara 171
Ashburn 160
Woodbridge 132
Jacksonville 128
Wilmington 102
San Jose 99
Houston 98
Ann Arbor 93
Cambridge 91
Seattle 89
Hefei 86
Hong Kong 73
Princeton 69
Dong Ket 67
Ho Chi Minh City 64
Hanoi 62
Dublin 53
Beijing 44
Boardman 42
Nanjing 35
Padova 35
Berlin 34
Westminster 34
Tokyo 33
Amman 29
Lauterbourg 29
Lomé 29
Los Angeles 28
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
Brussels 12
Mahé 12
San Diego 12
Helsinki 11
Tianjin 11
Abidjan 10
Da Nang 10
Des Moines 10
Hangzhou 10
Nanchang 10
Falls Church 9
Verona 9
Changsha 8
Hải Dương 8
Shanghai 8
Bengaluru 7
Council Bluffs 7
London 7
Ningbo 7
Orem 7
Phoenix 7
São Paulo 7
Frankfurt am Main 6
Hebei 6
Jiaxing 6
Zhengzhou 6
Bern 5
Chongqing 5
New York 5
Paris 5
Poplar 5
Redondo Beach 5
Yubileyny 5
Bologna 4
Can Tho 4
Dallas 4
San Francisco 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
New Taipei City 3
Totale 3.919
Salva come PNG Salva come JPEG
Nome #
Comparing Recursion, Replication, and Iteration in Process Calculi 242
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 239
Data-Driven Coordination in Peer-to-Peer Information System 234
A Survey on Non-Interference with Petri Nets 215
A Process Algebraic View of Shared Dataspace Coordination 211
An expressiveness study of priority in process calculi 207
Choreography and Orchestration Conformance for System Design 202
Choreography and Orchestration: A Synergic Approach for System Design 198
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 198
Positive Non–Interference in Elementary and Trace Nets 185
Towards a formal framework for Choreography 176
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 175
Deciding Reachability in Mobile Ambients 174
Structural non-interference in elementary and trace nets 172
SOCK : A Calculus for Service Oriented Computing 171
Characterizing Workflow Nets Using Regions 165
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 163
Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems 160
A Process Algebraic View of Coordination 159
On the Computational Power of Brane Calculi 159
On the Expressive Power of Global and Local Priority in Process Calculi 159
On the expressive power of recursion, replication and iteration in process calculi 158
Security Issues in the Tuple-Space Coordination Model 145
Deciding Behavioural Properties in Brane Calculi. 144
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers 144
Some Notes on (Mem)Brane Computation 143
Modeling and analysis of biological processes by mem(brane) calculi and systems 143
A Distributed Implementation of Mobile Nets as Mobile Agents 141
Computing with Genetic Gates, Proteins, and Membranes 140
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 138
Linguaggi di Programmazione e Sistemi Software 135
Reachability Analysis in Boxed Ambients 132
Two Universality Results for (Mem)Brane Systems 114
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism 104
Totale 5.745
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.373
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 15.373
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021238 0 0 0 0 0 0 0 0 0 34 55 149
2021/2022741 50 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.228 79 136 141 98 223 83 139 46 203 80 0 0
Totale 5.745