Paolo Volpe

13 papers B 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
One-class Autoencoder Approach for Optimal Electrode Set-up Identification in Wearable EEG Event Monitoring.
CoRR
Laura M. Ferrari, Guy Abi Hanna, Paolo Volpe, Esma Ismailova, François Brémond, Maria A. Zuluaga
2021 — conf
One-class autoencoder approach for optimal electrode set identification in wearable EEG event monitoring
EMBC
Laura M. Ferrari, Guy Abi Hanna, Paolo Volpe, Esma Ismailova, François Brémond, Maria A. Zuluaga
2003 J jnl
Abstract interpretation based verification of logic programs.
Sci. Comput. Program.
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
2001 J jnl
A first-order language for expressing sharing and type properties of logic programs.
Sci. Comput. Program.
Paolo Volpe
1999 — conf
Abstract Interpretation based Verification of Logic Programs.
Verification of Logic Programs@ICLP
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
1998 — conf
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.
APPIA-GULP-PRODE
Paolo Volpe
1998 B conf
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.
SAS
Paolo Volpe
1998 — conf
Derivation of Proof Methods by Abstract Interpretation.
APPIA-GULP-PRODE
Giorgio Levi, Paolo Volpe
1998 — conf
Derivation of Proof Methods by Abstract Interpretation.
PLILP/ALP
Giorgio Levi, Paolo Volpe
1996 — conf
Abstract Interpretation for Uniform Proof Systems.
APPIA-GULP-PRODE
Paolo Volpe
1996 — conf
Abstractions of Uniform Proofs.
ALP
Paolo Volpe
1994 — conf
Concurrent Logic Programming as Uniform Linear Proofs.
ALP
Paolo Volpe
1994 — conf
Semantics of Concurrent Logic Programming as Uniform Proofs.
GULP-PRODE (1)
Paolo Volpe