CINECA IRIS Institutional Research Information System

PADOVANI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.686
EU - Europa 4.107
AS - Asia 1.322
SA - Sud America 36
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 4
Totale 13.178
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.656
DK - Danimarca 1.266
CN - Cina 637
IT - Italia 617
SE - Svezia 388
IE - Irlanda 374
SG - Singapore 320
UA - Ucraina 242
FI - Finlandia 235
DE - Germania 230
FR - Francia 207
PL - Polonia 152
KR - Corea 148
GB - Regno Unito 127
RU - Federazione Russa 107
VN - Vietnam 92
ID - Indonesia 54
AT - Austria 46
NL - Olanda 34
CA - Canada 30
HK - Hong Kong 25
RO - Romania 23
AR - Argentina 19
IN - India 19
JP - Giappone 16
BR - Brasile 13
ES - Italia 12
BE - Belgio 11
EU - Europa 10
GR - Grecia 8
NZ - Nuova Zelanda 7
SI - Slovenia 6
AE - Emirati Arabi Uniti 5
AU - Australia 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
TH - Thailandia 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 13.178
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.364
Wilmington 621
Fairfield 551
Dublin 372
Santa Clara 372
Houston 335
Guangzhou 304
Ashburn 279
Woodbridge 276
Chandler 271
Singapore 254
Seattle 242
Beijing 232
Jacksonville 199
Cambridge 184
Pisa 161
Warsaw 152
Medford 137
Torino 123
Princeton 118
Villeurbanne 116
Dearborn 107
Columbus 105
Norwalk 64
Jakarta 54
Dong Ket 52
Helsinki 49
Redwood City 47
Boardman 46
Wayne 46
Vienna 45
Naples 34
Nyköping 34
Fremont 32
Boston 29
Phoenix 29
Pianezza 29
New York 24
Padova 23
San Diego 22
Milan 20
San Mateo 20
Hong Kong 18
Turin 18
Düsseldorf 16
Falls Church 13
Nanjing 13
Karlsruhe 12
Toronto 12
Council Bluffs 11
Kunming 11
Federal 10
Shanghai 10
Brussels 9
Genova 9
Grafing 9
Paterna 9
Cluj-Napoca 8
Hefei 8
Nuremberg 8
Cluj-napoca 7
Recife 7
Wuhan 7
Ljubljana 6
Manchester 6
Buenos Aires 5
Camerino 5
Chicago 5
Cupertino 5
Dallas 5
Fuzhou 5
Glasgow 5
London 5
Ottawa 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
Bra 3
Buffalo 3
East Los Angeles 3
Genoa 3
Gurgaon 3
Hebei 3
Jinan 3
Ludwigshafen 3
Moncalieri 3
Moscow 3
Totale 8.944
Salva come PNG Salva come JPEG
Nome #
Chaperone Contracts for Higher-Order Sessions 343
A Simple Library Implementation of Binary Sessions 341
A core calculus for dynamic delta-oriented programming 324
On Sessions and Infinite Data 307
Deadlock-Free Typestate-Oriented Programming 298
Concurrent Typestate-Oriented Programming in Java 284
Chaperone Contracts for Higher-Order Sessions 283
Context-Free Session Type Inference 279
Behavioral Types in Programming Languages 277
A Dependently-Typed Linear π -Calculus in Agda 270
The Chemical Approach to Typestate-Oriented Programming 266
A Type Checking Algorithm for Concurrent Object Protocols 265
Context-Free Session Type Inference 263
FuSe - A simple library implementation of binary sessions 262
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 257
Mailbox Types for Unordered Interactions 252
Type-Based Analysis of Linear Communications 251
Global Progress for Dynamically Interleaved Multiparty Sessions 239
Euro-Par 2018: Parallel Processing 237
An OCaml Implementation of Binary Sessions 236
Deadlock Analysis of Wait-Notify Coordination 230
Foundations of Session Types: 10 Years Later 219
Fair Subtyping for Multi-Party Session Types 217
On sessions and infinite data 217
An Algebraic Theory for Web Service Contracts 205
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 201
An Algebraic Theory for Web Service Contracts 192
Foundations of session types and behavioural contracts 190
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 190
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 189
The Chemical Approach to Typestate-Oriented Programming 180
Fair Subtyping for Open Session Types 176
Deadlock and Lock Freedom in the Linear π-Calculus 175
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 168
From Lock Freedom to Progress Using Session Types 162
Types for Deadlock-Free Higher-Order Programs 161
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 154
Exception Handling for Copyless Messaging 150
Session Type Isomorphisms 150
Typing Liveness in Multiparty Communicating Systems 150
Compilation of Generic Regular Path Expressions Using C++ Class Templates 149
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 144
Type Reconstruction for the Linear π-Calculus with Composite Regular Types 141
Contract-based discovery of Web services modulo simple orchestrators 131
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software 131
On Global Types and Multi-Party Sessions 116
Typing Copyless Message Passing 114
A gentle introduction to multiparty asynchronous session types 112
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 110
On Global Types and Multi-Party Sessions 109
A Theory of Contracts for Web Services 106
On Projecting Processes into Session Types 101
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation 101
A formal foundation for dynamic delta-oriented software product lines 100
PiDuce – a project for experimenting Web services technologies 100
A formal foundation for dynamic delta-oriented software product lines 95
Exception Handling for Copyless Messaging 90
Hypha - Type Reconstruction for the Linear π-Calculus 84
Distributed workflows with Jupyter 80
Formal Methods for Web Services 73
SPAn - Session Progress Analyzer 72
A Math Canvas for the GNOME Desktop 70
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 70
A Lisp Subset Based on MathML 67
GMetaDOM 67
From Notation to Semantics: There and Back Again 66
A theory of contracts for web services 64
A Standalone Rendering Engine for MathML 62
Performability-Aware Computing: Logics, Models, and Languages 62
Polymorphic Endpoint Types for Copyless Message Passing 61
A Formal Account of Contracts for Web Services 60
XML, Stylesheets and the Re-mathematization of Formal Content 58
Contracts for Mobile Processes 58
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 56
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows 54
Probabilistic Analysis of Binary Sessions 54
Contract-directed Synthesis of Simple Orchestrators 53
Contract-based Discovery and Adaptation of Web Services 53
A Theory of Contracts for Web Services 53
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 53
Carbon 52
A Distributed Implementation of Mobile Nets as Mobile Agents 52
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 51
Smooth Orchestrators 51
Fair Subtyping for Multi-Party Session Types 48
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 47
Typing Copyless Message Passing 47
Foundations of Session Types 46
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 45
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators 45
The Gnome DOM Engine 44
Session Types at the Mirror 43
PiDuce 42
HELM and the Semantic Math-Web 41
Path Expression Templates Library 40
The Gnome DOM Engine 39
Mathematical Knowledge Management in HELM 39
GtkMathView 39
A Theory of Contracts for Web Services 38
Formal Mathematics on the Web 38
Totale 13.497
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.548
article - articoli 0
book - libri 0
conference - conferenze 14.345
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 43.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.048 0 0 0 0 0 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/20251.098 14 231 180 169 496 8 0 0 0 0 0 0
Totale 13.841