activity
20092023
most citedAIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning

73 citations · 236 across the 29 of their papers we have counts for

collaborators
Showing cs.GTShow all

1 paper · 1 filter

cs.GT2010

Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

Angelo Montanari, Margherita Napoli, Mimmo Parente

This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. T…