PANI, Giovanni
PANI, Giovanni
DIPARTIMENTO DI INFORMATICA
A Compress Filesystem to Improve the Files Contents Search
2011-01-01 Covino, Emanuele; Corriero, ; Pani, Giovanni
A Formal Approach for Modeling Interactive Visual Interfaces
2011-01-01 Covino, Emanuele; Pani, Giovanni
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n)
2007-01-01 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Paolo, Gissi; Pani, Giovanni
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks
2021-01-01 Covino, Emanuele; Pani, Giovanni
A Predicative Approach to the Classification Problem
2001-01-01 Pani, Giovanni; Covino, Emanuele; Caporaso, S.
A refinement of the mu-measure for stack programs
2003-01-01 Covino, Emanuele; Pani, Giovanni
A Sequential Approach to the Hereditarily Recursive Continuous Functionals
1988-01-01 Gandy, R. O.; Pani, Giovanni
A specialized recursive language for capturing time-space complexity classes
2015-01-01 Covino, Emanuele; Pani, Giovanni
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines
2020-01-01 Bianchi, Alessandro; Covino, Emanuele; Pani, Giovanni; Pizzutilo, Sebastiano
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version),
2021-01-01 Covino, Emanuele; Pani, Giovanni; Bianchi, Alessandro; Pizzutilo, Sebastiano
A tool for the evaluation of the complexity of programs using C++ templetates
2011-01-01 Corriero, N; Covino, Emanuele; Pani, Giovanni
A visual tool for multidimensional data analysis
2005-01-01 Buono, Paolo; Costabile, Maria; Covino, Emanuele; Pani, Giovanni
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines
2021-01-01 Covino, Emanuele; Pani, Giovanni
Bluetooth and filesystem to manage a ubiquitous mesh network
2010-01-01 N., Corriero; Covino, Emanuele; Pani, Giovanni; E., Zhupa
C++ Template Metaprogramming and Polynomial-Time Functions
In corso di stampa Covino, Emanuele; Pani, Giovanni
Compile-time Computation of Polytime Functions.
2007-01-01 Covino, Emanuele; Pani, Giovanni; D., Scrimieri
Complexity certification of C++ template metaprogramming
2008-01-01 Pani, Giovanni; Covino, Emanuele
Complexity certification of C++ template metaprogramming (extended version)
2009-01-01 Pani, Giovanni; Covino, Emanuele
Complexity certification of C++ templates
2008-01-01 Covino, Emanuele; Pani, Giovanni
Conversazioni in una veranda
2014-01-01 Pani, Giovanni