PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.335
NA - Nord America 939
EU - Europa 463
SA - Sud America 220
AF - Africa 47
OC - Oceania 3
Totale 3.007
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 897
SG - Singapore 520
CN - Cina 368
HK - Hong Kong 247
RU - Federazione Russa 229
BR - Brasile 182
VN - Vietnam 85
IT - Italia 79
ZA - Sudafrica 43
DE - Germania 39
IN - India 37
GB - Regno Unito 35
BD - Bangladesh 24
FI - Finlandia 19
MX - Messico 19
CA - Canada 18
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
LT - Lituania 3
MY - Malesia 3
PK - Pakistan 3
VE - Venezuela 3
AU - Australia 2
HN - Honduras 2
KE - Kenya 2
PE - Perù 2
PH - Filippine 2
SA - Arabia Saudita 2
TH - Thailandia 2
UA - Ucraina 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
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 3.007
Salva come PNG Salva come JPEG
Città #
Hong Kong 247
Singapore 183
Boardman 175
Ashburn 115
Beijing 89
Council Bluffs 82
San Jose 80
Moscow 47
Johannesburg 39
Columbus 29
Ho Chi Minh City 27
Hanoi 26
Los Angeles 24
Tongling 24
Chicago 22
São Paulo 21
Guangzhou 20
Munich 20
Orem 18
New York 17
Shanghai 17
Camerino 16
Chennai 13
London 13
Wuhan 13
Jiaxing 12
Trieste 12
Turku 12
Buffalo 11
Elk Grove Village 11
Santa Clara 11
Jinhua 10
Brooklyn 8
Dublin 8
Montreal 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
Dallas 4
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
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.712
Salva come PNG Salva come JPEG
Nome #
Distributed workflows with Jupyter 80
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 74
Foundations of session types and behavioural contracts 62
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 56
A Distributed Implementation of Mobile Nets as Mobile Agents 55
A Theory of Contracts for Web Services 54
A Formal Account of Contracts for Web Services 54
A Type Checking Algorithm for Concurrent Object Protocols 51
A Theory of Contracts for Web Services 51
Formal Methods for Web Services 51
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 51
An OCaml Implementation of Binary Sessions 50
A core calculus for dynamic delta-oriented programming 50
HELM and the Semantic Math-Web 49
A Logical Account of Subtyping for Session Types 48
Behavioral Types in Programming Languages 48
A gentle introduction to multiparty asynchronous session types 47
Compilation of Generic Regular Path Expressions Using C++ Class Templates 45
An Algebraic Theory for Web Service Contracts 45
Smooth Orchestrators 44
A Simple Library Implementation of Binary Sessions 44
The Chemical Approach to Typestate-Oriented Programming 43
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 43
Chaperone Contracts for Higher-Order Sessions 41
A Theory of Contracts for Web Services 41
Interactive Editing of MathML Markup Using TeX Syntax 40
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 40
An Algebraic Theory for Web Service Contracts 39
A formal foundation for dynamic delta-oriented software product lines 39
Context-Free Session Type Inference 39
EXPRESSing Session Types 39
Global Progress for Dynamically Interleaved Multiparty Sessions 39
Euro-Par 2018: Parallel Processing 38
Session Types at the Mirror 36
Foundations of Session Types: 10 Years Later 36
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 36
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 36
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 36
Foundations of Session Types 35
Fair Termination of Binary Sessions 35
Contract-directed Synthesis of Simple Orchestrators 35
Fair Subtyping for Open Session Types 35
Contract-based Discovery and Adaptation of Web Services 34
Typing Liveness in Multiparty Communicating Systems 34
On Global Types and Multi-Party Sessions 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
Session Type Isomorphisms 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 the Almost-Sure Termination of Binary Sessions 31
Typing Copyless Message Passing 31
PiDuce – a project for experimenting Web services technologies 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
Exception Handling for Copyless Messaging 29
Probabilistic Analysis of Binary Sessions 29
Deadlock-Free Typestate-Oriented Programming 28
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 28
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 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
Exception Handling for Copyless Messaging 26
Deadlock and Lock Freedom in the Linear π-Calculus 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
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
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
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 21
On Projecting Processes into Session Types 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.126
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.546
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 21.546
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/202722 22 0 0 0 0 0 0 0 0 0 0 0
Totale 3.126