CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022264 0 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/20263.087 172 377 327 260 259 108 258 120 605 371 137 93
2026/2027283 104 179 0 0 0 0 0 0 0 0 0 0
Totale 6.265