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