Paolo Coppola

GUARDS: a generic upgradable architecture for real-time dependable systems

David Powell, Jean Arlat, L. Beus-Dukic et al. · IEEE Transactions on Parallel and Distributed Systems · 1999 · 93 citations

Engineering, Computer Engineering, Computer Science +17

The Context-Aware Browser

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero et al. · IEEE Intelligent Systems · 2010 · 45 citations

Computing, Computer Science, Information Systems +16

(Optimal) duplication is not elementary recursive

Andrea Asperti, Paolo Coppola, Simone Martini · 2000 · 21 citations

Computing, Computer Science, Algorithms +5

Light Logics and the Call-by-Value Lambda Calculus

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca · Logical Methods in Computer Science · 2008 · 14 citations · Full text

Computing, Computer Science, Logic +12

Optimizing optimal reduction

Paolo Coppola, Simone Martini · ACM Transactions on Computational Logic · 2006 · 14 citations

Computing, Computer Science, Algorithms +16