CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021200 0 0 0 0 0 6 5 22 56 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/20261.486 172 377 327 260 259 91 0 0 0 0 0 0
Totale 4.381