CRIS Current Research Information System

PADOVANI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.829
NA - Nord America 1.501
EU - Europa 835
SA - Sud America 326
AF - Africa 46
OC - Oceania 2
Totale 5.539
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.462
CN - Cina 901
SG - Singapore 759
VN - Vietnam 547
HK - Hong Kong 302
BR - Brasile 261
GB - Regno Unito 244
IT - Italia 193
DE - Germania 90
KR - Corea 77
FR - Francia 70
IN - India 63
SE - Svezia 50
RU - Federazione Russa 44
JP - Giappone 33
TR - Turchia 28
UA - Ucraina 24
IE - Irlanda 23
TH - Thailandia 21
PH - Filippine 20
ZA - Sudafrica 20
AR - Argentina 19
CA - Canada 17
EC - Ecuador 16
ID - Indonesia 16
AT - Austria 15
MX - Messico 14
FI - Finlandia 13
IQ - Iraq 13
CH - Svizzera 12
EE - Estonia 10
NL - Olanda 10
BE - Belgio 9
CL - Cile 9
TW - Taiwan 9
CO - Colombia 7
PY - Paraguay 7
BD - Bangladesh 6
PK - Pakistan 6
PL - Polonia 6
CI - Costa d'Avorio 5
JO - Giordania 5
UZ - Uzbekistan 5
JM - Giamaica 4
SA - Arabia Saudita 4
TG - Togo 4
AE - Emirati Arabi Uniti 3
BA - Bosnia-Erzegovina 3
ES - Italia 3
GR - Grecia 3
MA - Marocco 3
MY - Malesia 3
PE - Perù 3
TN - Tunisia 3
AL - Albania 2
AU - Australia 2
BO - Bolivia 2
DZ - Algeria 2
EG - Egitto 2
GH - Ghana 2
KE - Kenya 2
KZ - Kazakistan 2
LV - Lettonia 2
NP - Nepal 2
PT - Portogallo 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
AO - Angola 1
CR - Costa Rica 1
GA - Gabon 1
GT - Guatemala 1
IL - Israele 1
LB - Libano 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
NO - Norvegia 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SC - Seychelles 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VE - Venezuela 1
Totale 5.539
Salva come PNG Salva come JPEG
Città #
Singapore 503
Hong Kong 296
San Jose 217
Southend 216
Hefei 154
Ho Chi Minh City 146
Santa Clara 140
Beijing 122
Fairfield 117
Ashburn 106
Hanoi 104
Chandler 63
Seoul 61
Woodbridge 60
Dong Ket 59
Bologna 58
Boardman 46
Seattle 42
Ann Arbor 39
Wilmington 38
New York 35
Houston 32
Princeton 32
Cambridge 31
Lauterbourg 30
Dallas 28
Tokyo 26
São Paulo 25
Dublin 23
Istanbul 23
Shanghai 23
Haiphong 21
Nanjing 21
Buffalo 19
Los Angeles 19
Milan 17
Da Nang 16
Guangzhou 15
Westminster 15
Bengaluru 14
Padova 14
Bern 12
Changsha 12
Chicago 12
Council Bluffs 12
Medford 11
Rio de Janeiro 11
Tianjin 11
Berlin 10
Denver 10
Jacksonville 10
Redondo Beach 10
Saint Petersburg 10
Shenyang 10
Vienna 10
Frankfurt am Main 9
Hebei 9
Brussels 8
Columbus 8
Jakarta 8
Bangkok 7
Biên Hòa 7
Helsinki 7
Jinan 7
Nanchang 7
Nuremberg 7
Quận Bình Thạnh 7
Salt Lake City 7
Atlanta 6
Can Tho 6
Chongqing 6
Curitiba 6
Guayaquil 6
Hangzhou 6
Lappeenranta 6
Orem 6
Porto Alegre 6
Santiago 6
Toronto 6
Venice 6
Xi'an 6
Abidjan 5
Amman 5
Amsterdam 5
Asunción 5
Baricella 5
Boston 5
Brasília 5
Faenza 5
Fortaleza 5
Fuzhou 5
Montreal 5
Parma 5
Rome 5
San Francisco 5
Suzhou 5
Taizhou 5
Warsaw 5
Baghdad 4
Baoding 4
Totale 3.486
Salva come PNG Salva come JPEG
Nome #
Behavioral Types in Programming Languages 237
Foundations of session types and behavioural contracts 221
An algebraic theory for web service contracts 191
An Algebraic Theory for Web Service Contracts. 167
A formal account of contracts for web services 167
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 160
Smooth Orchestrators 146
A Distributed Implementation of Mobile Nets as Mobile Agents 142
Formal Methods for Web Services, Advanced Lectures 138
Foundations of Session Types 137
PiDuce - A project for experimenting Web services technologies 133
The Pairing of Contracts and Session Types 130
The must preorder revisited 129
Deadlock Analysis of Wait-Notify Coordination 127
EXPRESSing Session Types 126
Distributed workflows with Jupyter 123
A logical account of subtyping for session types 121
Fair Termination of Multiparty Sessions 103
Fair Termination of Binary Sessions 100
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 100
PiDuce 99
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 94
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows 84
Fair Termination of Asynchronous Binary Sessions 80
On the Almost-Sure Termination of Binary Sessions 77
The Concurrent Calculi Formalisation Benchmark 62
Probabilistic Analysis of Binary Sessions 60
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 51
A Logical Account of Subtyping for Session Types 50
Fair termination of multiparty sessions 50
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 50
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping 49
A Dependently Typed Linear π-Calculus in Agda 48
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 45
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 45
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 41
Concurrent Typestate-Oriented Programming in Java 40
Fair Subtyping for Multi-Party Session Types 40
Session Types = Intersection Types + Union Types 39
Formal Methods for Web Services 38
On the Fair Termination of Client-Server Sessions 38
A Theory of Contracts for Web Services 38
Deadlock-Free Typestate-Oriented Programming 38
On Projecting Processes into Session Types 37
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 37
Types for Deadlock-Free Higher-Order Programs 36
Mailbox Types for Unordered Interactions 35
Exception Handling for Copyless Messaging 35
Typing Copyless Message Passing 34
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality 34
The Chemical Approach to Typestate-Oriented Programming 34
Global Progress for Dynamically Interleaved Multiparty Sessions 34
The Gnome DOM Engine 34
Interactive Editing of MathML Markup Using TeX Syntax 33
Typing Copyless Message Passing 33
Compilation of Generic Regular Path Expressions Using C++ Class Templates 33
Context-Free Session Type Inference 32
A gentle introduction to multiparty asynchronous session types 32
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation 32
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 32
A Type Checking Algorithm for Concurrent Object Protocols 32
On Global Types and Multi-Party Sessions 31
On sessions and infinite data 31
Session Types at the Mirror 30
A Theory of Contracts for Web Services 30
Session Type Isomorphisms 29
From Notation to Semantics: There and Back Again 29
The Chemical Approach to Typestate-Oriented Programming 29
Typing Liveness in Multiparty Communicating Systems 29
An OCaml Implementation of Binary Sessions 28
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 28
A Simple Library Implementation of Binary Sessions 28
Fair Subtyping for Multi-Party Session Types 28
On Global Types and Multi-Party Sessions 28
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 28
Foundations of Session Types: 10 Years Later 28
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 27
A formal foundation for dynamic delta-oriented software product lines 27
A theory of contracts for web services 27
Chaperone Contracts for Higher-Order Sessions 27
On Sessions and Infinite Data 27
Contract-based Discovery and Adaptation of Web Services 27
Contract-directed Synthesis of Simple Orchestrators 26
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 26
Deadlock and Lock Freedom in the Linear π-Calculus 26
Exception Handling for Copyless Messaging 26
Fair Subtyping for Open Session Types 26
Contracts for Mobile Processes 26
Contract-based discovery of Web services modulo simple orchestrators 26
Euro-Par 2018: Parallel Processing 25
Context-Free Session Type Inference 25
Polymorphic Endpoint Types for Copyless Message Passing 25
Type-Based Analysis of Linear Communications 25
A core calculus for dynamic delta-oriented programming 24
From Lock Freedom to Progress Using Session Types 21
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 19
Totale 5.705
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.758
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.758
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021111 0 0 0 0 0 0 0 0 0 20 16 75
2021/2022293 29 9 18 14 27 26 7 19 16 2 52 74
2022/2023296 29 47 23 40 21 27 9 17 42 10 15 16
2023/202458 4 11 3 1 2 12 5 3 3 6 0 8
2024/20251.401 13 52 28 50 214 155 339 29 46 33 67 375
2025/20262.810 172 377 327 260 259 108 258 120 605 324 0 0
Totale 5.705