Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. - Salvatore Caporaso; Michele Zito 001; Nicola Galesi; Emanuele Covino (CIAC, 1997)

Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. - Emanuele Covino; Giovanni Pani; Salvatore Caporaso (CIAC, 2000)

Incompleteness in Linear Time. - Salvatore Caporaso; Giovanni Pani; Emanuele Covino (J. Univers. Comput. Sci., 2000)

A predicative approach to the classification problem. - Salvatore Caporaso; Emanuele Covino; Giovanni Pani (J. Funct. Program., 2001)

An Implicit Recursive Language for the Polynomial Time-space Complexity Classes. - Emanuele Covino; Giovanni Pani (J. Univers. Comput. Sci., 2002)

A Refinement of the µ-measure for Stack Programs. - Emanuele Covino; Giovanni Pani (ICC@LICS, 2003)

A visual tool for multidimensional data analysis. - Paolo Buono; Maria Francesca Costabile; Emanuele Covino; Giovanni Pani (DMS, 2005)

Static Computation of Polynomial-time Functions in C++. - Emanuele Covino; Giovanni Pani; Daniele Scrimieri (FCS, 2007)

Compile-time Computation of Polytime Functions. - Emanuele Covino; Giovanni Pani; Daniele Scrimieri (J. Univers. Comput. Sci., 2007)

Extending C++ Static Computation of Polynomial-Time Algorithms. - Emanuele Covino; Giovanni Pani; Daniele Scrimieri (FCS, 2008)

Complexity Certification of C++ Template Metaprogramming. - Emanuele Covino; Giovanni Pani (Trends in Functional Programming, 2008)

Template Metaprogramming, Partial Evaluation and Computational Complexity Classes. - Emanuele Covino; Giovanni Pani (FCS, 2010)

A Formal Approach for Modeling Interactive Visual Interfaces. - Emanuele Covino; Giovanni Pani (TrustCom, 2011)

An approach to use FB-AODV with Android. - Nicola Corriero; Emanuele Covino; Angelo Mottola (ANT/MobiWIS, 2011)

Analysis of Mobile Networks' Protocols Based on Abstract State Machine. - Emanuele Covino; Giovanni Pani (Logic, Computation and Rigorous Methods, 2021)