IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.346
AS - Asia 823
EU - Europa 642
SA - Sud America 158
AF - Africa 9
OC - Oceania 1
Totale 2.979
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.293
SG - Singapore 457
CN - Cina 250
IE - Irlanda 151
IT - Italia 142
BR - Brasile 138
UA - Ucraina 128
RU - Federazione Russa 75
CA - Canada 51
KR - Corea 36
VN - Vietnam 36
SE - Svezia 33
FI - Finlandia 27
DE - Germania 17
FR - Francia 17
TR - Turchia 15
GB - Regno Unito 14
CH - Svizzera 8
ES - Italia 8
IN - India 7
AR - Argentina 5
EC - Ecuador 5
PL - Polonia 5
BD - Bangladesh 4
IQ - Iraq 4
LT - Lituania 4
NL - Olanda 4
VE - Venezuela 4
AT - Austria 3
BG - Bulgaria 2
BJ - Benin 2
HK - Hong Kong 2
ID - Indonesia 2
JP - Giappone 2
LB - Libano 2
MX - Messico 2
NG - Nigeria 2
PE - Perù 2
TW - Taiwan 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BE - Belgio 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
HU - Ungheria 1
PK - Pakistan 1
PY - Paraguay 1
RO - Romania 1
TN - Tunisia 1
UY - Uruguay 1
Totale 2.979
Salva come PNG Salva come JPEG
Città #
Dallas 277
Singapore 235
Santa Clara 217
Dublin 151
Jacksonville 122
Hefei 83
Chandler 76
Boardman 60
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Ashburn 40
Seoul 36
Catania 34
Toronto 33
Moscow 25
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Los Angeles 19
São Paulo 16
Ho Chi Minh City 15
Milan 15
Chicago 14
Nanchang 14
Wilmington 14
Istanbul 13
Hebei 12
Jiaxing 11
Rome 11
The Dalles 11
Columbus 10
Shenyang 10
Frankfurt am Main 8
Hanoi 8
Montreal 8
Changsha 7
Ottawa 7
Beijing 6
Belo Horizonte 6
Palermo 6
Saint Petersburg 6
Tianjin 6
Denver 5
Las Vegas 5
New York 5
Venice 5
Boston 4
Florence 4
Gerenzago 4
Lappeenranta 4
Rometta Marea 4
Seattle 4
Stockholm 4
Amsterdam 3
Bologna 3
Brasília 3
Buffalo 3
Guayaquil 3
Lanzhou 3
Maceió 3
Munich 3
Naples 3
New Delhi 3
Nuremberg 3
Reggio Calabria 3
Ribeirão Preto 3
San Francisco 3
Turin 3
Villeurbanne 3
Abuja 2
Ann Arbor 2
Barquisimeto 2
Betim 2
Brooklyn 2
Cotonou 2
Council Bluffs 2
Erbil 2
Guarulhos 2
Ha Long 2
Hong Kong 2
Hortolândia 2
Itanhaém 2
Jinan 2
Kunming 2
Lausanne 2
Lima 2
Locri 2
Manchester 2
Norwalk 2
Orem 2
Passo Fundo 2
Paternò 2
Phoenix 2
Porto Alegre 2
San Ferdinando 2
Santa Croce sull'Arno 2
Tokyo 2
Totale 2.062
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 92
A Full Continuous Model of Polymorphism 84
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 84
Sub-behaviour relations for session-based client/server systems 77
Reversible client/server interactions 76
Intersection types and lambda models 75
Retractability, games and orchestrators for session contracts 75
A Constructive Valuation Semantics for Classical Logic 71
Intersection Types for Lambda-Trees 71
Alias and Union Types for Delegation 69
Witness Extraction in Classical Logic through Normalization 68
Intersection Types for the lambda-mu Calculus 68
Orchestrated Session Compliance 68
Compliance for reversible client/server interactions 67
Formal Choreographic Languages 65
Extracting Constructive Content from Classical Logic via Control-like Reductions 65
Session types and subtyping for orchestrated interactions 64
Composition of synchronous communicating systems 63
Tailoring Filter Models 62
The Simply-Typed Theory of beta-conversion has no Maximum Extension 61
Connecting open systems of communicating finite state machines 61
Retractable and speculative contracts 60
Space-aware Ambients and Processes 59
Typing Asymmetric Client-Server Interactions 59
Global Types for Open Systems 59
Characterisation of Strongly Normalising lambda-mu-Terms 58
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 57
Asynchronous Multiparty Sessions with Internal Delegation 57
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 57
A Game Interpretation of Retractable Contracts 57
A theory of retractable and speculative contracts 56
Type assignment for mobile objects 55
On Formal Choreographic Modelling: A Case Study in EU Business Processes 54
Open Compliance in Multiparty Sessions 54
Loosening the notions of compliance and sub-behaviour in client/server systems 53
A Type Inference Algorithm for Secure Ambients 53
A Filter Model for lambda-mu 52
Corinne, a Tool for Choreography Automata 52
BoCa: A calculus of bounded capacities 51
Can Addresses be Types? (a case study: objects with delegation) 51
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 50
Orchestrated Session Compliance 48
Types and Computational Rules 46
Two Notions of Sub-behaviour for Session-based Client/Server Systems 44
Composing Communicating Systems, Synchronously 44
Composition and decomposition of multiparty sessions 43
Un-projectable Global Types for Multiparty Sessions 41
Partially Typed Multiparty Sessions 41
Choreography Automata 41
Multicompatibility for Multiparty-Session Composition 40
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 39
Retractable Contracts 38
Totale 3.055
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.294
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 12.294
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202175 0 0 0 0 0 8 14 0 23 1 18 11
2021/2022273 32 42 0 5 44 0 44 10 28 0 4 64
2022/2023366 42 0 0 17 19 77 2 54 125 1 20 9
2023/2024205 10 11 10 20 6 4 5 8 0 15 87 29
2024/2025818 1 77 40 30 159 113 28 34 65 112 63 96
2025/2026911 92 122 311 97 238 51 0 0 0 0 0 0
Totale 3.055