COPPO, Mario
 Distribuzione geografica
Continente #
NA - Nord America 1.337
EU - Europa 374
AS - Asia 164
AF - Africa 25
SA - Sud America 13
OC - Oceania 2
Totale 1.915
Nazione #
US - Stati Uniti d'America 1.328
IT - Italia 147
CN - Cina 82
DE - Germania 58
GB - Regno Unito 35
KR - Corea 31
VN - Vietnam 25
PL - Polonia 23
ZA - Sudafrica 22
FR - Francia 19
CZ - Repubblica Ceca 18
NL - Olanda 15
CA - Canada 9
IN - India 9
FI - Finlandia 8
UA - Ucraina 7
BR - Brasile 6
SK - Slovacchia (Repubblica Slovacca) 6
CL - Cile 5
RU - Federazione Russa 5
CH - Svizzera 4
PT - Portogallo 4
ID - Indonesia 3
IE - Irlanda 3
MT - Malta 3
AR - Argentina 2
AU - Australia 2
DK - Danimarca 2
ES - Italia 2
HR - Croazia 2
HU - Ungheria 2
JP - Giappone 2
LV - Lettonia 2
PH - Filippine 2
SA - Arabia Saudita 2
SG - Singapore 2
AL - Albania 1
AT - Austria 1
BG - Bulgaria 1
CY - Cipro 1
EG - Egitto 1
GR - Grecia 1
HK - Hong Kong 1
IR - Iran 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
NO - Norvegia 1
PK - Pakistan 1
RO - Romania 1
RS - Serbia 1
TH - Thailandia 1
TN - Tunisia 1
TW - Taiwan 1
Totale 1.915
Città #
Fairfield 172
Buffalo 110
Houston 103
Ashburn 101
Woodbridge 96
Seattle 84
Santa Cruz 80
Cambridge 63
Wilmington 57
Torino 53
Beijing 48
Ann Arbor 46
University Park 43
Mountain View 27
Dong Ket 22
Pisa 22
Warsaw 22
Muizenberg 18
Modena 14
Chicago 12
Phoenix 12
Clearwater 10
San Diego 10
Owings Mills 8
Boardman 7
Las Vegas 7
Shanghai 7
Bengaluru 6
Biella 6
Binasco 6
Hangzhou 6
Lake Forest 6
London 6
Nürnberg 6
Riva 6
Varallo 6
Bratislava 5
Dallas 5
Des Moines 5
Easton 5
Los Angeles 5
Piacenza 5
Deest 4
Fleming Island 4
Helsinki 4
Henderson 4
Lappeenranta 4
Lisbon 4
New York 4
Provo 4
Tappahannock 4
Toronto 4
Amsterdam 3
Columbus 3
Dublin 3
Edinburgh 3
Fremont 3
Herndon 3
Nanjing 3
Opfikon 3
Ottawa 3
San Jose 3
Silverton 3
Uckfield 3
Wuhan 3
Aiken 2
Austin 2
Darmstadt 2
Denver 2
Florissant 2
Freiburg 2
Goiânia 2
Harbin 2
Hebei 2
Hilversum 2
Huntsville 2
Naxxar 2
Norwalk 2
Philadelphia 2
Pianezza 2
Pune 2
San Francisco 2
Singapore 2
Stuttgart 2
Waterloo 2
White Plains 2
Yellow Springs 2
Akron 1
Augusta 1
Avellino 1
Belgrade 1
Birmingham 1
Block 1
Bologna 1
Boston 1
Brockport 1
Bruchköbel 1
Bryansk 1
Campinas 1
Changsha 1
Totale 1.474
Nome #
Global Progress for Dynamically Interleaved Multiparty Sessions, file e27ce427-0a86-2581-e053-d805fe0acbaa 186
Data-driven adaptation for smart sessions, file e27ce42b-963b-2581-e053-d805fe0acbaa 167
Self-Adaptive Monitors for Multiparty Sessions, file e27ce426-f38e-2581-e053-d805fe0acbaa 162
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, file e27ce426-fe49-2581-e053-d805fe0acbaa 159
On Isomorphism of "Functional" Intersection and Union Types., file e27ce427-473c-2581-e053-d805fe0acbaa 153
Hybrid Calculus of Wrapped Compartments, file e27ce426-c5d3-2581-e053-d805fe0acbaa 152
Parallel stochastic systems biology in the cloud, file e27ce426-f817-2581-e053-d805fe0acbaa 151
Parallel Stochastic Simulators in System Biology: The Evolution of the Species, file e27ce427-4aa0-2581-e053-d805fe0acbaa 144
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics, file e27ce427-0c8b-2581-e053-d805fe0acbaa 137
Partial and Complete Processes in Multiparty Sessions, file e27ce429-3ea0-2581-e053-d805fe0acbaa 129
Self-adaptive multiparty sessions, file e27ce427-0580-2581-e053-d805fe0acbaa 125
Isomorphism of intersection and union types, file e27ce429-4a9c-2581-e053-d805fe0acbaa 124
Toward Isomorphism of Intersection and Union Types, file e27ce426-f9b9-2581-e053-d805fe0acbaa 120
Isomorphism of "Functional" Intersection Types, file e27ce427-09dc-2581-e053-d805fe0acbaa 45
Isomorphism of "Functional" Intersection Types, file e27ce427-43eb-2581-e053-d805fe0acbaa 17
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004), file e27ce42a-8947-2581-e053-d805fe0acbaa 16
Simulation techniques for the calculus of wrapped compartments, file e27ce42a-de81-2581-e053-d805fe0acbaa 13
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis, file e27ce426-db5f-2581-e053-d805fe0acbaa 6
Global Progress for Dynamically Interleaved Multiparty Sessions, file e27ce428-0d80-2581-e053-d805fe0acbaa 3
Parallel stochastic systems biology in the cloud, file e27ce429-743d-2581-e053-d805fe0acbaa 2
Amalgamating Sessions and Methods in Object Oriented Languages with Generics, file e27ce426-b2e7-2581-e053-d805fe0acbaa 1
On Parallelizing On-Line Statistics for Stochastic Biological Simulations, file e27ce426-ead5-2581-e053-d805fe0acbaa 1
On designing multicore-aware simulators for biological systems, file e27ce42a-a910-2581-e053-d805fe0acbaa 1
Strictness, totality, and non-standard type inference, file e27ce42a-b97f-2581-e053-d805fe0acbaa 1
Simulation techniques for the calculus of wrapped compartments, file e27ce42a-de80-2581-e053-d805fe0acbaa 1
A gentle introduction to multiparty asynchronous session types, file e27ce42b-f15f-2581-e053-d805fe0acbaa 1
Totale 2.017
Categoria #
all - tutte 2.895
article - articoli 0
book - libri 0
conference - conferenze 1.587
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.482


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019182 0 0 0 0 0 0 0 0 0 0 99 83
2019/2020488 50 33 31 89 50 33 36 39 51 24 28 24
2020/2021373 20 34 47 26 27 19 21 47 31 40 18 43
2021/2022340 29 19 23 31 38 22 24 15 11 14 87 27
2022/2023215 8 17 82 35 15 18 14 5 3 7 10 1
2023/202444 2 0 6 0 4 5 9 8 2 5 3 0
Totale 2.017