CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.155 0 80 192 218 145 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/202591 26 65 0 0 0 0 0 0 0 0 0 0
Totale 9.088