Sfoglia per Autore
Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs
2014-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Suitability of Abstract State Machines for Discussing Mobile Ad-hoc Networks
2014-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
A Probabilistic Grammar for Procedural Content Generation
2014-01-01 Sportelli, Francesco; Toto, Giuseppe; Vessio, Gennaro
Reasoning about Properties with Abstract State Machines
2015-01-01 Vessio, Gennaro
Applying Predicate Abstraction to Abstract State Machines
2015-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks
2015-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
CoreASM-based Evaluation of the N-AODV Protocol for Mobile Ad-hoc Networks
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Reasoning on Starvation in AODV using Abstract State Machines
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards an ASM-based Characterization of the Deadlock-freedom Property
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards a Digitized Protocol based on Handwriting for the Assessment of Neurodegenerative Disorders
2017-01-01 Impedovo, Donato; Pirlo, Giuseppe; Teresa Angelillo, Maria; Vessio, Gennaro
Analysis of Properties of Complex Systems with Abstract State Machines
2017-04-28 Vessio, Gennaro
An overview on on-line handwriting analysis for the assessment of AD and PD
2018-01-01 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
Intercepting Blackhole Attacks in MANETs: An ASM-based Model
2018-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
An ASM-based characterisation of starvation-free systems
2018-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Dynamic Handwriting Analysis for Supporting Earlier Parkinson’s Disease Diagnosis
2018-01-01 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
A new ConvNet architecture for heartbeat classification
2018-01-01 Dentamaro, Vincenzo; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
A Handwriting-Based Protocol for Assessing Neurodegenerative Dementia
2019-01-01 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro; Angelillo, MARIA TERESA
Attentional Pattern Classification for Automatic Dementia Detection
2019-01-01 Angelillo, MARIA TERESA; Balducci, Fabrizio; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
Dynamically enhanced static handwriting representation for Parkinson's disease detection
2019-01-01 Diaz, Moises; Angel Ferrer, Miguel; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
An Evolutionary Approach to address Interoperability Issues in Multi-Device Signature Verification
2019-01-01 Impedovo, Donato; Pirlo, Giuseppe; Sarcinella, Lucia; Vessio, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs | 1-gen-2014 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Suitability of Abstract State Machines for Discussing Mobile Ad-hoc Networks | 1-gen-2014 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
A Probabilistic Grammar for Procedural Content Generation | 1-gen-2014 | Sportelli, Francesco; Toto, Giuseppe; Vessio, Gennaro | |
Reasoning about Properties with Abstract State Machines | 1-gen-2015 | Vessio, Gennaro | |
Applying Predicate Abstraction to Abstract State Machines | 1-gen-2015 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks | 1-gen-2015 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
CoreASM-based Evaluation of the N-AODV Protocol for Mobile Ad-hoc Networks | 1-gen-2016 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Reasoning on Starvation in AODV using Abstract State Machines | 1-gen-2016 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Towards an ASM-based Characterization of the Deadlock-freedom Property | 1-gen-2016 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Towards a Digitized Protocol based on Handwriting for the Assessment of Neurodegenerative Disorders | 1-gen-2017 | Impedovo, Donato; Pirlo, Giuseppe; Teresa Angelillo, Maria; Vessio, Gennaro | |
Analysis of Properties of Complex Systems with Abstract State Machines | 28-apr-2017 | Vessio, Gennaro | |
An overview on on-line handwriting analysis for the assessment of AD and PD | 1-gen-2018 | Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro | |
Intercepting Blackhole Attacks in MANETs: An ASM-based Model | 1-gen-2018 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
An ASM-based characterisation of starvation-free systems | 1-gen-2018 | Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro | |
Dynamic Handwriting Analysis for Supporting Earlier Parkinson’s Disease Diagnosis | 1-gen-2018 | Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro | |
A new ConvNet architecture for heartbeat classification | 1-gen-2018 | Dentamaro, Vincenzo; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro | |
A Handwriting-Based Protocol for Assessing Neurodegenerative Dementia | 1-gen-2019 | Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro; Angelillo, MARIA TERESA | |
Attentional Pattern Classification for Automatic Dementia Detection | 1-gen-2019 | Angelillo, MARIA TERESA; Balducci, Fabrizio; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro | |
Dynamically enhanced static handwriting representation for Parkinson's disease detection | 1-gen-2019 | Diaz, Moises; Angel Ferrer, Miguel; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro | |
An Evolutionary Approach to address Interoperability Issues in Multi-Device Signature Verification | 1-gen-2019 | Impedovo, Donato; Pirlo, Giuseppe; Sarcinella, Lucia; Vessio, Gennaro |
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