Semantics of Concurrent Logic Programming as Uniform Proofs. - Paolo Volpe (GULP-PRODE (1), 1994)

Concurrent Logic Programming as Uniform Linear Proofs. - Paolo Volpe (ALP, 1994)

Abstract Interpretation for Uniform Proof Systems. - Paolo Volpe (APPIA-GULP-PRODE, 1996)

Abstractions of Uniform Proofs. - Paolo Volpe (ALP, 1996)

Derivation of Proof Methods by Abstract Interpretation. - Giorgio Levi; Paolo Volpe (APPIA-GULP-PRODE, 1998)

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. - Paolo Volpe (APPIA-GULP-PRODE, 1998)

Abstract Interpretation based Verification of Logic Programs. - Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe (Verification of Logic Programs@ICLP, 1999)

A first-order language for expressing sharing and type properties of logic programs. - Paolo Volpe (Sci. Comput. Program., 2001)

One-class autoencoder approach for optimal electrode set identification in wearable EEG event monitoring*. - Laura M. Ferrari; Guy Abi Hanna; Paolo Volpe; Esma Ismailova; François Brémond; Maria A. Zuluaga (EMBC, 2021)

One-class Autoencoder Approach for Optimal Electrode Set-up Identification in Wearable EEG Event Monitoring. - Laura M. Ferrari; Guy Abi Hanna; Paolo Volpe; Esma Ismailova; François Brémond; Maria A. Zuluaga (CoRR, 2021)