Luca Paolini - Concepedia

Author

Luca Paolini

University of Turin ORCID

Also Known As

LUCA PAOLINI, Luca Paolini, Paolini, Luca

Publications

604

Citations

H-Index

Concepts

All Affiliations

University of Turin Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"Office National d'Études et de Recherches Aérospatiales Université Paris-Saclay

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	206
2	Language Studies	1	1	10
3	Medicine	1	1	37
4	Social Sciences	1	1	18
5	Cognitive Science	1	1	18

Luca Paolini

Publications

288

Citations

H-Index

Page 1

	Year	Citations
Call-by-value Solvability Luca Paolini, Simona Ronchi Della Rocca RAIRO - Theoretical Informatics and Applications Decision ProcedureEngineeringAutomated ReasoningType TheoryLogical Characterization	1999	41
First Detection of SARS-CoV-2 by Real-Time Reverse Transcriptase-Polymerase Chain Reaction Assay in Pleural Fluid Federico Mei, Martina Bonifazi, Stefano Menzo, CHEST Journal First DetectionViral DiagnosticsMedicineDiagnostic TestPathology	2020	37
Efficient static analysis and verification of featured transition systems Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt, Empirical Software Engineering Software MaintenanceEngineeringVerificationSoftware SystemsComputer-aided Verification	2021	21
Static Analysis of Featured Transition Systems Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt, Software MaintenanceEngineeringVerificationSoftware EngineeringFeatured Transitions	2019	20
Parametric parameter passing λ-calculus Luca Paolini, Simona Ronchi Della Rocca Information and Computation Parameterized AlgorithmParametric ParameterParameter IdentificationParametric Programming	2003	18
Essential and relational models Luca Paolini, Mauro Piccolo, SIMONA RONCHI DELLA ROCCA Mathematical Structures in Computer Science EngineeringType TheoryHigher-order LogicSemanticsSocial Sciences	2015	18
A Class of Reversible Primitive Recursive Functions Luca Paolini, Mauro Piccolo, Luca Roversi Electronic Notes in Theoretical Computer Science Circuit ComplexityTheory Of ComputingEngineeringAutomated ReasoningComputational Model Theory	2016	17
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions Luca Paolini, Mauro Piccolo, Luca Roversi New Generation Computing Circuit ComplexityEngineeringComputational Model TheoryComputational ComplexityComputer Science	2018	17
QPCF: Higher-Order Languages and Quantum Circuits Luca Paolini, Mauro Piccolo, Margherita Zorzi Journal of Automated Reasoning Quantum ScienceHigher-order LanguagesEngineeringQuantum ComputingPhysics	2019	17
On the expressiveness of modal transition systems with variability constraints Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Science of Computer Programming Variability ConstraintsEngineeringAutomated ReasoningDiscrete Dynamical SystemFormal Methods	2018	17

Page 1