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