IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.304
AS - Asia 635
EU - Europa 601
SA - Sud America 150
AF - Africa 6
OC - Oceania 1
Totale 2.697
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.252
SG - Singapore 275
CN - Cina 248
IE - Irlanda 151
IT - Italia 139
BR - Brasile 131
UA - Ucraina 128
CA - Canada 51
RU - Federazione Russa 39
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 7
EC - Ecuador 5
IN - India 5
PL - Polonia 5
AR - Argentina 4
BD - Bangladesh 4
LT - Lituania 4
VE - Venezuela 4
AT - Austria 3
IQ - Iraq 3
NL - Olanda 3
BG - Bulgaria 2
HK - Hong Kong 2
JP - Giappone 2
LB - Libano 2
NG - Nigeria 2
PE - Perù 2
TW - Taiwan 2
UZ - Uzbekistan 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
ID - Indonesia 1
MX - Messico 1
PK - Pakistan 1
PY - Paraguay 1
RO - Romania 1
TN - Tunisia 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 2.697
Salva come PNG Salva come JPEG
Città #
Dallas 277
Santa Clara 217
Singapore 158
Dublin 151
Jacksonville 122
Hefei 83
Chandler 76
Boardman 60
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Seoul 36
Catania 34
Toronto 33
Helsinki 23
San Mateo 22
Ashburn 21
Civitanova Marche 21
Des Moines 21
Ho Chi Minh City 15
Milan 15
São Paulo 15
Chicago 14
Nanchang 14
Wilmington 14
Istanbul 13
Hebei 12
Jiaxing 11
Los Angeles 11
Rome 11
The Dalles 11
Columbus 10
Shenyang 10
Frankfurt am Main 8
Hanoi 8
Montreal 8
Changsha 7
Ottawa 7
Belo Horizonte 6
Moscow 6
Palermo 6
Saint Petersburg 6
Tianjin 6
Beijing 5
Las Vegas 5
Venice 5
Boston 4
Denver 4
Florence 4
Gerenzago 4
Lappeenranta 4
Rometta Marea 4
Seattle 4
Stockholm 4
Bologna 3
Brasília 3
Guayaquil 3
Lanzhou 3
Maceió 3
Munich 3
Naples 3
New York 3
Nuremberg 3
Reggio Calabria 3
San Francisco 3
Villeurbanne 3
Abuja 2
Amsterdam 2
Ann Arbor 2
Barquisimeto 2
Betim 2
Brooklyn 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
New Delhi 2
Norwalk 2
Passo Fundo 2
Paternò 2
Phoenix 2
Porto Alegre 2
Ribeirão Preto 2
San Ferdinando 2
Santa Croce sull'Arno 2
Tokyo 2
Viamão 2
Warsaw 2
Zhengzhou 2
Adana 1
Totale 1.928
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 85
A Full Continuous Model of Polymorphism 79
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 78
Sub-behaviour relations for session-based client/server systems 72
Intersection types and lambda models 71
Reversible client/server interactions 70
Retractability, games and orchestrators for session contracts 69
A Constructive Valuation Semantics for Classical Logic 66
Intersection Types for Lambda-Trees 66
Orchestrated Session Compliance 66
Witness Extraction in Classical Logic through Normalization 64
Compliance for reversible client/server interactions 62
Alias and Union Types for Delegation 61
Extracting Constructive Content from Classical Logic via Control-like Reductions 61
Intersection Types for the lambda-mu Calculus 59
Session types and subtyping for orchestrated interactions 59
Composition of synchronous communicating systems 58
The Simply-Typed Theory of beta-conversion has no Maximum Extension 58
Formal Choreographic Languages 57
Space-aware Ambients and Processes 55
Tailoring Filter Models 55
Connecting open systems of communicating finite state machines 54
Typing Asymmetric Client-Server Interactions 53
Characterisation of Strongly Normalising lambda-mu-Terms 53
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 52
Asynchronous Multiparty Sessions with Internal Delegation 52
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 52
A Game Interpretation of Retractable Contracts 52
Retractable and speculative contracts 52
Global Types for Open Systems 52
Type assignment for mobile objects 51
On Formal Choreographic Modelling: A Case Study in EU Business Processes 50
A Type Inference Algorithm for Secure Ambients 49
Corinne, a Tool for Choreography Automata 48
Loosening the notions of compliance and sub-behaviour in client/server systems 47
BoCa: A calculus of bounded capacities 47
Can Addresses be Types? (a case study: objects with delegation) 47
A theory of retractable and speculative contracts 47
A Filter Model for lambda-mu 47
Open Compliance in Multiparty Sessions 44
Types and Computational Rules 43
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 43
Orchestrated Session Compliance 42
Two Notions of Sub-behaviour for Session-based Client/Server Systems 41
Composing Communicating Systems, Synchronously 38
Multicompatibility for Multiparty-Session Composition 37
Composition and decomposition of multiparty sessions 37
Un-projectable Global Types for Multiparty Sessions 35
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 35
Retractable Contracts 35
Choreography Automata 34
Partially Typed Multiparty Sessions 33
Totale 2.773
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.768
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 11.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021134 0 0 0 0 59 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/2026629 92 122 311 97 7 0 0 0 0 0 0 0
Totale 2.773