IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 549
EU - Europa 435
AS - Asia 152
AF - Africa 2
SA - Sud America 1
Totale 1.139
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 508
IE - Irlanda 151
CN - Cina 132
UA - Ucraina 128
IT - Italia 61
CA - Canada 41
RU - Federazione Russa 34
SE - Svezia 29
TR - Turchia 10
CH - Svizzera 7
FR - Francia 7
GB - Regno Unito 4
DE - Germania 3
FI - Finlandia 3
PL - Polonia 3
VN - Vietnam 3
AT - Austria 2
LB - Libano 2
NG - Nigeria 2
SG - Singapore 2
BE - Belgio 1
BG - Bulgaria 1
HU - Ungheria 1
IN - India 1
TW - Taiwan 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 1.139
Salva come PNG Salva come JPEG
Città #
Dublin 151
Jacksonville 122
Chandler 76
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Toronto 32
Catania 31
San Mateo 22
Des Moines 21
Nanchang 14
Wilmington 14
Hebei 12
Jiaxing 11
Boardman 10
Istanbul 10
Shenyang 10
Changsha 7
Ottawa 7
Ashburn 6
Moscow 6
Saint Petersburg 6
Tianjin 6
Palermo 4
Rometta Marea 4
Lanzhou 3
Seattle 3
Abuja 2
Ann Arbor 2
Bologna 2
Hanoi 2
Jinan 2
Lappeenranta 2
Lausanne 2
Norwalk 2
Paternò 2
San Ferdinando 2
Santa Croce sull'Arno 2
Zhengzhou 2
Beijing 1
Bremen 1
Brussels 1
Budapest 1
Changchun 1
Council Bluffs 1
Dallas 1
Delia 1
Dong Ket 1
Elk Grove Village 1
Florence 1
Haikou 1
Hangzhou 1
Hanover 1
Helsinki 1
Kiev 1
Kunming 1
Milan 1
Montevideo 1
Montreal 1
Ningbo 1
Piraino 1
Princeton 1
Pune 1
Rome 1
Saskatoon 1
Singapore 1
Taipei 1
Tappahannock 1
Washington 1
Totale 823
Salva come PNG Salva come JPEG
Nome #
A Full Continuous Model of Polymorphism 47
A Strong Normalization Result for Classical Logic 46
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 44
Reversible client/server interactions 42
Intersection types and lambda models 42
Retractability, games and orchestrators for session contracts 38
Witness Extraction in Classical Logic through Normalization 36
Extracting Constructive Content from Classical Logic via Control-like Reductions 36
A Constructive Valuation Semantics for Classical Logic 35
Intersection Types for Lambda-Trees 33
Compliance for reversible client/server interactions 33
Sub-behaviour relations for session-based client/server systems 33
Alias and Union Types for Delegation 32
Typing Asymmetric Client-Server Interactions 32
Space-aware Ambients and Processes 30
The Simply-Typed Theory of beta-conversion has no Maximum Extension 30
Characterisation of Strongly Normalising lambda-mu-Terms 30
Retractable and speculative contracts 30
Tailoring Filter Models 29
Global Types for Open Systems 29
Intersection Types for the lambda-mu Calculus 28
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 25
Type assignment for mobile objects 25
Orchestrated Session Compliance 25
Types and Computational Rules 24
Session types and subtyping for orchestrated interactions 24
Orchestrated Session Compliance 23
Loosening the notions of compliance and sub-behaviour in client/server systems 23
A Game Interpretation of Retractable Contracts 23
Can Addresses be Types? (a case study: objects with delegation) 23
A theory of retractable and speculative contracts 23
Two Notions of Sub-behaviour for Session-based Client/Server Systems 22
BoCa: A calculus of bounded capacities 21
A Type Inference Algorithm for Secure Ambients 20
A Filter Model for lambda-mu 20
Retractable Contracts 19
Formal Choreographic Languages 18
Connecting open systems of communicating finite state machines 18
Composition of synchronous communicating systems 15
Composition and decomposition of multiparty sessions 15
Composing Communicating Systems, Synchronously 14
Corinne, a Tool for Choreography Automata 14
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 12
Choreography Automata 12
Open Compliance in Multiparty Sessions 6
On Formal Choreographic Modelling: A Case Study in EU Business Processes 4
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 3
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 2
Partially Typed Multiparty Sessions 2
Totale 1.210
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.893
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 4.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20193 0 0 0 0 0 0 0 0 0 0 0 3
2019/2020210 97 10 14 0 16 3 12 0 23 0 26 9
2020/2021180 0 22 24 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/202489 10 11 10 20 6 4 5 8 0 15 0 0
Totale 1.210