CRIS Current Research Information System

BUSI, NADIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.097
EU - Europa 1.625
AS - Asia 1.323
AF - Africa 77
SA - Sud America 66
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.193
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.090
GB - Regno Unito 657
SG - Singapore 437
CN - Cina 416
SE - Svezia 187
VN - Vietnam 187
UA - Ucraina 169
DE - Germania 166
IT - Italia 152
RU - Federazione Russa 82
IN - India 74
HK - Hong Kong 73
FR - Francia 69
IE - Irlanda 53
BR - Brasile 42
JP - Giappone 36
EE - Estonia 31
JO - Giordania 29
TG - Togo 29
KR - Corea 26
TR - Turchia 26
ZA - Sudafrica 22
SC - Seychelles 14
BE - Belgio 12
CI - Costa d'Avorio 10
FI - Finlandia 10
NL - Olanda 10
AR - Argentina 9
CH - Svizzera 8
ID - Indonesia 7
GR - Grecia 6
BD - Bangladesh 4
MX - Messico 4
PY - Paraguay 4
AU - Australia 3
CL - Cile 3
EC - Ecuador 3
CA - Canada 2
CO - Colombia 2
DK - Danimarca 2
HR - Croazia 2
PL - Polonia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EU - Europa 1
FK - Isole Falkland (Malvinas) 1
IL - Israele 1
IQ - Iraq 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 5.193
Salva come PNG Salva come JPEG
Città #
Southend 586
Singapore 288
Chandler 240
Fairfield 230
Santa Clara 171
Ashburn 151
Woodbridge 132
Jacksonville 128
Wilmington 102
Houston 98
Ann Arbor 93
Cambridge 91
Seattle 89
Hefei 86
Hong Kong 73
Princeton 69
Dong Ket 67
Dublin 53
Beijing 43
Boardman 42
Padova 35
Berlin 34
Nanjing 34
Westminster 34
Tokyo 30
Amman 29
Lomé 29
Los Angeles 28
Seoul 26
Medford 24
Istanbul 23
Ho Chi Minh City 22
Turin 22
Saint Petersburg 20
Shenyang 18
Mülheim 17
Jinan 16
Milan 15
Buffalo 14
Hanoi 13
Redmond 13
Brussels 12
Mahé 12
San Diego 12
Abidjan 10
Des Moines 10
Helsinki 10
Nanchang 10
Falls Church 9
Guangzhou 9
Tianjin 9
Verona 9
Bengaluru 7
Hải Dương 7
Ningbo 7
Shanghai 7
Changsha 6
Hebei 6
Jiaxing 6
London 6
São Paulo 6
Bern 5
Chongqing 5
Hangzhou 5
Paris 5
Phoenix 5
Redondo Beach 5
Yubileyny 5
Zhengzhou 5
Bologna 4
Dallas 4
Frankfurt am Main 4
New York 4
San Francisco 4
Taizhou 4
Boston 3
Cagliari 3
Can Tho 3
Canberra 3
Cento 3
Da Nang 3
Fuzhou 3
Haikou 3
Harbin 3
Hortolândia 3
Lanzhou 3
Norwalk 3
Nuremberg 3
Orem 3
Poplar 3
Rosario 3
San Giorgio di Piano 3
Taiyuan 3
Washington 3
Basiliano 2
Bremen 2
Brooklyn 2
Charlotte 2
Chennai 2
Chicago 2
Totale 3.631
Salva come PNG Salva come JPEG
Nome #
Comparing Recursion, Replication, and Iteration in Process Calculi 231
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 225
Data-Driven Coordination in Peer-to-Peer Information System 216
A Process Algebraic View of Shared Dataspace Coordination 198
An expressiveness study of priority in process calculi 193
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 192
A Survey on Non-Interference with Petri Nets 191
Choreography and Orchestration Conformance for System Design 183
Choreography and Orchestration: A Synergic Approach for System Design 181
Positive Non–Interference in Elementary and Trace Nets 173
Deciding Reachability in Mobile Ambients 162
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 161
Towards a formal framework for Choreography 161
SOCK : A Calculus for Service Oriented Computing 157
Structural non-interference in elementary and trace nets 155
Characterizing Workflow Nets Using Regions 148
A Process Algebraic View of Coordination 146
Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems 144
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 142
On the expressive power of recursion, replication and iteration in process calculi 141
On the Expressive Power of Global and Local Priority in Process Calculi 138
A Distributed Implementation of Mobile Nets as Mobile Agents 135
Security Issues in the Tuple-Space Coordination Model 134
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers 133
On the Computational Power of Brane Calculi 132
Modeling and analysis of biological processes by mem(brane) calculi and systems 130
Deciding Behavioural Properties in Brane Calculi. 128
Computing with Genetic Gates, Proteins, and Membranes 126
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 126
Some Notes on (Mem)Brane Computation 124
Linguaggi di Programmazione e Sistemi Software 121
Reachability Analysis in Boxed Ambients 118
Two Universality Results for (Mem)Brane Systems 100
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism 94
Totale 5.239
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.360
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 14.360
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021445 0 0 0 0 0 33 17 57 100 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/2026722 79 136 141 98 223 45 0 0 0 0 0 0
Totale 5.239