Giovanni Pani

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