CRIS Current Research Information System

BUSI, NADIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.353
EU - Europa 1.683
AS - Asia 1.623
AF - Africa 83
SA - Sud America 80
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.827
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.338
GB - Regno Unito 661
CN - Cina 467
SG - Singapore 449
VN - Vietnam 363
SE - Svezia 187
DE - Germania 171
UA - Ucraina 169
IT - Italia 165
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
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
CH - Svizzera 8
ID - Indonesia 8
PH - Filippine 8
CA - Canada 7
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
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
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
Totale 5.827
Salva come PNG Salva come JPEG
Città #
Southend 586
Singapore 296
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 73
Princeton 69
Dong Ket 67
Ho Chi Minh City 64
Hanoi 62
Dublin 53
Boardman 46
Beijing 45
Council Bluffs 43
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
Brussels 12
Mahé 12
Orem 12
San Diego 12
Helsinki 11
Tianjin 11
Abidjan 10
Da Nang 10
Des Moines 10
Hangzhou 10
Nanchang 10
Phoenix 10
Falls Church 9
Verona 9
Bologna 8
Changsha 8
Hải Dương 8
London 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.014
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 242
Data-Driven Coordination in Peer-to-Peer Information System 237
A Process Algebraic View of Shared Dataspace Coordination 221
A Survey on Non-Interference with Petri Nets 218
An expressiveness study of priority in process calculi 212
Choreography and Orchestration Conformance for System Design 208
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 203
Choreography and Orchestration: A Synergic Approach for System Design 202
Structural non-interference in elementary and trace nets 191
Positive Non–Interference in Elementary and Trace Nets 186
Towards a formal framework for Choreography 183
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 176
Deciding Reachability in Mobile Ambients 176
SOCK : A Calculus for Service Oriented Computing 175
Characterizing Workflow Nets Using Regions 168
On the expressive power of recursion, replication and iteration in process calculi 167
Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems 164
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 164
A Process Algebraic View of Coordination 161
On the Computational Power of Brane Calculi 160
On the Expressive Power of Global and Local Priority in Process Calculi 159
Security Issues in the Tuple-Space Coordination Model 149
Deciding Behavioural Properties in Brane Calculi. 148
Some Notes on (Mem)Brane Computation 148
Modeling and analysis of biological processes by mem(brane) calculi and systems 147
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers 145
A Distributed Implementation of Mobile Nets as Mobile Agents 144
Computing with Genetic Gates, Proteins, and Membranes 142
Linguaggi di Programmazione e Sistemi Software 139
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 138
Reachability Analysis in Boxed Ambients 136
Two Universality Results for (Mem)Brane Systems 120
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism 104
Totale 5.875
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.009
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.009
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021149 0 0 0 0 0 0 0 0 0 0 0 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.358 79 136 141 98 223 83 139 46 203 114 36 60
Totale 5.875