COVINO, Emanuele

COVINO, Emanuele  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
1. A formal model for the simulation of mobile networks 1-gen-2023 Covino, Emanuele
A Compress Filesystem to Improve the Files Contents Search 1-gen-2011 Covino, Emanuele; Corriero, ; Pani, Giovanni
A Formal Approach for Modeling Interactive Visual Interfaces 1-gen-2011 Covino, Emanuele; Pani, Giovanni
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Paolo, Gissi; Pani, Giovanni
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 1-gen-2021 Covino, Emanuele; Pani, Giovanni
A note on a syntactical measure of the complexity of programs 1-gen-2024 Covino, Emanuele
A Predicative Approach to the Classification Problem 1-gen-2001 Pani, Giovanni; Covino, Emanuele; Caporaso, S.
A refinement of the mu-measure for stack programs 1-gen-2003 Covino, Emanuele; Pani, Giovanni
A resource-free classification of the time-space complexity classes between Lintime and Expspace 1-gen-2000 Caporaso, S.; Pani, G.; Covino, Emanuele
A slow-growing hierarchy of time-bounded programs 1-gen-2017 Covino, Emanuele
A specialized recursive language for capturing time-space complexity classes 1-gen-2015 Covino, Emanuele; Pani, Giovanni
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 1-gen-2020 Bianchi, Alessandro; Covino, Emanuele; Pani, Giovanni; Pizzutilo, Sebastiano
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 1-gen-2021 Covino, Emanuele; Pani, Giovanni; Bianchi, Alessandro; Pizzutilo, Sebastiano
A tool for the evaluation of the complexity of programs using C++ templetates 1-gen-2011 Corriero, N; Covino, Emanuele; Pani, Giovanni
A visual tool for multidimensional data analysis 1-gen-2005 Buono, Paolo; Costabile, Maria; Covino, Emanuele; Pani, Giovanni
An approach to use FB-AODV with Android 1-gen-2011 N., Corriero; Covino, Emanuele; A., Mottola
An implicit recursive language for the polynomial time-space complexity classes 1-gen-2002 Covino, Emanuele; Giovanni, Pani
Analysis of a formal model for social groups 1-gen-2022 Covino, Emanuele
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 1-gen-2021 Covino, Emanuele; Pani, Giovanni
Bayesian Cognitive Diagnosis in Believable Multiagent Systems 1-gen-2000 De, Rosis; Covino, Emanuele; Altri,