MARGARIA, Ines Maria
 Distribuzione geografica
Continente #
NA - Nord America 1.447
EU - Europa 867
AS - Asia 295
SA - Sud America 1
Totale 2.610
Nazione #
US - Stati Uniti d'America 1.439
SE - Svezia 166
CN - Cina 130
UA - Ucraina 114
IT - Italia 108
DE - Germania 89
IE - Irlanda 83
FR - Francia 82
SG - Singapore 77
DK - Danimarca 71
FI - Finlandia 60
KR - Corea 50
RU - Federazione Russa 23
PL - Polonia 22
GB - Regno Unito 20
VN - Vietnam 19
BE - Belgio 12
CA - Canada 8
AT - Austria 7
IN - India 6
ID - Indonesia 5
TH - Thailandia 5
GR - Grecia 4
ES - Italia 2
JP - Giappone 2
NL - Olanda 2
BR - Brasile 1
CZ - Repubblica Ceca 1
HK - Hong Kong 1
NO - Norvegia 1
Totale 2.610
Città #
Ann Arbor 268
Chandler 168
Santa Clara 165
Dublin 83
Beijing 78
Wilmington 66
Fairfield 60
Singapore 59
Torino 56
Jacksonville 54
Dearborn 52
Villeurbanne 49
Houston 43
Woodbridge 40
Princeton 38
Medford 31
Nyköping 30
Ashburn 28
Columbus 27
Guangzhou 27
Warsaw 22
Seattle 21
Pisa 20
Cambridge 18
Dong Ket 16
Boston 14
Brussels 12
Norwalk 9
Milan 8
Boardman 7
San Mateo 7
Vienna 7
Jakarta 5
San Diego 5
Toronto 5
Hefei 4
Kunming 4
Phoenix 4
Bangkok 3
Düsseldorf 3
Falls Church 3
Jinan 3
Lachine 3
Nanjing 3
Nürnberg 3
Padova 3
Redwood City 3
Chengdu 2
Coimbatore 2
Fremont 2
Helsinki 2
Lappeenranta 2
Mountain View 2
Munich 2
Nanchang 2
Naples 2
New York 2
Shanghai 2
Wayne 2
Amsterdam 1
Beinasco 1
Biella 1
Des Moines 1
Forest City 1
Frodsham 1
Hanover 1
Hebei 1
Hong Kong 1
London 1
Los Angeles 1
Mantova 1
Serra 1
Stavanger 1
Taiyuan 1
Verona 1
Totale 1.677
Nome #
Isomorphism of intersection and union types 324
On Isomorphism of "Functional" Intersection and Union Types. 231
Isomorphism of "Functional" Intersection Types 187
Partial and Complete Processes in Multiparty Sessions 187
Toward Isomorphism of Intersection and Union Types 172
DeltaJ: a delta oriented programming language with core and delta modules 106
A new scheme for analyzing parallel processing systems 85
SWRTJ - Sugared Welterweight Record-Trait Java 83
F-Semantics for Intersection Type Discipline 81
Generalized filter models 76
Tree-manipulation in an algorithm for maximizing parallelism 76
Principal typing in a for-all intersection discipline 75
A characterization of F-complete assignments 73
SPAn - Session Progress Analyzer 73
Access control in mobile ambient calculi: A comparative view 72
Determinacy and maximal parallelism in a structured model of parallel computation 71
CWC Surface Language Software (Prototypal Software) 71
A filter model for safe ambients 70
Filter models with polymorphic types 65
A Characterization of F-Complete Type Assignments 65
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System 62
A Study of Multiple Activations in a Model for Parallel Computations 60
Right and Left invertibility in lambda-beta calculus 58
Semantics of the CNET Internode Communication Mechanism 56
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS 56
Control Structures in Models for Parallel Computation 56
Semantica della macchina X-CODE 56
Polymorphic Types, Fixed-point Combinators , Continuous Lambda-models 48
Totale 2.695
Categoria #
all - tutte 6.795
article - articoli 0
book - libri 0
conference - conferenze 2.355
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.150


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020265 0 0 0 0 0 66 58 25 42 28 26 20
2020/2021429 32 13 29 15 42 43 41 41 58 49 40 26
2021/2022421 5 3 2 35 30 6 43 32 6 82 107 70
2022/2023381 71 42 7 38 34 88 42 17 25 0 14 3
2023/2024103 12 27 4 7 6 9 0 2 1 2 13 20
2024/2025309 1 38 17 37 186 30 0 0 0 0 0 0
Totale 2.695