Per anno
@inproceedings{respect-idc2017,
author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
booktitle = {Intelligent Distributed Computing XI},
dblp = {conf/idc/Ciatto0O17},
doi = {10.1007/978-3-319-66379-1_9},
editor = {Ivanović, Mirjana and Bădică, Costin and Dix, Jürgen and Jovanović, Zoran and Malgeri, Michele and Savić, Miloš},
eisbn = {978-3-319-66379-1},
eissn = {1860-9503},
iris = {11585/609374},
isbn = {978-3-319-66378-4},
issn = {1860-949X},
numpages = 13,
pages = {89-101},
publisher = {Springer},
scopus = {2-s2.0-85030981290},
series = {Studies in Computational Intelligence},
title = {Programming the Interaction Space Effectively with \textsf{{R}e{S}pec{TX}} },
url = {http://link.springer.com/10.1007/978-3-319-66379-1_9},
volume = 737,
wos = {000451440400009},
year = 2017
}
author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
booktitle = {Intelligent Distributed Computing XI},
dblp = {conf/idc/Ciatto0O17},
doi = {10.1007/978-3-319-66379-1_9},
editor = {Ivanović, Mirjana and Bădică, Costin and Dix, Jürgen and Jovanović, Zoran and Malgeri, Michele and Savić, Miloš},
eisbn = {978-3-319-66379-1},
eissn = {1860-9503},
iris = {11585/609374},
isbn = {978-3-319-66378-4},
issn = {1860-949X},
numpages = 13,
pages = {89-101},
publisher = {Springer},
scopus = {2-s2.0-85030981290},
series = {Studies in Computational Intelligence},
title = {Programming the Interaction Space Effectively with \textsf{{R}e{S}pec{TX}} },
url = {http://link.springer.com/10.1007/978-3-319-66379-1_9},
volume = 737,
wos = {000451440400009},
year = 2017
}
@inproceedings{coordination-woa2017,
author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
chapter = 11,
dblp = {conf/woa/0001OC17},
editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
iris = {11585/602750},
issn = {1613-0073},
month = jun,
numpages = 4,
pages = {61--64},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85025164372},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
url = {http://ceur-ws.org/Vol-1867/w11.pdf},
volume = 1867,
year = 2017
}
author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
chapter = 11,
dblp = {conf/woa/0001OC17},
editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
iris = {11585/602750},
issn = {1613-0073},
month = jun,
numpages = 4,
pages = {61--64},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85025164372},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
url = {http://ceur-ws.org/Vol-1867/w11.pdf},
volume = 1867,
year = 2017
}
@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
}
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},
}
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},
}