Sfoglia per Autore
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
IFHNFS: fast indexing information in mobile devices,
2011-01-01 Pani, Giovanni; Gargiuolo, ; Corriero, N.
Conversazioni in una veranda
2014-01-01 Pani, Giovanni
A specialized recursive language for capturing time-space complexity classes
2015-01-01 Covino, Emanuele; Pani, Giovanni
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs
2015-01-01 Covino, Emanuele; Pani, Giovanni
Diagonalization and Elementary Complexity
2018-01-01 Covino, Emanuele; Pani, Giovanni
On the complexity of programs with nested loops
2019-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
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines
2021-01-01 Covino, Emanuele; Pani, Giovanni
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks
2021-01-01 Covino, Emanuele; Pani, Giovanni
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
C++ Template Metaprogramming and Polynomial-Time Functions
In corso di stampa Covino, Emanuele; Pani, Giovanni
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile