Sandro Stucki
Orcid: 0000-0001-5608-8273
According to our database1,
Sandro Stucki
authored at least 26 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., January, 2023
Design and Implementation of a Lightweight Deep CNN-Based Plant Biometric Authentication System.
IEEE Access, 2023
Proceedings of the Static Analysis - 30th International Symposium, 2023
2022
Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022
2021
Proc. ACM Program. Lang., 2021
Formal Methods Syst. Des., 2021
CoRR, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
2020
Proceedings of the Computational Methods in Systems Biology, 2020
2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Proc. ACM Program. Lang., 2018
2017
2016
Proceedings of the A List of Successes That Can Change the World, 2016
2015
Proceedings of the Reversible Computation - 7th International Conference, 2015
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015
2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Generative Programming: Concepts and Experiences, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
2013
Proceedings of the 4th Workshop on Scala, 2013
2012
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012