CINECA IRIS Institutional Research Information System

PAOLINI, Luca Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.493
EU - Europa 3.601
AS - Asia 2.947
SA - Sud America 425
AF - Africa 57
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
AN - Antartide 1
Totale 13.532
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.402
SG - Singapore 1.269
DK - Danimarca 896
IT - Italia 846
CN - Cina 762
SE - Svezia 359
BR - Brasile 341
FR - Francia 301
VN - Vietnam 301
IE - Irlanda 261
DE - Germania 203
KR - Corea 203
FI - Finlandia 175
UA - Ucraina 142
GB - Regno Unito 140
IN - India 86
PL - Polonia 84
JP - Giappone 74
HK - Hong Kong 71
CA - Canada 57
ID - Indonesia 56
RU - Federazione Russa 50
AT - Austria 28
BE - Belgio 28
AR - Argentina 26
IQ - Iraq 23
NL - Olanda 23
BD - Bangladesh 20
MX - Messico 19
EC - Ecuador 15
ZA - Sudafrica 15
ES - Italia 14
VE - Venezuela 14
GR - Grecia 10
PK - Pakistan 10
CL - Cile 9
AE - Emirati Arabi Uniti 7
CO - Colombia 7
MA - Marocco 7
PH - Filippine 7
TN - Tunisia 7
TR - Turchia 7
PE - Perù 6
JO - Giordania 5
KE - Kenya 5
LT - Lituania 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
CZ - Repubblica Ceca 4
EU - Europa 4
IR - Iran 4
KW - Kuwait 4
KZ - Kazakistan 4
LV - Lettonia 4
MU - Mauritius 4
PT - Portogallo 4
RO - Romania 4
SI - Slovenia 4
AL - Albania 3
AU - Australia 3
AZ - Azerbaigian 3
CR - Costa Rica 3
DZ - Algeria 3
EG - Egitto 3
IL - Israele 3
JM - Giamaica 3
LB - Libano 3
NG - Nigeria 3
NO - Norvegia 3
PY - Paraguay 3
RS - Serbia 3
UY - Uruguay 3
AO - Angola 2
BH - Bahrain 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
HU - Ungheria 2
KG - Kirghizistan 2
NP - Nepal 2
OM - Oman 2
TH - Thailandia 2
AM - Armenia 1
AQ - Antartide 1
BB - Barbados 1
BG - Bulgaria 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
ET - Etiopia 1
GA - Gabon 1
GT - Guatemala 1
LY - Libia 1
MD - Moldavia 1
MK - Macedonia 1
MM - Myanmar 1
MY - Malesia 1
MZ - Mozambico 1
NI - Nicaragua 1
PA - Panama 1
PS - Palestinian Territory 1
Totale 13.525
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.972
Singapore 709
Santa Clara 600
Wilmington 319
San Jose 279
Beijing 271
Chandler 270
Dublin 261
Ashburn 216
Torino 206
Guangzhou 201
Dearborn 182
Fairfield 168
Houston 156
Seoul 119
Jacksonville 110
Villeurbanne 103
The Dalles 99
Medford 97
Turin 90
Columbus 82
Princeton 81
Los Angeles 80
Warsaw 78
Pisa 76
Lauterbourg 75
Ho Chi Minh City 73
Woodbridge 70
Hanoi 69
Tokyo 68
Hong Kong 59
Dong Ket 57
Norwalk 55
Seattle 55
New York 51
Nyköping 51
Dallas 50
Buffalo 49
Helsinki 45
Cambridge 43
Council Bluffs 41
Jakarta 41
Nuremberg 38
Milan 37
Boston 35
Hefei 34
Wayne 34
Naples 33
Boardman 31
São Paulo 26
Brussels 24
Toronto 22
Rome 21
San Diego 21
Frankfurt am Main 19
San Mateo 19
Orem 18
Redwood City 17
Nanjing 16
Falls Church 15
Padova 15
Redondo Beach 15
Vienna 15
Chennai 14
Chicago 14
Ottawa 14
Bengaluru 13
Paris 13
Brasília 12
Rio de Janeiro 12
Da Nang 11
Fremont 11
Haiphong 11
Verona 11
Brooklyn 10
Chieri 10
Atlanta 9
Johannesburg 9
Phoenix 9
Pune 9
San Mauro Torinese 9
Agliè 8
Florence 8
Kunming 8
Mexico City 8
New Delhi 8
Baghdad 7
Shanghai 7
Amsterdam 6
Biên Hòa 6
Coimbatore 6
Guayaquil 6
Hebei 6
Jinan 6
London 6
Munich 6
Redmond 6
Salvador 6
Santiago 6
Alessandria 5
Totale 8.608
Salva come PNG Salva come JPEG
Nome #
Quantum programming made easy 441
A Class of Reversible Primitive Recursive Functions 437
A Formal Model for Multi SPLs 423
A certified study of a reversible programming language 417
Essential and relational models 411
Multi software product lines in the wild 406
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions 399
A formal model for Multi Software Product Lines 371
On the expressiveness of modal transition systems with variability constraints 353
The fixed point problem for general and for linear SRL programs is undecidable 351
A class of Recursive Permutations which is Primitive Recursive complete 345
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 318
QPCF: Higher-Order Languages and Quantum Circuits 317
qPCF: A language for quantum circuit computations 311
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 306
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 305
The fixed point problem of a simple reversible language 301
Static analysis of featured transition systems 275
On the reification of semantic linearity 267
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 267
Review MR2968322 of Dal Lago, Ugo; Martini, Simone. On constructor rewrite systems and the lambda-calculus. Log. Methods Comput. Sci. 8 (2012), no. 3, 3:12. 217
Standardization of a Call-By-Value Lambda-Calculus 207
Call-by-Value Solvability 181
On the Expressivity of Total Reversible Programming Languages 165
A Process-Model for Linear Programs 158
Intersection Types and Related Systems (ITRS) 155
Call-by-Value Separability and Computability 145
Lazy Logical Semantics 141
Linearity and PCF: a semantic insight! 138
A fully abstract model for the lazy lambda-calculus 136
MR3433519 Reviewed Wu, Mingyuan; Guo, Lankun; Li, Qingguo A representation of L-domains by information systems. Theoret. Comput. Sci. 612 (2016), 126–136. 133
Call-by-value solvability, revisited 131
MR3445957 Review of the BOOK by Nederpelt, Rob; Geuvers, Herman Type theory and formal proof. An introduction. With a foreword by Henk Barendregt. Cambridge University Press, Cambridge, 2014. xxv+436 pp. ISBN: 978-1-107-03650-5 131
The Parametric Lambda-Calculus: a Metamodel for Computation 130
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012 130
MR3526501 Reviewed Urquhart, Alasdair The story of γ. J. Michael Dunn on information based logics, 93–105, Outst. Contrib. Log., 8, Springer, [Cham], 2016. 130
MR3058889 Review of van Bakel, Steffen Completeness and soundness results for X with intersection and union types. Fund. Inform. 121 (2012), no. 1-4, 1–41. 130
Strong Normalization from an unusual point of view 124
Semantically Linear Programming Languages 119
MR3375745 Review of Bimbó, Katalin The decidability of the intensional fragment of classical linear logic. Theoret. Comput. Sci. 597 (2015), 1–17. 119
Host-Core Calculi for Non-classical Computations: A First Insight 118
On Slicing Software Product Line Signatures 116
Syntactical, Operational and Denotational Linearity 115
MR3331593 Review of Schmidt-Schauss, Manfred; Sabel, David; Machkasova, Elena Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq. Log. Methods Comput. Sci. 11 (2015), no. 1, 1:7, 50 pp. 115
An Operational Characterization of Strong Normalization 109
On logical and extensional characterizations of attributed feature models 105
Review MR3029090 of Stump, Aaron; Zantema, Hans; Kimmell, Garrin; El Haj Omar, Ruba. A rewriting view of simple typing. Log. Methods Comput. Sci. 9 (2013), no. 1, pp. 1:04. 104
On Two Characterizations of Feature Models 103
Logical Semantics for Stability 102
MR2850010 Review of Seldin, Jonathan P. The search for a reduction in combinatory logic equivalent to λβ-reduction. Theoret. Comput. Sci. 412 (2011), no. 37, 4905–4918 102
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 102
A Stable Programming Language 101
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012) 98
MR2817181 Review of Ketema, Jeroen; Simonsen, Jakob Grue. Infinitary combinatory reduction systems. Inform. and Comput. 209 (2011), no. 6, 893–926 97
Lazy strong normalization 97
Variability modules for Java-like languages 97
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009" 96
MR2895545 Review of Intrigila, Benedetto; Statman, Richard Solution to the range problem for combinatory logic. Fund. Inform. 111 (2011), no. 2, 203–222 92
MR2855881 Review of van Oosten, Jaap. Partial combinatory algebras of functions. Notre Dame J. Form. Log. 52 (2011), no. 4, 431–448. 92
MR2892698 Review of Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio A relational semantics for parallelism and non-determinism in a functional settling. Ann. Pure Appl. Logic 163 (2012), no. 7, 918–934 91
MR2960042 Review of Hasegawa, Masahito A quantum double construction in Rel. Math. Structures Comput. Sci. 22 (2012), no. 4, 618–650 91
Efficient static analysis and verification of featured transition systems 90
La chiamata per Valore e La valutazione pigra nel λ-calcolo 88
Parametric Lambda-Theories 86
MR2836775 - Review of Hyvernat, Pierre From coherent to finiteness spaces. Log. Methods Comput. Sci. 7 (2011), no. 3, 3:15 86
Static analysis and family-based model checking of featured transition systems with VMC 85
Variability modules 84
Parametric parameter passing lambda-calculus 83
Élements de Ludique 82
Lambda-theories: some investigations 81
Static analysis and family-based model checking with VMC 80
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC 79
Lecturer of the International Summer School Chambery-Torino 2006 78
Deltas for Functional Programs with Algebraic Data Types 77
Preface 3rd International Workshop on Linearity, LINEARITY 2014 76
Member of the Program Committee - 8th Workshop on Logical and Semantic Frameworks, with Applications 76
Member of the Program Committee - 7th Workshop on Logical and Semantic Frameworks, with Applications 72
Member of the Program Committee - 9th International Conference on Typed Lambda Calculi and Applications 71
Member of the Program Committee - 5th Workshop on Logical and Semantic Frameworks, with Applications 71
Member of the Editorial Board: TLCA e-List of Open Problems (2010). 70
Member of the Program Committee - 3th Workshop on Logical and Semantic Frameworks, with Applications 67
Lecturer of The Fourth International School on Rewriting (ISR'09) 66
Member of the Program Commitee - 1st International Workshop on Linearity 63
Member of the Program Committee - 6th Workshop on Logical and Semantic Frameworks, with Applications 62
Organizing chair - Second 2011 RICH MODEL TOOLKIT Meeting 62
Member of the Program Committee - 4th Workshop on Logical and Semantic Frameworks, with Applications 61
Member of the Editorial Board: TLCA e-List of Open Problems (2011). 57
Linearity and PCF: A semantic insight! 50
Modeling Variability in Complex Software Systems 8
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023) 8
Programming the Interaction with Quantum Coprocessors 5
Totale 14.108
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.414
article - articoli 0
book - libri 0
conference - conferenze 14.674
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 50.088
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021309 0 0 0 0 0 0 0 0 0 0 178 131
2021/20221.061 32 46 16 152 82 22 92 57 38 61 278 185
2022/2023931 101 42 25 102 91 282 112 58 68 6 26 18
2023/2024385 42 65 19 23 22 32 22 6 6 36 48 64
2024/20251.950 26 133 75 134 611 131 47 149 141 156 123 224
2025/20263.161 230 326 239 424 358 244 519 190 302 279 50 0
Totale 14.108