Concepedia

Luca Paolini

LP

15

Publications

288

Citations

13

H-Index

1999

Active since

Affiliations

University of Turin(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Office National d'Études et de Recherches Aérospatiales

Université Paris-Saclay

Luca Paolini is an author at University of Turin specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSystem SoftwareSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Maintenance

Publications per year

1999–2021

15

Publications

15

Call-by-value Solvability

Luca Paolini, Simona Ronchi Della Rocca · RAIRO - Theoretical Informatics and Applications · 1999 · 41 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +10

First Detection of SARS-CoV-2 by Real-Time Reverse Transcriptase-Polymerase Chain Reaction Assay in Pleural Fluid

Federico Mei, Martina Bonifazi, Stefano Menzo et al. · CHEST Journal · 2020 · 37 citations · Full text

First Detection, Viral Diagnostics, Medicine +8

Efficient static analysis and verification of featured transition systems

Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt et al. · Empirical Software Engineering · 2021 · 21 citations · Full text

Software Maintenance, Engineering, Verification +24

Static Analysis of Featured Transition Systems

Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt et al. · 2019 · 20 citations · Full text

Software Maintenance, Engineering, Verification +22

Parametric parameter passing λ-calculus

Luca Paolini, Simona Ronchi Della Rocca · Information and Computation · 2003 · 18 citations

Parameterized Algorithm, Parametric Parameter, Parameter Identification +1

Rows per page

1–5 of 15