A parametric method of identification of single-trial event-related potentials in the brain. - Sergio Cerutti; Giuseppe A. Chiarenza; Diego Liberati; Paolo Mascellani; Giorgio Pavesi (IEEE Trans. Biomed. Eng., 1988)

Proving termination of Prolog programs. - Paolo Mascellani; Dino Pedreschi (GULP-PRODE (1), 1994)

Total correctness of logic and pure Prolog programs. - Paolo Mascellani; Dino Pedreschi (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

MauroTeX - A Language for Electronic Critical Editions. - Paolo Mascellani; Pier Daniele Napoletani (ICHIM (2), 2001)

The Declarative Side of Magic. - Paolo Mascellani; Dino Pedreschi (Computational Logic: Logic Programming and Beyond, 2002)