Miriam Backens
发表
A. Kissinger,
Miriam Backens,
2018,
Electronic Proceedings in Theoretical Computer Science.
Miriam Backens,
Miriam Backens,
2013,
1307.7025.
Miriam Backens,
Miriam Backens,
2017,
ICALP.
Adrian J. Duncan,
Shamal Faily,
Miriam Backens,
2012
.
J. V. D. Wetering,
A. Kissinger,
Miriam Backens,
2021,
2103.06610.
Miriam Backens,
Tommy McElvanney,
2022,
2205.02009.
Simon Perdrix,
Quanlong Wang,
Miriam Backens,
2017,
Log. Methods Comput. Sci..
Simon Perdrix,
Quanlong Wang,
Miriam Backens,
2016,
QPL.
Miriam Backens,
Miriam Backens,
2015,
1507.03854.
Miriam Backens,
Giovanni de Felice,
John van de Wetering,
2020,
Quantum.
Miriam Backens,
Miriam Backens,
2014,
1412.8553.
Miriam Backens,
Ali Nabi Duman,
Miriam Backens,
2014,
1411.1618.
Miriam Backens,
Tommy McElvanney,
2023,
2304.08166.
Miriam Backens,
Miriam Backens,
2022,
SIAM J. Comput..
Miriam Backens,
Miriam Backens,
2017,
ICALP.
Miriam Backens,
Miriam Backens,
2016,
1602.08954.
J. V. D. Wetering,
A. Kissinger,
Miriam Backens,
2021,
Compositionality.
Leslie Ann Goldberg,
Miriam Backens,
L. A. Goldberg,
2018,
ACM Trans. Algorithms.
Miriam K. Backens,
Miriam Backens,
2016
.
Miriam Backens,
A. Duman,
2015,
Foundations of Physics.
Miriam Backens,
A. Duman,
2018
.
Miriam Backens,
Tommy McElvanney,
2022,
QPL.