IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.411
EU - Europa 926
AS - Asia 855
SA - Sud America 161
AF - Africa 10
OC - Oceania 1
Totale 3.364
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.353
SG - Singapore 471
RU - Federazione Russa 354
CN - Cina 259
IE - Irlanda 151
IT - Italia 142
BR - Brasile 141
UA - Ucraina 128
CA - Canada 56
KR - Corea 36
VN - Vietnam 36
SE - Svezia 34
FI - Finlandia 27
DE - Germania 17
FR - Francia 17
TR - Turchia 16
GB - Regno Unito 15
IN - India 12
ES - Italia 10
CH - Svizzera 8
PL - Polonia 6
AR - Argentina 5
BD - Bangladesh 5
EC - Ecuador 5
HK - Hong Kong 4
IQ - Iraq 4
LT - Lituania 4
NL - Olanda 4
VE - Venezuela 4
AT - Austria 3
ZA - Sudafrica 3
BG - Bulgaria 2
BJ - Benin 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
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 3.364
Salva come PNG Salva come JPEG
Città #
Dallas 277
Singapore 249
Santa Clara 217
Moscow 162
Dublin 151
Jacksonville 122
Hefei 83
Chandler 76
Boardman 60
Nanjing 56
Ashburn 48
Andover 42
Lawrence 42
Cambridge 41
Seoul 36
Catania 34
Toronto 34
Los Angeles 24
Helsinki 23
San Jose 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Chicago 16
São Paulo 16
Ho Chi Minh City 15
Milan 15
Nanchang 14
Wilmington 14
Istanbul 13
Hebei 12
Montreal 12
Jiaxing 11
Rome 11
The Dalles 11
Columbus 10
Shenyang 10
Frankfurt am Main 8
Hanoi 8
New York 8
Changsha 7
Ottawa 7
Beijing 6
Belo Horizonte 6
Orem 6
Palermo 6
Saint Petersburg 6
Tianjin 6
Chennai 5
Denver 5
Las Vegas 5
Phoenix 5
Stockholm 5
Venice 5
Boston 4
Brooklyn 4
Florence 4
Gerenzago 4
Hong Kong 4
Lappeenranta 4
Rometta Marea 4
Seattle 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
Warsaw 3
Abuja 2
Ann Arbor 2
Barquisimeto 2
Betim 2
Cotonou 2
Council Bluffs 2
Erbil 2
Guarulhos 2
Ha Long 2
Hortolândia 2
Itanhaém 2
Jinan 2
Kunming 2
Lausanne 2
Lima 2
Locri 2
Manchester 2
Norwalk 2
Passo Fundo 2
Paternò 2
Pelotas 2
Totale 2.273
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 104
A Full Continuous Model of Polymorphism 99
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 97
A Constructive Valuation Semantics for Classical Logic 88
Alias and Union Types for Delegation 85
Sub-behaviour relations for session-based client/server systems 81
Intersection types and lambda models 80
Composition of synchronous communicating systems 78
Reversible client/server interactions 78
Retractability, games and orchestrators for session contracts 78
Compliance for reversible client/server interactions 76
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 73
Intersection Types for Lambda-Trees 73
Intersection Types for the lambda-mu Calculus 73
Orchestrated Session Compliance 73
A theory of retractable and speculative contracts 72
Witness Extraction in Classical Logic through Normalization 71
Asynchronous Multiparty Sessions with Internal Delegation 70
Characterisation of Strongly Normalising lambda-mu-Terms 70
Extracting Constructive Content from Classical Logic via Control-like Reductions 70
Formal Choreographic Languages 69
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 69
A Game Interpretation of Retractable Contracts 69
A Type Inference Algorithm for Secure Ambients 69
Session types and subtyping for orchestrated interactions 66
A Filter Model for lambda-mu 66
Tailoring Filter Models 65
BoCa: A calculus of bounded capacities 65
Can Addresses be Types? (a case study: objects with delegation) 65
Connecting open systems of communicating finite state machines 65
The Simply-Typed Theory of beta-conversion has no Maximum Extension 64
Retractable and speculative contracts 64
Typing Asymmetric Client-Server Interactions 63
Space-aware Ambients and Processes 62
Global Types for Open Systems 62
Open Compliance in Multiparty Sessions 59
Composition and decomposition of multiparty sessions 59
Type assignment for mobile objects 58
Loosening the notions of compliance and sub-behaviour in client/server systems 58
On Formal Choreographic Modelling: A Case Study in EU Business Processes 56
Composing Communicating Systems, Synchronously 56
Choreography Automata 55
Corinne, a Tool for Choreography Automata 55
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 54
Orchestrated Session Compliance 52
Two Notions of Sub-behaviour for Session-based Client/Server Systems 48
Types and Computational Rules 47
Partially Typed Multiparty Sessions 44
Un-projectable Global Types for Multiparty Sessions 43
Multicompatibility for Multiparty-Session Composition 42
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 42
Retractable Contracts 40
Totale 3.440
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.988
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.988
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202167 0 0 0 0 0 0 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/20261.296 92 122 311 97 238 413 23 0 0 0 0 0
Totale 3.440