Paolo Volpe

According to our database, Paolo Volpe authored at least 10 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2001

A first-order language for expressing sharing and type properties of logic programs.

Paolo Volpe

Sci. Comput. Program., 2001

1999

Abstract Interpretation based Verification of Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

1998

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.

Paolo Volpe

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Derivation of Proof Methods by Abstract Interpretation.

Giorgio Levi, Paolo Volpe

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

Abstractions of Uniform Proofs.

Paolo Volpe

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Abstract Interpretation for Uniform Proof Systems.

Paolo Volpe

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994

Concurrent Logic Programming as Uniform Linear Proofs.

Paolo Volpe

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

Semantics of Concurrent Logic Programming as Uniform Proofs.

Paolo Volpe

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994