CINECA IRIS Institutional Research Information System

PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.997
EU - Europa 3.987
AS - Asia 1.044
SA - Sud America 33
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 4
Totale 12.088
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.968
DK - Danimarca 1.266
CN - Cina 608
IT - Italia 600
SE - Svezia 388
IE - Irlanda 374
UA - Ucraina 242
FI - Finlandia 228
DE - Germania 225
FR - Francia 202
PL - Polonia 152
KR - Corea 148
SG - Singapore 130
GB - Regno Unito 122
VN - Vietnam 92
AT - Austria 46
RU - Federazione Russa 34
NL - Olanda 33
CA - Canada 29
RO - Romania 23
HK - Hong Kong 21
IN - India 19
AR - Argentina 16
JP - Giappone 16
BR - Brasile 13
BE - Belgio 11
EU - Europa 10
GR - Grecia 8
NZ - Nuova Zelanda 7
SI - Slovenia 6
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 12.088
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.364
Wilmington 621
Fairfield 551
Dublin 372
Houston 335
Guangzhou 292
Woodbridge 276
Ashburn 272
Chandler 271
Seattle 242
Beijing 232
Jacksonville 199
Cambridge 184
Pisa 161
Warsaw 152
Medford 137
Torino 123
Princeton 118
Villeurbanne 116
Dearborn 107
Singapore 78
Norwalk 64
Dong Ket 52
Redwood City 47
Boardman 46
Wayne 46
Vienna 45
Helsinki 42
Naples 34
Nyköping 34
Fremont 32
Boston 29
Phoenix 29
Pianezza 29
New York 24
Padova 23
San Diego 22
San Mateo 20
Milan 17
Düsseldorf 16
Hong Kong 14
Falls Church 13
Nanjing 13
Karlsruhe 12
Council Bluffs 11
Kunming 11
Toronto 11
Turin 11
Federal 10
Brussels 9
Genova 9
Grafing 9
Cluj-Napoca 8
Hefei 8
Nuremberg 8
Cluj-napoca 7
Recife 7
Wuhan 7
Ljubljana 6
Manchester 6
Camerino 5
Chicago 5
Cupertino 5
Dallas 5
London 5
Ottawa 5
Shanghai 5
Coimbatore 4
Hangzhou 4
Lake Forest 4
Livorno 4
Mountain View 4
Munich 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
Totale 8.188
Salva come PNG Salva come JPEG
Nome #
Chaperone Contracts for Higher-Order Sessions 336
A Simple Library Implementation of Binary Sessions 322
A core calculus for dynamic delta-oriented programming 309
On Sessions and Infinite Data 298
Deadlock-Free Typestate-Oriented Programming 288
Chaperone Contracts for Higher-Order Sessions 273
Concurrent Typestate-Oriented Programming in Java 271
Context-Free Session Type Inference 270
Behavioral Types in Programming Languages 262
The Chemical Approach to Typestate-Oriented Programming 257
Context-Free Session Type Inference 251
A Type Checking Algorithm for Concurrent Object Protocols 251
FuSe - A simple library implementation of binary sessions 247
A Dependently-Typed Linear π -Calculus in Agda 246
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 245
Type-Based Analysis of Linear Communications 243
Mailbox Types for Unordered Interactions 237
Global Progress for Dynamically Interleaved Multiparty Sessions 229
An OCaml Implementation of Binary Sessions 225
Euro-Par 2018: Parallel Processing 224
Deadlock Analysis of Wait-Notify Coordination 219
Foundations of Session Types: 10 Years Later 208
Fair Subtyping for Multi-Party Session Types 207
On sessions and infinite data 207
An Algebraic Theory for Web Service Contracts 188
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 188
Foundations of session types and behavioural contracts 180
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 178
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 176
An Algebraic Theory for Web Service Contracts 174
The Chemical Approach to Typestate-Oriented Programming 169
Fair Subtyping for Open Session Types 165
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 156
From Lock Freedom to Progress Using Session Types 154
Deadlock and Lock Freedom in the Linear π-Calculus 154
Types for Deadlock-Free Higher-Order Programs 148
Typing Liveness in Multiparty Communicating Systems 142
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 140
Session Type Isomorphisms 140
Compilation of Generic Regular Path Expressions Using C++ Class Templates 138
Exception Handling for Copyless Messaging 136
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 134
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 132
Contract-based discovery of Web services modulo simple orchestrators 123
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 121
On Global Types and Multi-Party Sessions 106
Typing Copyless Message Passing 106
On Global Types and Multi-Party Sessions 101
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 98
A gentle introduction to multiparty asynchronous session types 98
A Theory of Contracts for Web Services 96
On Projecting Processes into Session Types 92
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation 92
A formal foundation for dynamic delta-oriented software product lines 89
A formal foundation for dynamic delta-oriented software product lines 88
PiDuce – a project for experimenting Web services technologies 84
Exception Handling for Copyless Messaging 81
Hypha - Type Reconstruction for the Linear π-Calculus 75
Distributed workflows with Jupyter 67
Formal Methods for Web Services 66
GMetaDOM 61
From Notation to Semantics: There and Back Again 60
A Math Canvas for the GNOME Desktop 59
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 59
A Lisp Subset Based on MathML 58
SPAn - Session Progress Analyzer 58
A Standalone Rendering Engine for MathML 55
Performability-Aware Computing: Logics, Models, and Languages 54
Polymorphic Endpoint Types for Copyless Message Passing 53
A theory of contracts for web services 53
A Formal Account of Contracts for Web Services 52
XML, Stylesheets and the Re-mathematization of Formal Content 52
Contract-based Discovery and Adaptation of Web Services 47
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 47
Probabilistic Analysis of Binary Sessions 47
Contract-directed Synthesis of Simple Orchestrators 46
Carbon 46
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 45
A Theory of Contracts for Web Services 45
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 44
Smooth Orchestrators 44
Contracts for Mobile Processes 44
Fair Subtyping for Multi-Party Session Types 39
Foundations of Session Types 38
The Gnome DOM Engine 38
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators 38
A Distributed Implementation of Mobile Nets as Mobile Agents 38
Session Types at the Mirror 37
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 37
Typing Copyless Message Passing 37
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 36
HELM and the Semantic Math-Web 35
PiDuce 35
The Gnome DOM Engine 33
GtkMathView 33
Path Expression Templates Library 33
Mathematical Knowledge Management in HELM 32
Formal Mathematics on the Web 31
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality 31
A Theory of Contracts for Web Services 30
Totale 12.460
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.464
article - articoli 0
book - libri 0
conference - conferenze 12.134
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 37.598
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024662 81 133 33 37 57 52 42 27 6 24 73 97
2024/20255 5 0 0 0 0 0 0 0 0 0 0 0
Totale 12.748