Luca Paolini
Università degli Studi di Torino
H-index: 15
Europe-Italy
Top articles of Luca Paolini
Deltas for Functional Programs with Algebraic Data Types
2023/8/28
Variability modules
Journal of Systems and Software
2023/1/1
Ferruccio Damiani
H-Index: 20
Reiner Hähnle
H-Index: 21
Eduard Kamburjan
H-Index: 7
Luca Paolini
H-Index: 11
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
Science of Computer Programming
2022/12/1
Ferruccio Damiani
H-Index: 20
Luca Paolini
H-Index: 11
On logical and extensional characterizations of attributed feature models
Theoretical Computer Science
2022/4/12
Ferruccio Damiani
H-Index: 20
Luca Paolini
H-Index: 11
Hydrogen production from hydrolysis of magnesium wastes reprocessed by mechanical milling under air
International Journal of Hydrogen Energy
2022/1/26
Efficient static analysis and verification of featured transition systems
Empirical Software Engineering
2022/1
Ferruccio Damiani
H-Index: 20
Luca Paolini
H-Index: 11
Static analysis and family-based model checking of featured transition systems with VMC
2021/9/6
Ferruccio Damiani
H-Index: 20
Luca Paolini
H-Index: 11
Splitting recursion schemes into reversible and classical interacting threads
2021/6/23
Luca Paolini
H-Index: 11
Luca Roversi
H-Index: 8
Interleaving classical and reversible
arXiv preprint arXiv:2102.09436
2021/2/18
Luca Paolini
H-Index: 11
Luca Roversi
H-Index: 8
The fixed point problem of a simple reversible language
Theoretical Computer Science
2020/4/12
Luca Paolini
H-Index: 11
Luca Roversi
H-Index: 8
A class of recursive permutations which is primitive recursive complete
Theoretical Computer Science
2020/4/12
Luca Paolini
H-Index: 11
Luca Roversi
H-Index: 8
On the expressivity of total reversible programming languages
2020
Luca Paolini
H-Index: 11
Luca Roversi
H-Index: 8