PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.358
NA - Nord America 1.006
EU - Europa 466
SA - Sud America 221
Continente sconosciuto - Info sul continente non disponibili 119
AF - Africa 47
OC - Oceania 3
Totale 3.220
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 958
SG - Singapore 528
CN - Cina 380
HK - Hong Kong 250
RU - Federazione Russa 229
BR - Brasile 182
VN - Vietnam 85
IT - Italia 81
ZA - Sudafrica 43
DE - Germania 40
IN - India 37
GB - Regno Unito 35
BD - Bangladesh 24
CA - Canada 20
FI - Finlandia 19
MX - Messico 19
FR - Francia 13
NL - Olanda 12
AR - Argentina 9
TR - Turchia 9
IE - Irlanda 8
EC - Ecuador 7
ES - Italia 7
KR - Corea 7
PL - Polonia 6
PY - Paraguay 6
SE - Svezia 6
CL - Cile 5
ID - Indonesia 5
IQ - Iraq 5
JP - Giappone 5
UZ - Uzbekistan 5
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
JM - Giamaica 3
LT - Lituania 3
MY - Malesia 3
PK - Pakistan 3
VE - Venezuela 3
AU - Australia 2
CO - Colombia 2
GT - Guatemala 2
HN - Honduras 2
KE - Kenya 2
PE - Perù 2
PH - Filippine 2
SA - Arabia Saudita 2
TH - Thailandia 2
UA - Ucraina 2
EG - Egitto 1
JO - Giordania 1
KZ - Kazakistan 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 3.101
Salva come PNG Salva come JPEG
Città #
Hong Kong 250
Singapore 189
Boardman 175
Ashburn 121
San Jose 103
Beijing 97
Council Bluffs 91
Moscow 47
Johannesburg 39
Columbus 29
Ho Chi Minh City 27
Hanoi 26
Los Angeles 25
Tongling 24
Chicago 22
São Paulo 21
Guangzhou 20
Munich 20
New York 18
Orem 18
Santa Clara 18
Shanghai 17
Camerino 16
Chennai 13
London 13
Wuhan 13
Jiaxing 12
Trieste 12
Turku 12
Buffalo 11
Elk Grove Village 11
Jinhua 10
Brooklyn 9
Dublin 8
Montreal 8
Dhaka 7
Istanbul 7
Mexico City 7
Mumbai 7
Seoul 7
Amsterdam 6
Atlanta 6
Boston 6
Dallas 6
Denver 6
Salt Lake City 6
Stockholm 6
Warsaw 6
Helsinki 5
Manchester 5
Phoenix 5
Seattle 5
Tashkent 5
The Dalles 5
Tokyo 5
New Delhi 4
Pittsburgh 4
Wuxi 4
Asunción 3
Baghdad 3
Calgary 3
Campinas 3
Charlotte 3
Da Nang 3
Detroit 3
Franca 3
Guayaquil 3
Haiphong 3
Hải Dương 3
Kingston 3
Montevideo 3
Ogden 3
Paris 3
Poplar 3
Qingdao 3
Quito 3
Recife 3
Santo André 3
Shaoxing 3
Aracaju 2
Augusta 2
Bến Tre 2
Castelraimondo 2
Cleveland 2
Concord 2
Curitiba 2
Dalian 2
Dongyang 2
El Progreso 2
Frankfurt am Main 2
Goiânia 2
Grottammare 2
Guarulhos 2
Hangzhou 2
Houston 2
Imperatriz 2
Jackson 2
Jeddah 2
Joinville 2
Lauterbourg 2
Totale 1.780
Salva come PNG Salva come JPEG
Nome #
Distributed workflows with Jupyter 81
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 75
Foundations of session types and behavioural contracts 63
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 60
A Theory of Contracts for Web Services 58
A Distributed Implementation of Mobile Nets as Mobile Agents 56
A Formal Account of Contracts for Web Services 55
A Theory of Contracts for Web Services 54
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 53
A Type Checking Algorithm for Concurrent Object Protocols 51
Formal Methods for Web Services 51
An OCaml Implementation of Binary Sessions 50
A core calculus for dynamic delta-oriented programming 50
A gentle introduction to multiparty asynchronous session types 49
Behavioral Types in Programming Languages 49
HELM and the Semantic Math-Web 49
The Chemical Approach to Typestate-Oriented Programming 48
A Logical Account of Subtyping for Session Types 48
Global Progress for Dynamically Interleaved Multiparty Sessions 47
Compilation of Generic Regular Path Expressions Using C++ Class Templates 46
An Algebraic Theory for Web Service Contracts 46
A Simple Library Implementation of Binary Sessions 45
Smooth Orchestrators 44
Context-Free Session Type Inference 43
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 43
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 42
A Theory of Contracts for Web Services 42
An Algebraic Theory for Web Service Contracts 41
Chaperone Contracts for Higher-Order Sessions 41
Interactive Editing of MathML Markup Using TeX Syntax 40
EXPRESSing Session Types 40
A formal foundation for dynamic delta-oriented software product lines 39
Contract-directed Synthesis of Simple Orchestrators 38
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 38
Euro-Par 2018: Parallel Processing 38
Session Types at the Mirror 37
Foundations of Session Types 37
Foundations of Session Types: 10 Years Later 37
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 37
Fair Termination of Binary Sessions 36
On Global Types and Multi-Party Sessions 36
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 36
The Pairing of Contracts and Session Types 36
Contract-based Discovery and Adaptation of Web Services 35
On Global Types and Multi-Party Sessions 35
Fair Subtyping for Open Session Types 35
Typing Liveness in Multiparty Communicating Systems 34
Session Type Isomorphisms 33
Mathematical Knowledge Management in HELM 33
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 32
Typing Copyless Message Passing 32
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 31
Type-Based Analysis of Linear Communications 31
Types for Deadlock-Free Higher-Order Programs 31
On Sessions and Infinite Data 31
On the Almost-Sure Termination of Binary Sessions 31
From Notation to Semantics: There and Back Again 31
On sessions and infinite data 31
Typing Copyless Message Passing 31
PiDuce – a project for experimenting Web services technologies 30
Exception Handling for Copyless Messaging 30
Probabilistic Analysis of Binary Sessions 30
Deadlock-Free Typestate-Oriented Programming 29
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 29
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 28
Exception Handling for Copyless Messaging 27
Deadlock and Lock Freedom in the Linear π-Calculus 27
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 27
Type-Based Analysis of Linear Communications 26
Fair Subtyping for Multi-Party Session Types 25
Contracts for Mobile Processes 25
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 25
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 24
On Projecting Processes into Session Types 24
Concurrent Typestate-Oriented Programming in Java 23
Context-Free Session Type Inference 23
Session Types = Intersection Types + Union Types 23
Fair Subtyping for Multi-Party Session Types 23
The Chemical Approach to Typestate-Oriented Programming 23
On the Fair Termination of Client-Server Sessions 22
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 22
From Lock Freedom to Progress Using Session Types 22
Polymorphic Endpoint Types for Copyless Message Passing 21
Contract-based discovery of Web services modulo simple orchestrators 21
Deadlock Analysis of Wait-Notify Coordination 20
Deadlock Analysis of Wait-Notify Coordination 19
Mailbox Types for Unordered Interactions 19
null 11
Totale 3.220
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.545
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 22.545
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023132 0 0 1 1 11 89 0 0 8 0 22 0
2023/2024154 29 1 14 4 6 28 5 11 8 11 0 37
2024/20251.128 180 8 182 19 11 45 72 204 36 34 76 261
2025/20261.690 184 113 245 384 68 100 134 162 36 123 108 33
2026/2027116 37 76 3 0 0 0 0 0 0 0 0 0
Totale 3.220