Giovanni Pani

Publication Activity (10 Years)

Years Active: 1980-2021
Publications (10 Years): 1

Top Topics

Top Venues

Logic, Computation and Rigorous Methods

Publications

Emanuele Covino, Giovanni Pani
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. Logic, Computation and Rigorous Methods (2021)
Nicola Corriero, Giuseppe Gargiuolo, Giovanni Pani
IFHNFS: fast indexing information in mobile devices. ANT/MobiWIS (2011)
Emanuele Covino, Giovanni Pani
A Formal Approach for Modeling Interactive Visual Interfaces. TrustCom (2011)
Emanuele Covino, Giovanni Pani
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes. FCS (2010)
Emanuele Covino, Giovanni Pani
Complexity Certification of C++ Template Metaprogramming. Trends in Functional Programming (2008)
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
Extending C++ Static Computation of Polynomial-Time Algorithms. FCS (2008)
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
Static Computation of Polynomial-time Functions in C++. FCS (2007)
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
Compile-time Computation of Polytime Functions. J. Univers. Comput. Sci. 13 (4) (2007)
Paolo Buono, Maria Francesca Costabile, Emanuele Covino, Giovanni Pani
A visual tool for multidimensional data analysis. DMS (2005)
Emanuele Covino, Giovanni Pani
A Refinement of the µ-measure for Stack Programs. Electron. Notes Theor. Comput. Sci. 90 (2003)
Emanuele Covino, Giovanni Pani
An Implicit Recursive Language for the Polynomial Time-space Complexity Classes. J. Univers. Comput. Sci. 8 (1) (2002)
Salvatore Caporaso, Emanuele Covino, Giovanni Pani
A predicative approach to the classification problem. J. Funct. Program. 11 (1) (2001)
Salvatore Caporaso, Giovanni Pani, Emanuele Covino
Incompleteness in Linear Time. J. Univers. Comput. Sci. 6 (12) (2000)
Emanuele Covino, Giovanni Pani, Salvatore Caporaso
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. CIAC (2000)
Salvatore Caporaso, Giovanni Pani
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. Arch. Math. Log. 22 (1-2) (1980)