PAOLINI, Luca Luigi
 Distribuzione geografica
Continente #
NA - Nord America 4.661
EU - Europa 3.149
AS - Asia 920
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 2
OC - Oceania 1
Totale 8.746
Nazione #
US - Stati Uniti d'America 4.633
DK - Danimarca 892
IT - Italia 735
CN - Cina 492
SE - Svezia 353
IE - Irlanda 260
FR - Francia 198
SG - Singapore 185
FI - Finlandia 153
DE - Germania 138
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 27
BE - Belgio 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
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.746
Città #
Ann Arbor 1.972
Wilmington 319
Chandler 270
Dublin 259
Torino 206
Beijing 204
Guangzhou 195
Dearborn 182
Fairfield 168
Houston 150
Singapore 142
Jacksonville 109
Villeurbanne 103
Medford 97
Ashburn 88
Princeton 81
Pisa 76
Turin 72
Woodbridge 69
Warsaw 67
Dong Ket 57
Norwalk 55
Seattle 53
Nyköping 51
Cambridge 43
Jakarta 38
Wayne 34
Boston 30
Helsinki 30
Naples 30
Milan 27
Brussels 23
New York 23
Santa Clara 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
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
Totale 5.723
Nome #
A Class of Reversible Primitive Recursive Functions 357
Quantum programming made easy 354
A Formal Model for Multi SPLs 345
A certified study of a reversible programming language 344
Essential and relational models 331
Multi software product lines in the wild 331
A formal model for Multi Software Product Lines 312
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions 293
The fixed point problem for general and for linear SRL programs is undecidable 291
On the expressiveness of modal transition systems with variability constraints 268
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 259
qPCF: A language for quantum circuit computations 252
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 250
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 237
Static analysis of featured transition systems 230
The fixed point problem of a simple reversible language 227
A class of Recursive Permutations which is Primitive Recursive complete 227
QPCF: Higher-Order Languages and Quantum Circuits 225
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 207
On the reification of semantic linearity 195
Standardization of a Call-By-Value Lambda-Calculus 152
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. 141
Intersection Types and Related Systems (ITRS) 105
Call-by-Value Solvability 102
On the Expressivity of Total Reversible Programming Languages 102
A Process-Model for Linear Programs 97
Lazy Logical Semantics 95
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012 93
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
A fully abstract model for the lazy lambda-calculus 85
MR3526501 Reviewed Urquhart, Alasdair The story of γ. J. Michael Dunn on information based logics, 93–105, Outst. Contrib. Log., 8, Springer, [Cham], 2016. 85
Call-by-Value Separability and Computability 84
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. 84
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
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
Linearity and PCF: a semantic insight! 74
Call-by-value solvability, revisited 73
Semantically Linear Programming Languages 69
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. 69
The Parametric Lambda-Calculus: a Metamodel for Computation 68
On Slicing Software Product Line Signatures 64
Syntactical, Operational and Denotational Linearity 63
A Stable Programming Language 62
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009" 60
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012) 58
On Two Characterizations of Feature Models 58
La chiamata per Valore e La valutazione pigra nel λ-calcolo 57
An Operational Characterization of Strong Normalization 56
Parametric parameter passing lambda-calculus 53
On logical and extensional characterizations of attributed feature models 53
Élements de Ludique 52
Logical Semantics for Stability 52
MR2855881 Review of van Oosten, Jaap. Partial combinatory algebras of functions. Notre Dame J. Form. Log. 52 (2011), no. 4, 431–448. 52
Lazy strong normalization 52
Lambda-theories: some investigations 50
Variability modules for Java-like languages 48
MR2817181 Review of Ketema, Jeroen; Simonsen, Jakob Grue. Infinitary combinatory reduction systems. Inform. and Comput. 209 (2011), no. 6, 893–926 46
Lecturer of the International Summer School Chambery-Torino 2006 45
MR2960042 Review of Hasegawa, Masahito A quantum double construction in Rel. Math. Structures Comput. Sci. 22 (2012), no. 4, 618–650 45
MR2895545 Review of Intrigila, Benedetto; Statman, Richard Solution to the range problem for combinatory logic. Fund. Inform. 111 (2011), no. 2, 203–222 43
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 43
Parametric Lambda-Theories 42
MR2836775 - Review of Hyvernat, Pierre From coherent to finiteness spaces. Log. Methods Comput. Sci. 7 (2011), no. 3, 3:15 42
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 41
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 40
Member of the Program Committee - 5th Workshop on Logical and Semantic Frameworks, with Applications 34
Efficient static analysis and verification of featured transition systems 34
Static analysis and family-based model checking of featured transition systems with VMC 33
Lecturer of The Fourth International School on Rewriting (ISR'09) 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
Member of the Editorial Board: TLCA e-List of Open Problems (2010). 25
Organizing chair - Second 2011 RICH MODEL TOOLKIT Meeting 25
Member of the Program Committee - 3th Workshop on Logical and Semantic Frameworks, with Applications 25
Static analysis and family-based model checking with VMC 25
Member of the Program Commitee - 1st International Workshop on Linearity 24
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC 22
Member of the Program Committee - 6th Workshop on Logical and Semantic Frameworks, with Applications 22
Variability modules 19
Deltas for Functional Programs with Algebraic Data Types 15
Totale 9.270
Categoria #
all - tutte 21.068
article - articoli 0
book - libri 0
conference - conferenze 8.762
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 29.830


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.883 0 0 0 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/2025273 26 133 75 39 0 0 0 0 0 0 0 0
Totale 9.270