Matthew Amy
Orcid: 0000-0003-3514-420X
According to our database1,
Matthew Amy
authored at least 18 papers
between 2013 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
2
1
1
2
2
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2024
Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024
Proceedings of the Reversible Computation - 16th International Conference, 2024
2023
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023
Proceedings of the Reversible Computation - 15th International Conference, 2023
2022
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022
2020
Quantum, 2020
2019
Proceedings of the Reversible Computation - 11th International Conference, 2019
2018
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018
2017
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Theor. Comput. Sci., 2016
IACR Cryptol. ePrint Arch., 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
2014
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013