Paolo Volpe

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Daily Activities

Optimal Solution

Artificial Neural Networks

Top Venues

Publications

Laura M. Ferrari, Guy Abi Hanna, Paolo Volpe, Esma Ismailova, François Brémond, Maria A. Zuluaga
One-class Autoencoder Approach for Optimal Electrode Set-up Identification in Wearable EEG Event Monitoring. CoRR (2021)
Laura M. Ferrari, Guy Abi Hanna, Paolo Volpe, Esma Ismailova, François Brémond, Maria A. Zuluaga
. EMBC (2021)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49 (1-3) (2003)
Paolo Volpe
A first-order language for expressing sharing and type properties of logic programs. Sci. Comput. Program. 39 (1) (2001)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract Interpretation based Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Giorgio Levi, Paolo Volpe
Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP (1998)
Giorgio Levi, Paolo Volpe
Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE (1998)
Paolo Volpe
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. SAS (1998)
Paolo Volpe
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. APPIA-GULP-PRODE (1998)
Paolo Volpe
Abstractions of Uniform Proofs. ALP (1996)
Paolo Volpe
Abstract Interpretation for Uniform Proof Systems. APPIA-GULP-PRODE (1996)
Paolo Volpe
Semantics of Concurrent Logic Programming as Uniform Proofs. GULP-PRODE (1) (1994)
Paolo Volpe
Concurrent Logic Programming as Uniform Linear Proofs. ALP (1994)