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}, }