CINECA IRIS Institutional Research Information System

PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.991
EU - Europa 3.936
AS - Asia 927
SA - Sud America 33
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 4
Totale 11.914
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.962
DK - Danimarca 1.266
CN - Cina 605
IT - Italia 587
SE - Svezia 388
IE - Irlanda 374
UA - Ucraina 241
FI - Finlandia 216
DE - Germania 213
FR - Francia 197
PL - Polonia 152
KR - Corea 148
GB - Regno Unito 122
VN - Vietnam 92
AT - Austria 46
RU - Federazione Russa 34
NL - Olanda 32
CA - Canada 29
RO - Romania 22
HK - Hong Kong 20
IN - India 19
SG - Singapore 17
AR - Argentina 16
JP - Giappone 16
BR - Brasile 13
BE - Belgio 11
EU - Europa 10
GR - Grecia 8
NZ - Nuova Zelanda 7
AE - Emirati Arabi Uniti 5
AU - Australia 5
ES - Italia 5
NO - Norvegia 5
MT - Malta 4
NG - Nigeria 4
CO - Colombia 3
CZ - Repubblica Ceca 3
PT - Portogallo 2
RS - Serbia 2
A1 - Anonimo 1
BG - Bulgaria 1
CH - Svizzera 1
CY - Cipro 1
EC - Ecuador 1
HU - Ungheria 1
IR - Iran 1
IS - Islanda 1
LU - Lussemburgo 1
MD - Moldavia 1
SA - Arabia Saudita 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 11.914
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.364
Wilmington 621
Fairfield 551
Dublin 372
Houston 335
Guangzhou 292
Woodbridge 276
Ashburn 271
Chandler 271
Seattle 242
Beijing 232
Jacksonville 199
Cambridge 184
Pisa 161
Warsaw 152
Medford 137
Torino 123
Princeton 118
Villeurbanne 116
Dearborn 107
Norwalk 64
Dong Ket 52
Redwood City 47
Wayne 46
Vienna 45
Boardman 44
Naples 34
Nyköping 34
Fremont 32
Helsinki 30
Boston 29
Phoenix 29
Pianezza 29
New York 24
Padova 23
San Diego 22
San Mateo 20
Düsseldorf 16
Hong Kong 14
Milan 14
Falls Church 13
Nanjing 13
Karlsruhe 12
Council Bluffs 11
Kunming 11
Singapore 11
Toronto 11
Federal 10
Brussels 9
Genova 9
Grafing 9
Cluj-Napoca 8
Hefei 8
Turin 8
Cluj-napoca 7
Recife 7
Wuhan 7
Manchester 6
Chicago 5
Cupertino 5
London 5
Ottawa 5
Shanghai 5
Camerino 4
Coimbatore 4
Dallas 4
Hangzhou 4
Lake Forest 4
Livorno 4
Mountain View 4
Old Bridge 4
Oslo 4
Redmond 4
Seoul 4
Acton 3
Asti 3
Auckland 3
Basingstoke 3
Bergamo 3
Bologna 3
Buffalo 3
East Los Angeles 3
Fuzhou 3
Genoa 3
Glasgow 3
Gurgaon 3
Hebei 3
Jinan 3
Ludwigshafen 3
Moncalieri 3
Moscow 3
Nanchang 3
Paris 3
Pescara 3
Porto Sant'elpidio 3
Rodgau 3
Samara 3
Scuola 3
Shrewsbury 3
Tappahannock 3
Totale 8.089
Salva come PNG Salva come JPEG
Nome #
Chaperone Contracts for Higher-Order Sessions 334
A Simple Library Implementation of Binary Sessions 319
A core calculus for dynamic delta-oriented programming 308
On Sessions and Infinite Data 296
Deadlock-Free Typestate-Oriented Programming 287
Chaperone Contracts for Higher-Order Sessions 273
Concurrent Typestate-Oriented Programming in Java 266
Context-Free Session Type Inference 265
Behavioral Types in Programming Languages 260
The Chemical Approach to Typestate-Oriented Programming 257
A Type Checking Algorithm for Concurrent Object Protocols 249
Context-Free Session Type Inference 248
FuSe - A simple library implementation of binary sessions 245
A Dependently-Typed Linear π -Calculus in Agda 243
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 242
Type-Based Analysis of Linear Communications 241
Mailbox Types for Unordered Interactions 236
Global Progress for Dynamically Interleaved Multiparty Sessions 228
Euro-Par 2018: Parallel Processing 223
An OCaml Implementation of Binary Sessions 222
Deadlock Analysis of Wait-Notify Coordination 217
Foundations of Session Types: 10 Years Later 207
Fair Subtyping for Multi-Party Session Types 206
On sessions and infinite data 206
An Algebraic Theory for Web Service Contracts 187
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 187
Foundations of session types and behavioural contracts 179
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 176
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 175
An Algebraic Theory for Web Service Contracts 172
The Chemical Approach to Typestate-Oriented Programming 168
Fair Subtyping for Open Session Types 164
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 155
From Lock Freedom to Progress Using Session Types 153
Deadlock and Lock Freedom in the Linear π-Calculus 151
Types for Deadlock-Free Higher-Order Programs 147
Typing Liveness in Multiparty Communicating Systems 141
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 139
Session Type Isomorphisms 139
Compilation of Generic Regular Path Expressions Using C++ Class Templates 137
Exception Handling for Copyless Messaging 135
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 133
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 131
Contract-based discovery of Web services modulo simple orchestrators 122
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 120
On Global Types and Multi-Party Sessions 105
Typing Copyless Message Passing 105
On Global Types and Multi-Party Sessions 99
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 97
A gentle introduction to multiparty asynchronous session types 95
A Theory of Contracts for Web Services 92
On Projecting Processes into Session Types 91
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation 90
A formal foundation for dynamic delta-oriented software product lines 88
A formal foundation for dynamic delta-oriented software product lines 86
PiDuce – a project for experimenting Web services technologies 83
Exception Handling for Copyless Messaging 78
Hypha - Type Reconstruction for the Linear π-Calculus 73
Formal Methods for Web Services 65
Distributed workflows with Jupyter 63
GMetaDOM 60
From Notation to Semantics: There and Back Again 59
A Lisp Subset Based on MathML 57
A Math Canvas for the GNOME Desktop 57
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 57
SPAn - Session Progress Analyzer 56
Performability-Aware Computing: Logics, Models, and Languages 54
A Standalone Rendering Engine for MathML 53
Polymorphic Endpoint Types for Copyless Message Passing 52
A theory of contracts for web services 52
A Formal Account of Contracts for Web Services 51
XML, Stylesheets and the Re-mathematization of Formal Content 51
Contract-based Discovery and Adaptation of Web Services 46
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 46
Probabilistic Analysis of Binary Sessions 46
Contract-directed Synthesis of Simple Orchestrators 45
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 44
A Theory of Contracts for Web Services 44
Carbon 44
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 43
Smooth Orchestrators 43
Contracts for Mobile Processes 43
Foundations of Session Types 37
The Gnome DOM Engine 37
Fair Subtyping for Multi-Party Session Types 37
A Distributed Implementation of Mobile Nets as Mobile Agents 37
Session Types at the Mirror 36
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 36
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators 36
Typing Copyless Message Passing 36
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 35
HELM and the Semantic Math-Web 34
The Gnome DOM Engine 32
GtkMathView 32
PiDuce 32
Path Expression Templates Library 32
Mathematical Knowledge Management in HELM 31
Formal Mathematics on the Web 30
A Theory of Contracts for Web Services 29
Gnome DOM Engine 29
Totale 12.310
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.250
article - articoli 0
book - libri 0
conference - conferenze 11.534
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 35.784
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019722 0 0 0 0 0 0 0 0 0 99 407 216
2019/20203.490 138 165 341 522 276 327 308 218 385 192 333 285
2020/20213.714 341 214 234 216 390 404 354 342 386 401 277 155
2021/20221.038 57 48 67 95 61 41 73 81 19 82 190 224
2022/20231.071 128 32 9 67 155 351 119 53 92 3 37 25
2023/2024492 81 133 33 37 57 52 42 27 6 24 0 0
Totale 12.573