CINECA IRIS Institutional Research Information System

PAOLINI, Luca Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.400
EU - Europa 3.177
AS - Asia 981
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 2
OC - Oceania 1
Totale 9.574
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.367
DK - Danimarca 892
IT - Italia 756
CN - Cina 501
SE - Svezia 353
IE - Irlanda 260
SG - Singapore 234
FR - Francia 198
FI - Finlandia 156
DE - Germania 140
UA - Ucraina 136
GB - Regno Unito 111
KR - Corea 89
PL - Polonia 71
VN - Vietnam 69
ID - Indonesia 40
RU - Federazione Russa 34
CA - Canada 32
BE - Belgio 27
IN - India 22
NL - Olanda 17
GR - Grecia 10
HK - Hong Kong 10
JP - Giappone 5
AE - Emirati Arabi Uniti 4
EU - Europa 4
MU - Mauritius 4
PT - Portogallo 4
CZ - Repubblica Ceca 3
IR - Iran 3
BR - Brasile 2
ES - Italia 2
MA - Marocco 2
NG - Nigeria 2
RO - Romania 2
SI - Slovenia 2
AU - Australia 1
CI - Costa d'Avorio 1
IL - Israele 1
LT - Lituania 1
MX - Messico 1
NO - Norvegia 1
PH - Filippine 1
PK - Pakistan 1
RS - Serbia 1
SA - Arabia Saudita 1
Totale 9.574
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.972
Santa Clara 584
Wilmington 319
Chandler 270
Dublin 259
Torino 206
Beijing 205
Guangzhou 195
Singapore 187
Dearborn 182
Fairfield 168
Houston 150
Jacksonville 109
Villeurbanne 103
Medford 97
Ashburn 94
Princeton 81
Columbus 79
Pisa 76
Turin 72
Woodbridge 69
Warsaw 67
Dong Ket 57
Norwalk 55
Seattle 54
Nyköping 51
Cambridge 43
Jakarta 38
Wayne 34
Helsinki 33
Boston 30
Naples 30
Milan 28
Brussels 24
New York 23
Boardman 21
San Diego 21
San Mateo 19
Redwood City 17
Toronto 17
Nanjing 16
Rome 16
Falls Church 15
Padova 15
Fremont 11
Ottawa 11
Verona 11
San Mauro Torinese 9
Florence 8
Chieri 7
Hong Kong 7
Kunming 7
Nuremberg 7
Pune 7
Buffalo 6
Coimbatore 6
Hebei 6
Hefei 6
Paris 6
Redmond 6
Alessandria 5
Jinan 5
Seoul 5
Darmstadt 4
Hangzhou 4
Lachine 4
Landshut 4
Mountain View 4
None 4
Phoenix 4
Shanghai 4
Usingen 4
Vicenza 4
Bologna 3
Bures-sur-Yvette 3
Chengdu 3
Dallas 3
Edinburgh 3
Fuzhou 3
Gabiano 3
Ivrea 3
Marzano 3
Philadelphia 3
Romano 3
Shenzhen 3
Southend 3
Zhengzhou 3
Abuja 2
Appiano Gentile 2
Bochum 2
Brugherio 2
Brusson 2
Busto Arsizio 2
Cafasse 2
Carmagnola 2
Castiglione 2
Central District 2
Changsha 2
Chennai 2
Chicago 2
Totale 6.445
Salva come PNG Salva come JPEG
Nome #
A Class of Reversible Primitive Recursive Functions 368
Quantum programming made easy 368
A certified study of a reversible programming language 358
A Formal Model for Multi SPLs 353
Multi software product lines in the wild 342
Essential and relational models 339
A formal model for Multi Software Product Lines 319
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions 306
The fixed point problem for general and for linear SRL programs is undecidable 301
On the expressiveness of modal transition systems with variability constraints 276
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 267
qPCF: A language for quantum circuit computations 265
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 260
The fixed point problem of a simple reversible language 249
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 248
QPCF: Higher-Order Languages and Quantum Circuits 240
Static analysis of featured transition systems 239
A class of Recursive Permutations which is Primitive Recursive complete 238
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 215
On the reification of semantic linearity 205
Standardization of a Call-By-Value Lambda-Calculus 162
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. 149
Intersection Types and Related Systems (ITRS) 116
On the Expressivity of Total Reversible Programming Languages 113
Call-by-Value Solvability 109
A Process-Model for Linear Programs 107
Lazy Logical Semantics 105
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012 99
MR3433519 Reviewed Wu, Mingyuan; Guo, Lankun; Li, Qingguo A representation of L-domains by information systems. Theoret. Comput. Sci. 612 (2016), 126–136. 96
Strong Normalization from an unusual point of view 94
Call-by-Value Separability and Computability 93
A fully abstract model for the lazy lambda-calculus 92
MR3526501 Reviewed Urquhart, Alasdair The story of γ. J. Michael Dunn on information based logics, 93–105, Outst. Contrib. Log., 8, Springer, [Cham], 2016. 92
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. 91
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 90
Linearity and PCF: a semantic insight! 86
MR3375745 Review of Bimbó, Katalin The decidability of the intensional fragment of classical linear logic. Theoret. Comput. Sci. 597 (2015), 1–17. 84
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. 83
Call-by-value solvability, revisited 82
Semantically Linear Programming Languages 81
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. 77
Syntactical, Operational and Denotational Linearity 75
On Slicing Software Product Line Signatures 75
The Parametric Lambda-Calculus: a Metamodel for Computation 74
On Two Characterizations of Feature Models 71
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009" 70
A Stable Programming Language 69
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012) 69
La chiamata per Valore e La valutazione pigra nel λ-calcolo 65
On logical and extensional characterizations of attributed feature models 65
An Operational Characterization of Strong Normalization 63
Parametric parameter passing lambda-calculus 61
Lazy strong normalization 61
Élements de Ludique 60
Logical Semantics for Stability 60
MR2855881 Review of van Oosten, Jaap. Partial combinatory algebras of functions. Notre Dame J. Form. Log. 52 (2011), no. 4, 431–448. 60
Lambda-theories: some investigations 58
Variability modules for Java-like languages 56
Lecturer of the International Summer School Chambery-Torino 2006 55
MR2817181 Review of Ketema, Jeroen; Simonsen, Jakob Grue. Infinitary combinatory reduction systems. Inform. and Comput. 209 (2011), no. 6, 893–926 54
MR2960042 Review of Hasegawa, Masahito A quantum double construction in Rel. Math. Structures Comput. Sci. 22 (2012), no. 4, 618–650 53
MR2895545 Review of Intrigila, Benedetto; Statman, Richard Solution to the range problem for combinatory logic. Fund. Inform. 111 (2011), no. 2, 203–222 51
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 51
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 51
Parametric Lambda-Theories 50
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 50
MR2836775 - Review of Hyvernat, Pierre From coherent to finiteness spaces. Log. Methods Comput. Sci. 7 (2011), no. 3, 3:15 50
Efficient static analysis and verification of featured transition systems 45
Member of the Program Committee - 5th Workshop on Logical and Semantic Frameworks, with Applications 44
Lecturer of The Fourth International School on Rewriting (ISR'09) 42
Static analysis and family-based model checking of featured transition systems with VMC 42
Member of the Program Committee - 4th Workshop on Logical and Semantic Frameworks, with Applications 39
Member of the Program Committee - 8th Workshop on Logical and Semantic Frameworks, with Applications 39
Member of the Editorial Board: TLCA e-List of Open Problems (2010). 37
Member of the Program Committee - 3th Workshop on Logical and Semantic Frameworks, with Applications 37
Member of the Program Committee - 7th Workshop on Logical and Semantic Frameworks, with Applications 37
Member of the Program Commitee - 1st International Workshop on Linearity 36
Member of the Program Committee - 9th International Conference on Typed Lambda Calculi and Applications 36
Member of the Editorial Board: TLCA e-List of Open Problems (2011). 36
Organizing chair - Second 2011 RICH MODEL TOOLKIT Meeting 35
Static analysis and family-based model checking with VMC 35
Member of the Program Committee - 6th Workshop on Logical and Semantic Frameworks, with Applications 32
Variability modules 31
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC 31
Deltas for Functional Programs with Algebraic Data Types 25
Host-Core Calculi for Non-classical Computations: A First Insight 7
Totale 10.100
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.232
article - articoli 0
book - libri 0
conference - conferenze 9.638
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.870
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.520 0 0 0 0 0 271 209 128 269 154 271 218
2020/20212.725 253 197 165 162 240 309 277 247 287 279 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.103 26 133 75 134 611 124 0 0 0 0 0 0
Totale 10.100