IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.361
EU - Europa 923
AS - Asia 842
SA - Sud America 161
AF - Africa 9
OC - Oceania 1
Totale 3.297
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.306
SG - Singapore 467
RU - Federazione Russa 354
CN - Cina 255
IE - Irlanda 151
IT - Italia 142
BR - Brasile 141
UA - Ucraina 128
CA - Canada 53
KR - Corea 36
VN - Vietnam 36
SE - Svezia 34
FI - Finlandia 27
DE - Germania 17
FR - Francia 17
TR - Turchia 16
GB - Regno Unito 14
IN - India 9
CH - Svizzera 8
ES - Italia 8
PL - Polonia 6
AR - Argentina 5
EC - Ecuador 5
BD - Bangladesh 4
IQ - Iraq 4
LT - Lituania 4
NL - Olanda 4
VE - Venezuela 4
AT - Austria 3
HK - Hong Kong 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
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 3.297
Salva come PNG Salva come JPEG
Città #
Dallas 277
Singapore 245
Santa Clara 217
Moscow 162
Dublin 151
Jacksonville 122
Hefei 83
Chandler 76
Boardman 60
Nanjing 56
Ashburn 44
Andover 42
Lawrence 42
Cambridge 41
Seoul 36
Catania 34
Toronto 33
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Los Angeles 20
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
Montreal 10
Shenyang 10
Frankfurt am Main 8
Hanoi 8
Changsha 7
Ottawa 7
Beijing 6
Belo Horizonte 6
New York 6
Palermo 6
Saint Petersburg 6
Tianjin 6
Denver 5
Las Vegas 5
Stockholm 5
Venice 5
Boston 4
Florence 4
Gerenzago 4
Lappeenranta 4
Phoenix 4
Rometta Marea 4
Seattle 4
Amsterdam 3
Bologna 3
Brasília 3
Buffalo 3
Chennai 3
Guayaquil 3
Hong Kong 3
Lanzhou 3
Maceió 3
Munich 3
Naples 3
New Delhi 3
Nuremberg 3
Orem 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
Brooklyn 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
Porto Alegre 2
Totale 2.224
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 103
A Full Continuous Model of Polymorphism 98
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 96
A Constructive Valuation Semantics for Classical Logic 86
Alias and Union Types for Delegation 83
Sub-behaviour relations for session-based client/server systems 81
Reversible client/server interactions 78
Intersection types and lambda models 78
Retractability, games and orchestrators for session contracts 78
Composition of synchronous communicating systems 76
Compliance for reversible client/server interactions 75
Intersection Types for Lambda-Trees 73
Intersection Types for the lambda-mu Calculus 72
Orchestrated Session Compliance 72
Witness Extraction in Classical Logic through Normalization 71
A theory of retractable and speculative contracts 71
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 70
Asynchronous Multiparty Sessions with Internal Delegation 69
Characterisation of Strongly Normalising lambda-mu-Terms 69
A Type Inference Algorithm for Secure Ambients 68
Formal Choreographic Languages 67
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 67
Extracting Constructive Content from Classical Logic via Control-like Reductions 67
A Game Interpretation of Retractable Contracts 67
Session types and subtyping for orchestrated interactions 65
A Filter Model for lambda-mu 65
The Simply-Typed Theory of beta-conversion has no Maximum Extension 64
Tailoring Filter Models 64
BoCa: A calculus of bounded capacities 64
Can Addresses be Types? (a case study: objects with delegation) 63
Typing Asymmetric Client-Server Interactions 62
Retractable and speculative contracts 62
Connecting open systems of communicating finite state machines 62
Space-aware Ambients and Processes 61
Global Types for Open Systems 61
Open Compliance in Multiparty Sessions 57
Type assignment for mobile objects 57
Composition and decomposition of multiparty sessions 57
On Formal Choreographic Modelling: A Case Study in EU Business Processes 55
Loosening the notions of compliance and sub-behaviour in client/server systems 55
Composing Communicating Systems, Synchronously 54
Corinne, a Tool for Choreography Automata 54
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 53
Choreography Automata 53
Orchestrated Session Compliance 50
Types and Computational Rules 47
Two Notions of Sub-behaviour for Session-based Client/Server Systems 46
Un-projectable Global Types for Multiparty Sessions 43
Partially Typed Multiparty Sessions 43
Multicompatibility for Multiparty-Session Composition 41
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 41
Retractable Contracts 39
Totale 3.373
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.829
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.829
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/20261.229 92 122 311 97 238 369 0 0 0 0 0 0
Totale 3.373