Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-30T20:08:16.364329Z
Paper Citation Record · LEDGER
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
As of 4 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2605.14881.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
49 of 49 outbound references displayed
- verified exact1
- verified fuzzy41
- unresolved2
- parse uncertain0
- malformed identifier1
- metadata mismatch4
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 8d217f63-546a-409e-bd07-3db976604f8e · outbound
This paper cites Journal of the ACM (JACM)62(1), 1–34 (2015).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Journal of the ACM (JACM)62(1), 1–34 (2015)
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.245887Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8dd62a3f-70e7-4d25-848d-7d139b8dcf2c · outbound
This paper cites Information Processing Letters115(2), 155–158 (2015).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Information Processing Letters115(2), 155–158 (2015)
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.252564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 548808f8-dc05-4528-9cd5-358b2b195df8 · outbound
This paper cites Quantum Science & Technology7(2), 025007 (2022).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Quantum Science & Technology7(2), 025007 (2022)
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.227415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 54545a0f-ad1a-4b02-9999-a023ded0839b · outbound
This paper cites In: International Workshop on Computer Science Logic.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Workshop on Computer Science Logic
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.230797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bfeadce5-f426-40ec-9e6e-fc872627ef37 · outbound
This paper cites Physical review letters114(8), 080502 (2015).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Physical review letters114(8), 080502 (2015)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.271302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7bb34f76-d2e2-400f-86f3-0111d316a635 · outbound
This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9), 1810–1824 (2020).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9), 1810–1824 (2020)
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.222245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c95177de-6aa3-4b55-aae3-5c801731a4c0 · outbound
This paper cites Artificial Intelligence172(6-7), 772–799 (2008).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Artificial Intelligence172(6-7), 772–799 (2008)
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.232560Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f7e04a39-5228-4c78-b886-1d6f2bb63344 · outbound
This paper cites In: International Conference on Tools and Algo- rithms for the Construction and Analysis of Systems.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Tools and Algo- rithms for the Construction and Analysis of Systems
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.234751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c954379f-a093-421b-9792-f0cca5e4a443 · outbound
This paper cites In: International Conference on Tools and Algorithms for the Construc- tion and Analysis of Systems.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Tools and Algorithms for the Construc- tion and Analysis of Systems
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.242573Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e1c91de3-dc09-4d8b-816c-cb4759855158 · outbound
This paper cites In: International Conference on Computer Aided Verification.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Computer Aided Verification
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.256227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d0264a2d-9925-430a-a175-2b5de4499d7c · outbound
This paper cites Proceedings of the ACM on Programming Languages7(PLDI), 1218–1243 (2023).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Proceedings of the ACM on Programming Languages7(PLDI), 1218–1243 (2023)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.365793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0e8077bc-b308-476d-b4e8-f47895a37fbd · outbound
This paper cites librosa/librosa: 0.6.3.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits librosa/librosa: 0.6.3
Reference 12
- Resolution
- malformed identifier
- doi_truncated, observed 2026-06-30T20:15:04.428164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ebf36e49-cd08-4f01-936f-e5d436147286 · outbound
This paper cites ACM Transactions on Quantum Computing3(3), 1–50 (2022).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits ACM Transactions on Quantum Computing3(3), 1–50 (2022)
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.291483Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation aea9178f-fd5c-4455-aa20-06cf9ea402d6 · outbound
This paper cites Physical review letters108(26), 260501 (2012).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Physical review letters108(26), 260501 (2012)
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.367575Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 43c9d06e-3e2c-4e0a-8ab0-bbc19f0b7d32 · outbound
This paper cites Journal of Computer and System Sciences79(7), 1181–1198 (2013).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Journal of Computer and System Sciences79(7), 1181–1198 (2013)
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.352395Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5c7ddca9-3c59-49ba-b138-0ea0340927ee · outbound
This paper cites Probabilistic Model--Checking of Quantum Protocols.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Probabilistic Model--Checking of Quantum Protocols
Reference 16
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-30T20:15:05.360518Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e96e1a9b-2e74-4175-9aee-1a3c71dcbf61 · outbound
This paper cites Digitale Welt5(2), 14–17 (2021).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Digitale Welt5(2), 14–17 (2021)
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.354740Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a7f3a865-f27c-420f-807a-8235e97d70d9 · outbound
This paper cites In: Pro- ceedings of the twenty-eighth annual ACM symposium on Theory of computing.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: Pro- ceedings of the twenty-eighth annual ACM symposium on Theory of computing
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:44:12.016768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4b7c2c52-7983-4518-8f66-139d7821d730 · outbound
This paper cites In: International Conference on Computer Aided Verification.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Computer Aided Verification
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.287855Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4248c4da-014e-45cf-ac75-cfc82e53f702 · outbound
This paper cites Quantum Science & Technology5(3), 034007 (2020).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Quantum Science & Technology5(3), 034007 (2020)
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.282174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a69b7232-db3b-4a74-8bbf-2b0f74a6a1ad · outbound
This paper cites John Wiley & Sons (2000).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits John Wiley & Sons (2000)
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.289764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4fe5035f-fd6e-4fa8-8713-1a5f5e8510b2 · outbound
This paper cites Quantum computing with Qiskit.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Quantum computing with Qiskit
Reference 22
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-30T20:15:05.356021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 46dc70ba-2b8b-4d82-8423-7f7ed2fa9155 · outbound
This paper cites Scientific reports9(1), 10736 (2019).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Scientific reports9(1), 10736 (2019)
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.277295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2fd04a6f-86cc-440b-bf75-a705592b8b40 · outbound
This paper cites Physical Review A67(4), 042315 (2003).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Physical Review A67(4), 042315 (2003)
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.280066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3ebdfcf9-10e3-492f-b88b-f63a4cad6106 · outbound
This paper cites PyZX: Large Scale Automated Diagrammatic Reasoning.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits PyZX: Large Scale Automated Diagrammatic Reasoning
Reference 25
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-30T20:15:05.364641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cfe0131f-556e-4ec0-89bf-e5cec0ad7577 · outbound
This paper cites In: International conference on computer aided verification.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International conference on computer aided verification
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.334842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 22c47b66-d6b9-4c20-a396-a45c05e2d168 · outbound
This paper cites In: International Conference on Computer Aided Verification.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Computer Aided Verification
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.258028Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 171fbf2d-795d-466f-a7d5-e899b3ab9847 · outbound
This paper cites In: International Joint Conference on Automated Reasoning.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Joint Conference on Automated Reasoning
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.259701Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ee020465-189f-49fc-9895-f92e9a0207b2 · outbound
This paper cites com/index.html(2025), accessed: 2026-03-02.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits com/index.html(2025), accessed: 2026-03-02
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.261373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b4f6269e-7a40-441c-b615-d0568713488e · outbound
This paper cites Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries
Reference 30
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-30T20:15:05.368001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 33d06dc2-224f-4fd6-aa6f-f52714aba29e · outbound
This paper cites an unresolved cited work.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-07-07T21:34:10.273247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0d461a11-7836-4d17-84f9-48a8c1861d20 · outbound
This paper cites IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022)
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.269437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2cc94074-e24a-46dc-9166-c281180227cf · outbound
This paper cites In: International Symposium on Formal Methods.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Symposium on Formal Methods
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.275259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8a4d9a74-8bed-4871-93ca-8827aa9759e1 · outbound
This paper cites Mathematical Structures in Computer Science14(4), 527–586 (2004).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Mathematical Structures in Computer Science14(4), 527–586 (2004)
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.267723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ddd6ec7d-12dc-43a4-a6fe-f7552e2f47cb · outbound
This paper cites Physical Review A67(5), 052307 (2003).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Physical Review A67(5), 052307 (2003)
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:07.347605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1e5278e8-3c73-4659-a1e9-46a66b301c39 · outbound
This paper cites Quantum2, 49 (2018).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Quantum2, 49 (2018)
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.239967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 647e0a87-f254-46b0-a1da-121320f8186f · outbound
This paper cites Quantum5, 559 (2021).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Quantum5, 559 (2021)
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.244169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f4a89cfa-af3f-4ab3-8414-8757280be38b · outbound
This paper cites an unresolved cited work.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Unresolved cited work
Reference 38
- Resolution
- verified exact
- doi, observed 2026-06-30T20:15:04.426257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 49104876-43c4-4ce9-ae70-765d444da268 · outbound
This paper cites In: 2021 58th ACM/IEEE Design Automation Conference (DAC).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: 2021 58th ACM/IEEE Design Automation Conference (DAC)
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.250687Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3b05393a-1a91-4c58-93ba-56f7e76a14de · outbound
This paper cites Proceedings of the ACM on Program- ming Languages3(POPL), 1–31 (2019).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Proceedings of the ACM on Program- ming Languages3(POPL), 1–31 (2019)
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.236369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ea5ed979-9b71-43d9-b75e-a685ce8fcd9f · outbound
This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(9), 3143–3156 (2021).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(9), 3143–3156 (2021)
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.214263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a6c53993-1c2a-46c7-917d-cf2b365fe050 · outbound
This paper cites In: International Conference on Computer Aided Ver- ification.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Conference on Computer Aided Ver- ification
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.216902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ebdeae5f-16b6-4e24-b75d-52f0dbd0bb10 · outbound
This paper cites In: Proceedings of the 59th ACM/IEEE Design Automation Conference.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: Proceedings of the 59th ACM/IEEE Design Automation Conference
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.224157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation db2d56a4-6a1a-4f06-a276-81f3ef91c44d · outbound
This paper cites ACM Transactions on Pro- gramming Languages and Systems (TOPLAS)33(6), 1–49 (2012).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits ACM Transactions on Pro- gramming Languages and Systems (TOPLAS)33(6), 1–49 (2012)
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.229126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5e19a28a-cea7-4d27-a741-b1d056e11744 · outbound
This paper cites In: International Symposium on Formal Methods.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: International Symposium on Formal Methods
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.210501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7ff98175-3a1a-46da-b167-dabaf97f5582 · outbound
This paper cites Elsevier (2024).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Elsevier (2024)
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.212151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e6a68fdf-2531-49f3-89f7-6b6868257331 · outbound
This paper cites Acta Informatica47(4), 221–250 (2010).
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Acta Informatica47(4), 221–250 (2010)
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.225779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e17efdea-24d1-4284-aa47-e45ddabf30df · outbound
This paper cites In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-07T21:34:10.249023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation be14b8a1-c0cc-420d-b863-bb15ed2a3369 · outbound
This paper cites an unresolved cited work.
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-07-07T21:34:10.265934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
No inbound Pith citation observations are available.