PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 215
NA - Nord America 74
EU - Europa 68
OC - Oceania 1
SA - Sud America 1
Totale 359
Salva come PNG Salva come JPEG
Nazione #
CN - Cina 202
US - Stati Uniti d'America 74
IT - Italia 40
IE - Irlanda 8
SG - Singapore 8
FI - Finlandia 7
GB - Regno Unito 7
DE - Germania 5
HK - Hong Kong 2
IN - India 2
BR - Brasile 1
FR - Francia 1
JP - Giappone 1
NZ - Nuova Zelanda 1
Totale 359
Salva come PNG Salva come JPEG
Città #
Columbus 30
Ashburn 24
Guangzhou 20
Shanghai 18
Beijing 16
Camerino 13
Wuhan 13
Jiaxing 12
Jinhua 10
Dublin 8
Helsinki 6
London 6
Singapore 6
Wuxi 4
Chicago 3
Ogden 3
Qingdao 3
Shaoxing 3
Castelraimondo 2
Council Bluffs 2
Dalian 2
Dongyang 2
Grottammare 2
Hangzhou 2
Hong Kong 2
Loreto 2
Los Angeles 2
Macerata 2
Monte San Giusto 2
Montefalco 2
Pune 2
Quanzhou 2
Seattle 2
Yiwu 2
Yong'an 2
Americana 1
Argenta 1
Ascoli Piceno 1
Auckland 1
Beaufort 1
Buffalo 1
Chengdu 1
Chizhou 1
Heze 1
Lappeenranta 1
Longyan 1
Nantong 1
Santa Clara 1
Secaucus 1
Springfield 1
Suzhou 1
Taizhou 1
Tiantai Chengguanzhen 1
Tokyo 1
Tolentino 1
Wandsworth 1
Weifang 1
Zibo 1
Totale 255
Salva come PNG Salva come JPEG
Nome #
Euro-Par 2018: Parallel Processing 18
Distributed workflows with Jupyter 16
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types 15
A Logical Account of Subtyping for Session Types 12
Foundations of session types and behavioural contracts 11
Fair Termination of Multiparty Sessions 11
null 11
Interactive Editing of MathML Markup Using TeX Syntax 10
Context-Free Session Type Inference 9
A Dependently-Typed Linear π -Calculus in Agda 8
The Chemical Approach to Typestate-Oriented Programming 8
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 8
HELM and the Semantic Math-Web 8
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 7
A Theory of Contracts for Web Services 7
Typing Liveness in Multiparty Communicating Systems 7
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 7
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 6
Type-Based Analysis of Linear Communications 6
Types for Deadlock-Free Higher-Order Programs 6
A Type Checking Algorithm for Concurrent Object Protocols 6
EXPRESSing Session Types 6
A Distributed Implementation of Mobile Nets as Mobile Agents 6
Typing Copyless Message Passing 6
Smooth Orchestrators 6
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 6
A Formal Account of Contracts for Web Services 6
Type-Based Analysis of Linear Communications 5
Foundations of Session Types 5
Contract-based Discovery and Adaptation of Web Services 5
Compilation of Generic Regular Path Expressions Using C++ Class Templates 5
Fair Subtyping for Multi-Party Session Types 5
Chaperone Contracts for Higher-Order Sessions 5
A formal foundation for dynamic delta-oriented software product lines 5
On the Fair Termination of Client-Server Sessions 5
Fair Termination of Binary Sessions 5
A gentle introduction to multiparty asynchronous session types 5
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 5
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 5
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 5
From Notation to Semantics: There and Back Again 5
An Algebraic Theory for Web Service Contracts 5
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 5
Formal Methods for Web Services 5
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 5
Behavioral Types in Programming Languages 5
On sessions and infinite data 5
Probabilistic Analysis of Binary Sessions 5
Typing Copyless Message Passing 5
Session Type Isomorphisms 5
The Pairing of Contracts and Session Types 5
Fair Subtyping for Multi-Party Session Types 4
PiDuce – a project for experimenting Web services technologies 4
Contract-based discovery of Web services modulo simple orchestrators 4
Contracts for Mobile Processes 4
Deadlock and Lock Freedom in the Linear π-Calculus 4
Deadlock Analysis of Wait-Notify Coordination 4
Deadlock-Free Typestate-Oriented Programming 4
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 4
An OCaml Implementation of Binary Sessions 4
Contract-directed Synthesis of Simple Orchestrators 4
On Global Types and Multi-Party Sessions 4
A core calculus for dynamic delta-oriented programming 4
A Theory of Contracts for Web Services 4
Exception Handling for Copyless Messaging 4
The Chemical Approach to Typestate-Oriented Programming 4
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 4
From Lock Freedom to Progress Using Session Types 4
On Global Types and Multi-Party Sessions 4
Global Progress for Dynamically Interleaved Multiparty Sessions 4
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 4
A Simple Library Implementation of Binary Sessions 4
Mathematical Knowledge Management in HELM 4
Session Types at the Mirror 3
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) 2020 3
An Algebraic Theory for Web Service Contracts 3
Concurrent Typestate-Oriented Programming in Java 3
Polymorphic Endpoint Types for Copyless Message Passing 3
Context-Free Session Type Inference 3
Session Types = Intersection Types + Union Types 3
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 3
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 3
A Theory of Contracts for Web Services 3
Deadlock Analysis of Wait-Notify Coordination 3
Exception Handling for Copyless Messaging 2
Foundations of Session Types: 10 Years Later 2
On Sessions and Infinite Data 2
Mailbox Types for Unordered Interactions 2
Fair Subtyping for Open Session Types 2
On Projecting Processes into Session Types 2
Totale 486
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.595
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 6.595
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023138 0 0 1 1 11 93 0 0 8 0 24 0
2023/2024165 30 1 15 4 6 30 5 12 11 11 0 40
2024/2025183 183 0 0 0 0 0 0 0 0 0 0 0
Totale 486