Sandro Stucki
According to our database1,
Sandro Stucki
authored at least 21 papers
between 2013 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
2016
Proceedings of the A List of Successes That Can Change the World, 2016
2015
Electron. Notes Theor. Comput. Sci., 2015
Electron. Notes Theor. Comput. Sci., 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