CRIS Current Research Information System

PADOVANI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 891
AS - Asia 660
EU - Europa 611
AF - Africa 19
SA - Sud America 8
OC - Oceania 2
Totale 2.191
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 889
CN - Cina 366
GB - Regno Unito 230
SG - Singapore 142
IT - Italia 110
DE - Germania 70
VN - Vietnam 59
SE - Svezia 47
RU - Federazione Russa 36
HK - Hong Kong 31
FR - Francia 29
IN - India 28
IE - Irlanda 23
TR - Turchia 20
UA - Ucraina 20
ZA - Sudafrica 14
CH - Svizzera 12
EE - Estonia 10
BR - Brasile 7
BE - Belgio 5
FI - Finlandia 5
ID - Indonesia 5
TG - Togo 4
AT - Austria 3
NL - Olanda 3
AU - Australia 2
CA - Canada 2
GR - Grecia 2
JO - Giordania 2
PT - Portogallo 2
CL - Cile 1
ES - Italia 1
IL - Israele 1
JP - Giappone 1
KZ - Kazakistan 1
LB - Libano 1
LV - Lettonia 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
PK - Pakistan 1
RO - Romania 1
SC - Seychelles 1
UZ - Uzbekistan 1
Totale 2.191
Salva come PNG Salva come JPEG
Città #
Southend 216
Santa Clara 132
Singapore 118
Fairfield 117
Chandler 63
Ashburn 60
Woodbridge 60
Dong Ket 59
Boardman 43
Seattle 41
Ann Arbor 39
Wilmington 38
Princeton 32
Bologna 31
Cambridge 31
Hong Kong 31
Houston 31
Dublin 23
Nanjing 21
Istanbul 19
Shanghai 19
Westminster 15
Padova 14
Bern 12
Beijing 11
Changsha 11
Medford 11
Tianjin 11
Berlin 10
Jacksonville 10
Saint Petersburg 10
Shenyang 10
Hebei 9
Columbus 8
Jinan 7
Nanchang 7
Chongqing 6
Baricella 5
Faenza 5
Guangzhou 5
Hangzhou 5
Helsinki 5
Jakarta 5
Parma 5
Taizhou 5
Xi'an 5
Baoding 4
Brussels 4
Cesena 4
Des Moines 4
Fuzhou 4
Galliera 4
Haikou 4
Kunming 4
Lanzhou 4
Lomé 4
New York 4
Qingdao 4
Suzhou 4
Taiyuan 4
Venice 4
Fremont 3
Guiyang 3
Handan 3
Milan 3
Mülheim 3
Olalla 3
San Diego 3
Shijiazhuang 3
Vienna 3
Wuhan 3
Wuxi 3
Zhengzhou 3
Amman 2
Baotou 2
Cacém 2
Canberra 2
Changchun 2
Chengdu 2
Dongguan 2
Frankfurt am Main 2
Harbin 2
Jiaxing 2
Langfang 2
Loudi 2
Nanning 2
Ningbo 2
Nuremberg 2
Palermo 2
Phoenix 2
San Francisco 2
Turin 2
Xuzhou 2
Yingkou 2
Yubileyny 2
Almaty 1
Almere Stad 1
Anshan 1
Araraquara 1
Augusta 1
Totale 1.576
Salva come PNG Salva come JPEG
Nome #
Behavioral Types in Programming Languages 171
Foundations of session types and behavioural contracts 161
An algebraic theory for web service contracts 156
An Algebraic Theory for Web Service Contracts. 138
A formal account of contracts for web services 131
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 128
A Distributed Implementation of Mobile Nets as Mobile Agents 123
The Pairing of Contracts and Session Types 106
Foundations of Session Types 103
Smooth Orchestrators 102
Formal Methods for Web Services, Advanced Lectures 97
PiDuce - A project for experimenting Web services technologies 97
The must preorder revisited 89
Deadlock Analysis of Wait-Notify Coordination 89
PiDuce 75
EXPRESSing Session Types 30
On the Almost-Sure Termination of Binary Sessions 16
A logical account of subtyping for session types 15
Distributed workflows with Jupyter 15
Fair Termination of Multiparty Sessions 15
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 15
A Logical Account of Subtyping for Session Types 12
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 12
Types for Deadlock-Free Higher-Order Programs 11
On the Fair Termination of Client-Server Sessions 10
Fair Termination of Binary Sessions 10
Typing Liveness in Multiparty Communicating Systems 10
The Concurrent Calculi Formalisation Benchmark 10
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 10
Euro-Par 2018: Parallel Processing 9
Probabilistic Analysis of Binary Sessions 9
A Dependently Typed Linear π-Calculus in Agda 9
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation 9
Fair termination of multiparty sessions 8
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 8
A Theory of Contracts for Web Services 8
Deadlock-Free Typestate-Oriented Programming 8
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 7
Concurrent Typestate-Oriented Programming in Java 7
Session Types at the Mirror 7
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows 7
Chaperone Contracts for Higher-Order Sessions 7
Foundations of Session Types: 10 Years Later 7
Context-Free Session Type Inference 6
Contract-directed Synthesis of Simple Orchestrators 6
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 6
From Notation to Semantics: There and Back Again 6
Context-Free Session Type Inference 6
Interactive Editing of MathML Markup Using TeX Syntax 6
A formal foundation for dynamic delta-oriented software product lines 6
The Chemical Approach to Typestate-Oriented Programming 6
Global Progress for Dynamically Interleaved Multiparty Sessions 6
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 6
On sessions and infinite data 6
A gentle introduction to multiparty asynchronous session types 6
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 6
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 6
On Sessions and Infinite Data 6
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 6
Fair Subtyping for Multi-Party Session Types 6
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 6
A Type Checking Algorithm for Concurrent Object Protocols 6
Compilation of Generic Regular Path Expressions Using C++ Class Templates 6
Typing Copyless Message Passing 5
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 5
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality 5
The Chemical Approach to Typestate-Oriented Programming 5
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 5
Mailbox Types for Unordered Interactions 5
Deadlock and Lock Freedom in the Linear π-Calculus 5
On Projecting Processes into Session Types 5
Fair Subtyping for Open Session Types 5
Fair Subtyping for Multi-Party Session Types 5
On Global Types and Multi-Party Sessions 5
A core calculus for dynamic delta-oriented programming 5
Contract-based discovery of Web services modulo simple orchestrators 5
The Gnome DOM Engine 5
From Lock Freedom to Progress Using Session Types 5
Type-Based Analysis of Linear Communications 5
A Theory of Contracts for Web Services 5
Exception Handling for Copyless Messaging 5
An OCaml Implementation of Binary Sessions 4
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 4
Formal Methods for Web Services 4
A Simple Library Implementation of Binary Sessions 4
Exception Handling for Copyless Messaging 4
A theory of contracts for web services 4
Session Type Isomorphisms 3
On Global Types and Multi-Party Sessions 3
Session Types = Intersection Types + Union Types 3
Polymorphic Endpoint Types for Copyless Message Passing 3
Typing Copyless Message Passing 3
Contracts for Mobile Processes 3
Contract-based Discovery and Adaptation of Web Services 3
Totale 2.322
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.278
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 6.278
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020245 0 0 0 0 0 0 52 61 61 28 18 25
2020/2021281 50 11 8 11 1 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/2025828 13 52 28 50 214 155 316 0 0 0 0 0
Totale 2.322