IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.307
AS - Asia 685
EU - Europa 601
SA - Sud America 151
AF - Africa 6
OC - Oceania 1
Totale 2.751
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.255
SG - Singapore 325
CN - Cina 248
IE - Irlanda 151
IT - Italia 139
BR - Brasile 132
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.751
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
Ashburn 23
Helsinki 23
San Mateo 22
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
Los Angeles 12
Jiaxing 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.931
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 86
A Full Continuous Model of Polymorphism 80
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 79
Sub-behaviour relations for session-based client/server systems 73
Intersection types and lambda models 72
Reversible client/server interactions 71
Retractability, games and orchestrators for session contracts 70
A Constructive Valuation Semantics for Classical Logic 67
Intersection Types for Lambda-Trees 67
Orchestrated Session Compliance 67
Witness Extraction in Classical Logic through Normalization 65
Compliance for reversible client/server interactions 63
Alias and Union Types for Delegation 62
Extracting Constructive Content from Classical Logic via Control-like Reductions 62
Intersection Types for the lambda-mu Calculus 60
Session types and subtyping for orchestrated interactions 60
Formal Choreographic Languages 59
Composition of synchronous communicating systems 59
The Simply-Typed Theory of beta-conversion has no Maximum Extension 59
Space-aware Ambients and Processes 56
Tailoring Filter Models 56
Connecting open systems of communicating finite state machines 55
Typing Asymmetric Client-Server Interactions 54
Characterisation of Strongly Normalising lambda-mu-Terms 54
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 53
Asynchronous Multiparty Sessions with Internal Delegation 53
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 53
A Game Interpretation of Retractable Contracts 53
Retractable and speculative contracts 53
Global Types for Open Systems 53
Type assignment for mobile objects 52
On Formal Choreographic Modelling: A Case Study in EU Business Processes 51
A Type Inference Algorithm for Secure Ambients 50
Loosening the notions of compliance and sub-behaviour in client/server systems 48
BoCa: A calculus of bounded capacities 48
Can Addresses be Types? (a case study: objects with delegation) 48
A theory of retractable and speculative contracts 48
A Filter Model for lambda-mu 48
Corinne, a Tool for Choreography Automata 48
Open Compliance in Multiparty Sessions 45
Orchestrated Session Compliance 44
Types and Computational Rules 44
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 44
Two Notions of Sub-behaviour for Session-based Client/Server Systems 42
Composing Communicating Systems, Synchronously 40
Multicompatibility for Multiparty-Session Composition 38
Composition and decomposition of multiparty sessions 37
Un-projectable Global Types for Multiparty Sessions 36
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 36
Retractable Contracts 36
Choreography Automata 36
Partially Typed Multiparty Sessions 34
Totale 2.827
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.887
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.887
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/2026683 92 122 311 97 61 0 0 0 0 0 0 0
Totale 2.827