IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.631
AS - Asia 1.020
EU - Europa 1.008
SA - Sud America 165
AF - Africa 40
OC - Oceania 1
Totale 3.865
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.567
SG - Singapore 534
RU - Federazione Russa 354
CN - Cina 286
IT - Italia 163
IE - Irlanda 151
BR - Brasile 143
UA - Ucraina 128
KR - Corea 65
VN - Vietnam 65
FR - Francia 61
CA - Canada 60
SE - Svezia 34
NG - Nigeria 30
FI - Finlandia 27
DE - Germania 21
GB - Regno Unito 20
TR - Turchia 17
IN - India 14
ES - Italia 11
BD - Bangladesh 10
CH - Svizzera 8
PL - Polonia 8
NL - Olanda 7
AR - Argentina 6
EC - Ecuador 6
IQ - Iraq 6
HK - Hong Kong 5
ZA - Sudafrica 5
LT - Lituania 4
VE - Venezuela 4
AT - Austria 3
ID - Indonesia 3
JP - Giappone 3
UZ - Uzbekistan 3
BG - Bulgaria 2
BJ - Benin 2
LB - Libano 2
MX - Messico 2
PE - Perù 2
RO - Romania 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
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
JM - Giamaica 1
MD - Moldavia 1
MY - Malesia 1
PK - Pakistan 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
TN - Tunisia 1
UY - Uruguay 1
Totale 3.865
Salva come PNG Salva come JPEG
Città #
Singapore 293
Dallas 278
Santa Clara 219
Moscow 162
Dublin 151
San Jose 124
Jacksonville 122
Hefei 83
Ashburn 79
Chandler 76
Seoul 65
Boardman 60
Nanjing 56
Lauterbourg 44
Andover 42
Lawrence 42
Cambridge 41
Catania 34
Toronto 34
Council Bluffs 31
Los Angeles 25
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Ho Chi Minh City 21
Lagos 21
Chicago 17
Hanoi 16
São Paulo 16
Milan 15
Istanbul 14
Montreal 14
Nanchang 14
Wilmington 14
Rome 13
Hebei 12
Jiaxing 11
New York 11
The Dalles 11
Columbus 10
Frankfurt am Main 10
Shenyang 10
Orem 9
Beijing 8
Palermo 8
Turin 8
Abuja 7
Changsha 7
Ottawa 7
Belo Horizonte 6
Phoenix 6
Saint Petersburg 6
Tianjin 6
Chennai 5
Denver 5
Hong Kong 5
Las Vegas 5
Stockholm 5
Venice 5
Boston 4
Brooklyn 4
Buffalo 4
Da Nang 4
Erbil 4
Florence 4
Gerenzago 4
Lappeenranta 4
Reggio Calabria 4
Rometta Marea 4
Seattle 4
Warsaw 4
Amsterdam 3
Bologna 3
Brasília 3
City of London 3
Guayaquil 3
Haiphong 3
Lanzhou 3
Maceió 3
Munich 3
Naples 3
New Delhi 3
Nuremberg 3
Ribeirão Preto 3
San Francisco 3
Tokyo 3
Villeurbanne 3
Ann Arbor 2
Atlanta 2
Avola 2
Barquisimeto 2
Betim 2
Charlotte 2
Cotonou 2
Dhaka 2
Guarulhos 2
Ha Long 2
Hortolândia 2
Itanhaém 2
Totale 2.626
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 110
A Full Continuous Model of Polymorphism 108
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 104
A Constructive Valuation Semantics for Classical Logic 100
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 93
Witness Extraction in Classical Logic through Normalization 92
Alias and Union Types for Delegation 91
Connecting open systems of communicating finite state machines 91
Sub-behaviour relations for session-based client/server systems 91
Intersection types and lambda models 89
Composition of synchronous communicating systems 88
Asynchronous Multiparty Sessions with Internal Delegation 88
Retractability, games and orchestrators for session contracts 84
Formal Choreographic Languages 83
Reversible client/server interactions 83
A theory of retractable and speculative contracts 82
Retractable and speculative contracts 81
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 79
Compliance for reversible client/server interactions 79
Intersection Types for the lambda-mu Calculus 79
Intersection Types for Lambda-Trees 78
A Filter Model for lambda-mu 78
Orchestrated Session Compliance 78
Characterisation of Strongly Normalising lambda-mu-Terms 77
Extracting Constructive Content from Classical Logic via Control-like Reductions 77
A Type Inference Algorithm for Secure Ambients 77
A Game Interpretation of Retractable Contracts 74
Session types and subtyping for orchestrated interactions 71
The Simply-Typed Theory of beta-conversion has no Maximum Extension 70
Open Compliance in Multiparty Sessions 69
Tailoring Filter Models 69
BoCa: A calculus of bounded capacities 69
Composing Communicating Systems, Synchronously 69
Corinne, a Tool for Choreography Automata 69
Space-aware Ambients and Processes 68
Typing Asymmetric Client-Server Interactions 68
Global Types for Open Systems 68
Can Addresses be Types? (a case study: objects with delegation) 66
Choreography Automata 66
Composition and decomposition of multiparty sessions 66
Loosening the notions of compliance and sub-behaviour in client/server systems 65
Type assignment for mobile objects 64
On Formal Choreographic Modelling: A Case Study in EU Business Processes 63
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 63
Orchestrated Session Compliance 61
Two Notions of Sub-behaviour for Session-based Client/Server Systems 55
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 52
Partially Typed Multiparty Sessions 51
Un-projectable Global Types for Multiparty Sessions 50
Types and Computational Rules 50
Multicompatibility for Multiparty-Session Composition 49
Retractable Contracts 46
YACC: Yet Another Church Calculus 13
Safe Composition of Systems of Communicating Finite State Machines 13
Modular Multiparty Sessions with Mixed Choice 11
Safe orchestrated multicomposition of systems of communicating finite state machines 9
Partially typed multiparty sessions with internal delegation 6
Open compliance in multiparty sessions with partial typing 6
Totale 3.949
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.963
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 14.963
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202111 0 0 0 0 0 0 0 0 0 0 0 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.805 92 122 311 97 238 413 206 45 112 109 33 27
Totale 3.949