Per Year

 @inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
} 

 @inproceedings{DeMaria:2017:FVN:3156346.3156350,
 author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
 title = {Formal Validation of Neural Networks As Timed Automata},
 booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
 series = {CSBio '17},
 year = {2017},
 isbn = {978-1-4503-5350-2},
 location = {Nha Trang City, Viet Nam},
 pages = {15--22},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/3156346.3156350},
 doi = {10.1145/3156346.3156350},
 acm = {3156350},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
}