Luca Paolini - RankMe

60 papers A 1B 4C 6Misc 1Journal 27Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Core Calculus for Type-safe Product Lines of C Programs. CoRR Ferruccio Damiani, Daisuke Kimura, Luca Paolini, Makoto Tatsuta
2026	J	`jnl`	Learning Foundations Beneath the Stars. CoRR Felice Cardone, Luca Paolini
2025	C	`conf`	Modeling Variability in Complex Software Systems. Software Engineering Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2024	—	`conf`	Host-Core Calculi for Non-classical Computations: A First Insight. ICTCS Matteo Palazzo, Luca Paolini, Luca Roversi, Margherita Zorzi
2023	—	`conf`	Deltas for Functional Programs with Algebraic Data Types. SPLC (A) Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2023	J	`jnl`	Variability modules. J. Syst. Softw. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2022	J	`jnl`	Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2022	J	`jnl`	FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
2022	J	`jnl`	On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2022	J	`jnl`	Programming the Interaction with Quantum Coprocessors. ERCIM News Ferruccio Damiani, Luca Paolini, Luca Roversi
2021	J	`jnl`	Interleaving classical and reversible. CoRR Armando B. Matos, Luca Paolini, Luca Roversi
2021	C	`conf`	Splitting Recursion Schemes into Reversible and Classical Interacting Threads. RC Armando B. Matos, Luca Paolini, Luca Roversi
2021	J	`jnl`	Splitting recursion schemes into reversible and classical interacting threads. CoRR Armando B. Matos, Luca Paolini, Luca Roversi
2021	—	`conf`	Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
2021	—	`conf`	Static analysis and family-based model checking with VMC. SPLC (A) Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
2021	—	`conf`	Variability modules for Java-like languages. SPLC (A) Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2020	J	`jnl`	A class of Recursive Permutations which is Primitive Recursive complete. Theor. Comput. Sci. Luca Paolini, Mauro Piccolo, Luca Roversi
2020	—	`conf`	On Slicing Software Product Line Signatures. ISoLA (1) Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2020	C	`conf`	On Two Characterizations of Feature Models. ICTAC Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2020	C	`conf`	On the Expressivity of Total Reversible Programming Languages. RC Armando B. Matos, Luca Paolini, Luca Roversi
2020	J	`jnl`	The fixed point problem of a simple reversible language. Theor. Comput. Sci. Armando B. Matos, Luca Paolini, Luca Roversi
2019	J	`jnl`	A formal model for Multi Software Product Lines. Sci. Comput. Program. Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2019	J	`jnl`	Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2019	J	`jnl`	On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019	J	`jnl`	QPCF: Higher-Order Languages and Quantum Circuits. J. Autom. Reason. Luca Paolini, Mauro Piccolo, Margherita Zorzi
2019	—	`conf`	Static analysis of featured transition systems. SPLC (A) Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2019	B	`conf`	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2018	—	`conf`	Multi Software Product Lines in the Wild. VaMoS Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
2018	J	`jnl`	On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions. New Gener. Comput. Luca Paolini, Mauro Piccolo, Luca Roversi
2018	J	`jnl`	QPCF: higher order languages and quantum circuits. CoRR Luca Paolini, Mauro Piccolo, Margherita Zorzi
2018	—	`conf`	Quantum programming made easy. Linearity-TLLA@FLoC Luca Paolini, Luca Roversi, Margherita Zorzi
2018	—	`conf`	The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. ICTCS Armando B. Matos, Luca Paolini, Luca Roversi
2017	—	`conf`	A Formal Model for Multi SPLs. FSEN Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2017	J	`jnl`	Essential and relational models. Math. Struct. Comput. Sci. Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2017	J	`jnl`	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2017	C	`conf`	qPCF: A Language for Quantum Circuit Computations. TAMC Luca Paolini, Margherita Zorzi
2016	J	`jnl`	On the reification of semantic linearity. Math. Struct. Comput. Sci. Marco Gaboardi, Luca Paolini, Mauro Piccolo
2016	J	`jnl`	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2015	—	`conf`	A Certified Study of a Reversible Programming Language. TYPES Luca Paolini, Mauro Piccolo, Luca Roversi
2015	—	`conf`	A Class of Reversible Primitive Recursive Functions. ICTCS Luca Paolini, Mauro Piccolo, Luca Roversi
2015	B	`conf`	From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2015	—	`conf`	Standardization of a Call-By-Value Lambda-Calculus. TLCA Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2013	—	`ed.`	Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. ITRS Stéphane Graham-Lengrand, Luca Paolini
2012	Misc	`conf`	Call-by-Value Solvability, Revisited. FLOPS Beniamino Accattoli, Luca Paolini
2012	J	`jnl`	Preface. Fundam. Informaticae Silvia Ghilezan, Luca Paolini
2011	A	`conf`	Linearity and PCF: a semantic insight! ICFP Marco Gaboardi, Luca Paolini, Mauro Piccolo
2011	J	`jnl`	Strong normalization from an unusual point of view. Theor. Comput. Sci. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2009	B	`conf`	Logical Semantics for Stability. MFPS Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2008	—	`conf`	A Process-Model for Linear Programs. TYPES Luca Paolini, Mauro Piccolo
2008	J	`jnl`	Parametric lambda -theories. Theor. Comput. Sci. Luca Paolini
2008	C	`conf`	Semantically linear programming languages. PPDP Luca Paolini, Mauro Piccolo
2006	J	`jnl`	A stable programming language. Inf. Comput. Luca Paolini
2006	B	`conf`	An Operational Characterization of Strong Normalization. FoSSaCS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2004	—	`—`	Lambda]-theories. Luca Paolini
2004	—	`conf`	Lazy Strong Normalization. ITRS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2004	J	`jnl`	Parametric parameter passing Lambda-calculus. Inf. Comput. Luca Paolini, Simona Ronchi Della Rocca
2004	—	`book`	The Parametric Lambda Calculus - A Metamodel for Computation Simona Ronchi Della Rocca, Luca Paolini
2003	—	`conf`	Lazy Logical Semantics. COMETA Luca Paolini, Simona Ronchi Della Rocca
2001	—	`conf`	Call-by-Value Separability and Computability. ICTCS Luca Paolini
1999	J	`jnl`	Call-by-value Solvability. RAIRO Theor. Informatics Appl. Luca Paolini, Simona Ronchi Della Rocca