Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. - Silvia Mazzini; Laura Baracchi; Stefano Puri; Mauro Pasquinelli; Diego Gerbaz; Joachim Fuchs; Valter Basso; Lorenzo Pace; Marco Lassalle; Juhani Viitaniemi (CIISE, 2014)

Applying Model-Based System Engineering to the Verification of Space Systems. - Lorenzo Pace (2015)

A Ka-Band Low-Noise Amplifier for Space Applications in a 100 nm GaN on Si technology. - Lorenzo Pace; Walter Ciccognani; Sergio Colangeli; Patrick Ettore Longhi; Ernesto Limiti; Rémy Leblanc (PRIME, 2019)

Broadband Amplifier Design Technique by Dissipative Matching Networks. - Walter Ciccognani; Sergio Colangeli; Patrick E. Longhi; Antonio Serino; Rocco Giofrè; Lorenzo Pace; Ernesto Limiti (IEEE Trans. Circuits Syst. I Regul. Pap., 2021)

A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version). - Lorenzo Pace (CoRR, 2023)