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