Reqomp: عدم الحساب المحدود للدوائر الكمومية

[1] أنوك باراديس، بنيامين بيكسل، صامويل ستيفن، ومارتن فيتشيف. "Unqomp: توليف الحوسبة في الدوائر الكمومية". في وقائع المؤتمر الدولي الثاني والأربعين ACM SIGPLAN حول تصميم لغة البرمجة وتنفيذها. الصفحات 42-222. جمعية آلات الحوسبة، نيويورك، نيويورك، الولايات المتحدة الأمريكية (236).
الشبكي: / / doi.org/ 10.1145 / 3453483.3454040

[2] يونغشان دينغ، وشين تشوان وو، وآدم هولمز، وآش وايزيث، وديانا فرانكلين، ومارغريت مارتونوسي، وفريدريك تي تشونغ. “المربع: إعادة استخدام الكم الإضافي الاستراتيجي للبرامج الكمومية المعيارية من خلال عدم الحساب الفعال من حيث التكلفة”. في عام 2020، الندوة الدولية السنوية السابعة والأربعون ACM/IEEE حول هندسة الكمبيوتر (ISCA). الصفحات 47-570. معهد مهندسي الكهرباء والإلكترونيات (583).
https: / / doi.org/ 10.1109 / ISCA45697.2020.00054

[3] بنيامين بيكسل، ماكسيميليان بادر، تيمون جير، ومارتن فيتشيف. "Silq: لغة كمومية رفيعة المستوى مع عدم حساب آمن ودلالات بديهية". في وقائع مؤتمر ACM SIGPLAN الحادي والأربعين حول تصميم لغة البرمجة وتنفيذها. الصفحات 41-286. PLDI 300 نيويورك، نيويورك، الولايات المتحدة الأمريكية (2020). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 3385412.3386007

[4] روبرت راند، وجنيفر بايكين، ودونج هو لي، وستيف زدانسيويك. “ReQWIRE: التفكير حول الدوائر الكمومية القابلة للعكس”. الإجراءات الإلكترونية في علوم الكمبيوتر النظرية 287، 299-312 (2019).
الشبكي: / / doi.org/ 10.4204 / EPTCS.287.17

[5] إيمانويل نيل. “تحليل لعبة حصاة بينيت”. التقرير الفني arXiv:math/9508218. أرخايف (1995).
https: / / doi.org/10.48550 / arXiv.math / 9508218
arXiv: رياضيات / 9508218

[6] سيو مان تشان، ماسيمو لوريا، جاكوب نوردستروم، ومارك فينيالس. "صلابة التقريب في الفضاء ونتائج الانفصال لألعاب الحصاة". في عام 2015، الندوة السنوية السادسة والخمسون لـ IEEE حول أسس علوم الكمبيوتر. الصفحات 56-466. (485).
الشبكي: / / doi.org/ 10.1109 / focs.2015.36

[7] ألكسندر س. جرين، وبيتر ليفانو لومسداين، ونيل ج. روس، وبيتر سيلينجر، وبينوا فاليرون. “Quipper: لغة برمجة كمومية قابلة للتطوير”. في وقائع مؤتمر ACM SIGPLAN الرابع والثلاثين حول تصميم لغة البرمجة وتنفيذها. الصفحة 34-333. PLDI '342نيويورك، نيويورك، الولايات المتحدة الأمريكية (13). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 2491956.2462177

[8] أليكس بارينت، ومارتن روتلر، وكريستا إم سفور. “تجميع الدوائر العكسية مع قيود المساحة”. التقرير الفني arXiv:1510.00377. أرخايف (2015).
https: / / doi.org/10.48550 / arXiv.1510.00377
أرخايف: 1510.00377

[9] أليكس بارينت، ومارتن روتلر، وكريستا إم سفور. “REVS: أداة لتوليف الدوائر العكسية المُحسَّنة للمساحة”. في إيان فيليبس وحافظ الرحمن، محرران، الحوسبة العكسية. الصفحات 90-101. ملاحظات المحاضرة في علوم الكمبيوتر (2017). سبرينغر الدولية للنشر.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

[10] ديبيوتي بهاتاشارجي، ماتياس سوكين، سريجيت دوتا، أنوبام تشاتوبادياي، وجيوفاني دي ميشيلي. “ألعاب Pebble القابلة للعكس لتقليل البتات الكمومية في تركيب الدوائر الكمومية الهرمية”. في عام 2019، الندوة الدولية التاسعة والأربعون لـ IEEE حول المنطق متعدد القيم (ISMVL). الصفحات 49-102. (107).
https: / / doi.org/ 10.1109 / ISMVL.2019.00026

[11] جوليا ميولي، ماتياس سوكين، مارتن روتلر، نيكولاي بيورنر، وجيوفاني دي ميشيلي. "لعبة الحصى العكسية لإدارة الذاكرة الكمومية". في مؤتمر ومعرض التصميم والأتمتة والاختبار في أوروبا لعام 2019 (التاريخ). الصفحات 288-291. معهد مهندسي الكهرباء والإلكترونيات (2019).
https://​/doi.org/10.23919/​date.2019.8715092

[12] تشارلز هـ. بينيت. “المقايضات الزمنية / الفضائية للحسابات العكسية”. مجلة SIAM حول الحوسبة 18، ​​766-776 (1989).
الشبكي: / / doi.org/ 10.1137 / 0218053

[13] كريستا سفور، آلان جيلر، ماتياس تروير، جون أزاريا، كريستوفر جرانادي، بيتينا هايم، فاديم كليوتشنيكوف، ماريا ميخائيلوفا، أندريس باز، ومارتن روتلر. “س #: تمكين الحوسبة الكمومية القابلة للتطوير والتطوير باستخدام تقنية DSL عالية المستوى”. في وقائع ورشة عمل اللغات الخاصة بالمجال في العالم الحقيقي 2018. RWDSL2018New York, NY, USA (2018). جمعية للآلات البرمجية.
الشبكي: / / doi.org/ 10.1145 / 3183895.3183901

[14] ماثيو إيمي، ومارتن روتلر، وكريستا إم سفور. “تجميع تم التحقق منه للدوائر العكسية ذات الكفاءة في استخدام المساحة”. في روباك ماجومدار وفيكتور كونتشاك، محررا التحقق بمساعدة الكمبيوتر. المجلد 10427، الصفحات 3-21. سبرينغر الدولية للنشر، شام (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1