PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.319
NA - Nord America 837
EU - Europa 453
SA - Sud America 219
AF - Africa 47
OC - Oceania 3
Totale 2.878
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 797
SG - Singapore 516
CN - Cina 363
HK - Hong Kong 247
RU - Federazione Russa 229
BR - Brasile 182
VN - Vietnam 85
IT - Italia 70
ZA - Sudafrica 43
DE - Germania 39
IN - India 36
GB - Regno Unito 35
BD - Bangladesh 20
FI - Finlandia 19
MX - Messico 19
CA - Canada 16
FR - Francia 12
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
LT - Lituania 3
PK - Pakistan 3
AU - Australia 2
HN - Honduras 2
KE - Kenya 2
MY - Malesia 2
PE - Perù 2
PH - Filippine 2
SA - Arabia Saudita 2
UA - Ucraina 2
VE - Venezuela 2
CO - Colombia 1
EG - Egitto 1
GT - Guatemala 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.878
Salva come PNG Salva come JPEG
Città #
Hong Kong 247
Singapore 182
Boardman 175
Ashburn 112
Beijing 87
San Jose 80
Moscow 47
Johannesburg 39
Columbus 29
Ho Chi Minh City 27
Hanoi 26
Tongling 24
Los Angeles 23
Chicago 22
São Paulo 21
Guangzhou 20
Munich 20
New York 17
Orem 17
Shanghai 17
Camerino 16
London 13
Wuhan 13
Chennai 12
Council Bluffs 12
Jiaxing 12
Turku 12
Elk Grove Village 11
Trieste 11
Jinhua 10
Buffalo 9
Brooklyn 8
Dublin 8
Montreal 8
Santa Clara 8
Dhaka 7
Istanbul 7
Mexico City 7
Mumbai 7
Seoul 7
Amsterdam 6
Atlanta 6
Boston 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
Dallas 3
Detroit 3
Franca 3
Guayaquil 3
Haiphong 3
Hải Dương 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
Lima 2
Totale 1.626
Salva come PNG Salva come JPEG
Nome #
Distributed workflows with Jupyter 73
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 65
Foundations of session types and behavioural contracts 56
A Theory of Contracts for Web Services 52
A Distributed Implementation of Mobile Nets as Mobile Agents 52
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 52
Formal Methods for Web Services 51
A Formal Account of Contracts for Web Services 50
A Type Checking Algorithm for Concurrent Object Protocols 48
A Theory of Contracts for Web Services 48
HELM and the Semantic Math-Web 48
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 48
A core calculus for dynamic delta-oriented programming 46
A Logical Account of Subtyping for Session Types 45
Behavioral Types in Programming Languages 45
A gentle introduction to multiparty asynchronous session types 44
The Chemical Approach to Typestate-Oriented Programming 43
Smooth Orchestrators 43
An Algebraic Theory for Web Service Contracts 42
Compilation of Generic Regular Path Expressions Using C++ Class Templates 41
Interactive Editing of MathML Markup Using TeX Syntax 40
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 40
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 40
A Simple Library Implementation of Binary Sessions 40
EXPRESSing Session Types 39
A formal foundation for dynamic delta-oriented software product lines 38
Context-Free Session Type Inference 38
A Theory of Contracts for Web Services 38
Global Progress for Dynamically Interleaved Multiparty Sessions 38
Euro-Par 2018: Parallel Processing 38
Chaperone Contracts for Higher-Order Sessions 37
An OCaml Implementation of Binary Sessions 37
An Algebraic Theory for Web Service Contracts 36
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 36
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 36
Foundations of Session Types 35
Fair Termination of Binary Sessions 35
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 35
Session Types at the Mirror 34
Foundations of Session Types: 10 Years Later 34
Contract-directed Synthesis of Simple Orchestrators 34
Contract-based Discovery and Adaptation of Web Services 33
On Global Types and Multi-Party Sessions 33
The Pairing of Contracts and Session Types 33
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 32
Typing Liveness in Multiparty Communicating Systems 32
Session Type Isomorphisms 32
Type-Based Analysis of Linear Communications 31
Types for Deadlock-Free Higher-Order Programs 31
On the Almost-Sure Termination of Binary Sessions 31
Typing Copyless Message Passing 31
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 30
PiDuce – a project for experimenting Web services technologies 30
On Global Types and Multi-Party Sessions 30
From Notation to Semantics: There and Back Again 30
On sessions and infinite data 30
Typing Copyless Message Passing 30
Mathematical Knowledge Management in HELM 30
On Sessions and Infinite Data 29
Probabilistic Analysis of Binary Sessions 29
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 28
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 27
Exception Handling for Copyless Messaging 27
Type-Based Analysis of Linear Communications 26
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 26
Exception Handling for Copyless Messaging 26
Deadlock-Free Typestate-Oriented Programming 26
Deadlock and Lock Freedom in the Linear π-Calculus 25
Fair Subtyping for Open Session Types 25
Contracts for Mobile Processes 24
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 24
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 24
Fair Subtyping for Multi-Party Session Types 23
Concurrent Typestate-Oriented Programming in Java 23
Session Types = Intersection Types + Union Types 23
Fair Subtyping for Multi-Party Session Types 23
The Chemical Approach to Typestate-Oriented Programming 23
Context-Free Session Type Inference 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
On the Fair Termination of Client-Server Sessions 21
On Projecting Processes into Session Types 21
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 20
Deadlock Analysis of Wait-Notify Coordination 20
Deadlock Analysis of Wait-Notify Coordination 19
Mailbox Types for Unordered Interactions 19
null 11
Totale 2.997
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.583
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 19.583
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.583 184 113 245 384 68 100 134 162 36 123 34 0
Totale 2.997