STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Antonio Cerone | lit.salon
Antonio Cerone
No bio available.
Add one in Open Library.
Books by Antonio Cerone (50 max)
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)
2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
+ shelf
+ list
Formal Methods for Software Engineering Languages, Methods, Application Domains
2020
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
+ shelf
+ list
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
2011
Antonio Cerone
+ shelf
+ list
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers
2014
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros
+ shelf
+ list
Information Technology and Open Source Applications for Education, Innovation, and Sustainability
2014
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
+ shelf
+ list
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ...
2018
Antonio Cerone, Marco Roveri
+ shelf
+ list
Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
2020
Frank de Boer, Antonio Cerone
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings
2021
Antonio Cerone, Peter Csaba Ölveczky
+ shelf
+ list
Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Proceedings
2021
Antonio Cerone, Markus Roggenbach
+ shelf
+ list
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
2022
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani
+ shelf
+ list
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
2023
Antonio Cerone
