Model Checking Quantum Continuous-Time Markov Chains Article Swipe
Ming Xu
,
Jingyi Mei
,
Ji Guan
,
Nengkun Yu
·
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2105.00382
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2105.00382
Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-art real root isolation algorithm under Schanuel's conjecture; further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method.
Related Topics
Concepts
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13
- OA Status
- green
- References
- 41
- Related Works
- 20
- OpenAlex ID
- https://openalex.org/W3158258764
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W3158258764Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.2105.00382Digital Object Identifier
- Title
-
Model Checking Quantum Continuous-Time Markov ChainsWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2021Year of publication
- Publication date
-
2021-05-02Full publication date if available
- Authors
-
Ming Xu, Jingyi Mei, Ji Guan, Nengkun YuList of authors in order
- Landing page
-
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13Direct OA link when available
- Concepts
-
Computer science, Markov chain, Conjecture, Algorithm, Theoretical computer science, Isolation (microbiology), Root (linguistics), State (computer science), Mathematics, Discrete mathematics, Linguistics, Biology, Microbiology, Machine learning, PhilosophyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
41Number of works referenced by this work
- Related works (count)
-
20Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W3158258764 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.2105.00382 |
| ids.doi | https://doi.org/10.48550/arxiv.2105.00382 |
| ids.mag | 3158258764 |
| ids.openalex | https://openalex.org/W3158258764 |
| fwci | 0.0 |
| type | preprint |
| title | Model Checking Quantum Continuous-Time Markov Chains |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10682 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9994999766349792 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Quantum Computing Algorithms and Architecture |
| topics[1].id | https://openalex.org/T10142 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9914000034332275 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1703 |
| topics[1].subfield.display_name | Computational Theory and Mathematics |
| topics[1].display_name | Formal Methods in Verification |
| topics[2].id | https://openalex.org/T10502 |
| topics[2].field.id | https://openalex.org/fields/22 |
| topics[2].field.display_name | Engineering |
| topics[2].score | 0.9866999983787537 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/2208 |
| topics[2].subfield.display_name | Electrical and Electronic Engineering |
| topics[2].display_name | Advanced Memory and Neural Computing |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.6076751947402954 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C98763669 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5879345536231995 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q176645 |
| concepts[1].display_name | Markov chain |
| concepts[2].id | https://openalex.org/C2780990831 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5421280860900879 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q319141 |
| concepts[2].display_name | Conjecture |
| concepts[3].id | https://openalex.org/C11413529 |
| concepts[3].level | 1 |
| concepts[3].score | 0.5360761880874634 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[3].display_name | Algorithm |
| concepts[4].id | https://openalex.org/C80444323 |
| concepts[4].level | 1 |
| concepts[4].score | 0.4432094991207123 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[4].display_name | Theoretical computer science |
| concepts[5].id | https://openalex.org/C2775941552 |
| concepts[5].level | 2 |
| concepts[5].score | 0.44030851125717163 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q25212305 |
| concepts[5].display_name | Isolation (microbiology) |
| concepts[6].id | https://openalex.org/C171078966 |
| concepts[6].level | 2 |
| concepts[6].score | 0.4274333715438843 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q111029 |
| concepts[6].display_name | Root (linguistics) |
| concepts[7].id | https://openalex.org/C48103436 |
| concepts[7].level | 2 |
| concepts[7].score | 0.42110469937324524 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q599031 |
| concepts[7].display_name | State (computer science) |
| concepts[8].id | https://openalex.org/C33923547 |
| concepts[8].level | 0 |
| concepts[8].score | 0.3269195556640625 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[8].display_name | Mathematics |
| concepts[9].id | https://openalex.org/C118615104 |
| concepts[9].level | 1 |
| concepts[9].score | 0.28492116928100586 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[9].display_name | Discrete mathematics |
| concepts[10].id | https://openalex.org/C41895202 |
| concepts[10].level | 1 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q8162 |
| concepts[10].display_name | Linguistics |
| concepts[11].id | https://openalex.org/C86803240 |
| concepts[11].level | 0 |
| concepts[11].score | 0.0 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q420 |
| concepts[11].display_name | Biology |
| concepts[12].id | https://openalex.org/C89423630 |
| concepts[12].level | 1 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q7193 |
| concepts[12].display_name | Microbiology |
| concepts[13].id | https://openalex.org/C119857082 |
| concepts[13].level | 1 |
| concepts[13].score | 0.0 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q2539 |
| concepts[13].display_name | Machine learning |
| concepts[14].id | https://openalex.org/C138885662 |
| concepts[14].level | 0 |
| concepts[14].score | 0.0 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[14].display_name | Philosophy |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.6076751947402954 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/markov-chain |
| keywords[1].score | 0.5879345536231995 |
| keywords[1].display_name | Markov chain |
| keywords[2].id | https://openalex.org/keywords/conjecture |
| keywords[2].score | 0.5421280860900879 |
| keywords[2].display_name | Conjecture |
| keywords[3].id | https://openalex.org/keywords/algorithm |
| keywords[3].score | 0.5360761880874634 |
| keywords[3].display_name | Algorithm |
| keywords[4].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[4].score | 0.4432094991207123 |
| keywords[4].display_name | Theoretical computer science |
| keywords[5].id | https://openalex.org/keywords/isolation |
| keywords[5].score | 0.44030851125717163 |
| keywords[5].display_name | Isolation (microbiology) |
| keywords[6].id | https://openalex.org/keywords/root |
| keywords[6].score | 0.4274333715438843 |
| keywords[6].display_name | Root (linguistics) |
| keywords[7].id | https://openalex.org/keywords/state |
| keywords[7].score | 0.42110469937324524 |
| keywords[7].display_name | State (computer science) |
| keywords[8].id | https://openalex.org/keywords/mathematics |
| keywords[8].score | 0.3269195556640625 |
| keywords[8].display_name | Mathematics |
| keywords[9].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[9].score | 0.28492116928100586 |
| keywords[9].display_name | Discrete mathematics |
| language | en |
| locations[0].id | pmh:oai:drops-oai.dagstuhl.de:14390 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306402524 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Leibniz-Zentrum für Informatik (Schloss Dagstuhl) |
| locations[0].source.host_organization | https://openalex.org/I2799853480 |
| locations[0].source.host_organization_name | Schloss Dagstuhl – Leibniz Center for Informatics |
| locations[0].source.host_organization_lineage | https://openalex.org/I2799853480 |
| locations[0].license | cc-by |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | InProceedings |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13 |
| locations[1].id | pmh:oai:arXiv.org:2105.00382 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400194 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | True |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | arXiv (Cornell University) |
| locations[1].source.host_organization | https://openalex.org/I205783295 |
| locations[1].source.host_organization_name | Cornell University |
| locations[1].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[1].license | |
| locations[1].pdf_url | https://arxiv.org/pdf/2105.00382 |
| locations[1].version | submittedVersion |
| locations[1].raw_type | text |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | http://arxiv.org/abs/2105.00382 |
| locations[2].id | mag:3158258764 |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S4306400194 |
| locations[2].source.issn | |
| locations[2].source.type | repository |
| locations[2].source.is_oa | True |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | arXiv (Cornell University) |
| locations[2].source.host_organization | https://openalex.org/I205783295 |
| locations[2].source.host_organization_name | Cornell University |
| locations[2].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[2].license | |
| locations[2].pdf_url | |
| locations[2].version | submittedVersion |
| locations[2].raw_type | |
| locations[2].license_id | |
| locations[2].is_accepted | False |
| locations[2].is_published | False |
| locations[2].raw_source_name | arXiv (Cornell University) |
| locations[2].landing_page_url | https://arxiv.org/pdf/2105.00382.pdf |
| locations[3].id | doi:10.48550/arxiv.2105.00382 |
| locations[3].is_oa | True |
| locations[3].source.id | https://openalex.org/S4306400194 |
| locations[3].source.issn | |
| locations[3].source.type | repository |
| locations[3].source.is_oa | True |
| locations[3].source.issn_l | |
| locations[3].source.is_core | False |
| locations[3].source.is_in_doaj | False |
| locations[3].source.display_name | arXiv (Cornell University) |
| locations[3].source.host_organization | https://openalex.org/I205783295 |
| locations[3].source.host_organization_name | Cornell University |
| locations[3].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[3].license | cc-by |
| locations[3].pdf_url | |
| locations[3].version | |
| locations[3].raw_type | article-journal |
| locations[3].license_id | https://openalex.org/licenses/cc-by |
| locations[3].is_accepted | False |
| locations[3].is_published | |
| locations[3].raw_source_name | |
| locations[3].landing_page_url | https://doi.org/10.48550/arxiv.2105.00382 |
| locations[4].id | doi:10.4230/lipics.concur.2021.13 |
| locations[4].is_oa | True |
| locations[4].source.id | https://openalex.org/S7407052059 |
| locations[4].source.type | repository |
| locations[4].source.is_oa | False |
| locations[4].source.issn_l | |
| locations[4].source.is_core | False |
| locations[4].source.is_in_doaj | False |
| locations[4].source.display_name | Dagstuhl Research Online Publication Server |
| locations[4].source.host_organization | |
| locations[4].source.host_organization_name | |
| locations[4].license | cc-by |
| locations[4].pdf_url | |
| locations[4].version | |
| locations[4].raw_type | |
| locations[4].license_id | https://openalex.org/licenses/cc-by |
| locations[4].is_accepted | False |
| locations[4].is_published | |
| locations[4].raw_source_name | |
| locations[4].landing_page_url | https://doi.org/10.4230/lipics.concur.2021.13 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5060776618 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-9906-5677 |
| authorships[0].author.display_name | Ming Xu |
| authorships[0].countries | CN |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I66867065 |
| authorships[0].affiliations[0].raw_affiliation_string | East China Normal University () |
| authorships[0].institutions[0].id | https://openalex.org/I66867065 |
| authorships[0].institutions[0].ror | https://ror.org/02n96ep67 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I66867065 |
| authorships[0].institutions[0].country_code | CN |
| authorships[0].institutions[0].display_name | East China Normal University |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Ming Xu |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | East China Normal University () |
| authorships[1].author.id | https://openalex.org/A5071969266 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-4665-9818 |
| authorships[1].author.display_name | Jingyi Mei |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Jingyi Mei |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5081435269 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-3490-0029 |
| authorships[2].author.display_name | Ji Guan |
| authorships[2].countries | CN |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I19820366 |
| authorships[2].affiliations[0].raw_affiliation_string | Chinese Academy of Sciences, Beijing, China |
| authorships[2].institutions[0].id | https://openalex.org/I19820366 |
| authorships[2].institutions[0].ror | https://ror.org/034t30j35 |
| authorships[2].institutions[0].type | government |
| authorships[2].institutions[0].lineage | https://openalex.org/I19820366 |
| authorships[2].institutions[0].country_code | CN |
| authorships[2].institutions[0].display_name | Chinese Academy of Sciences |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Ji Guan |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Chinese Academy of Sciences, Beijing, China |
| authorships[3].author.id | https://openalex.org/A5088217238 |
| authorships[3].author.orcid | https://orcid.org/0000-0003-1188-3032 |
| authorships[3].author.display_name | Nengkun Yu |
| authorships[3].countries | AU |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I114017466 |
| authorships[3].affiliations[0].raw_affiliation_string | University of Technology Sydney, Sydney, Australia |
| authorships[3].institutions[0].id | https://openalex.org/I114017466 |
| authorships[3].institutions[0].ror | https://ror.org/03f0f6041 |
| authorships[3].institutions[0].type | education |
| authorships[3].institutions[0].lineage | https://openalex.org/I114017466 |
| authorships[3].institutions[0].country_code | AU |
| authorships[3].institutions[0].display_name | University of Technology Sydney |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | Nengkun Yu |
| authorships[3].is_corresponding | False |
| authorships[3].raw_affiliation_strings | University of Technology Sydney, Sydney, Australia |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Model Checking Quantum Continuous-Time Markov Chains |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T10682 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9994999766349792 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Quantum Computing Algorithms and Architecture |
| related_works | https://openalex.org/W3017163731, https://openalex.org/W3189164210, https://openalex.org/W106209860, https://openalex.org/W2482129511, https://openalex.org/W3160709386, https://openalex.org/W2098395449, https://openalex.org/W2145002677, https://openalex.org/W2150905801, https://openalex.org/W1581441967, https://openalex.org/W37462798, https://openalex.org/W1949868634, https://openalex.org/W2916997366, https://openalex.org/W1677369871, https://openalex.org/W1493829506, https://openalex.org/W3097011986, https://openalex.org/W2078233736, https://openalex.org/W2294647483, https://openalex.org/W1975219867, https://openalex.org/W2759442141, https://openalex.org/W3098895109 |
| cited_by_count | 0 |
| locations_count | 5 |
| best_oa_location.id | pmh:oai:drops-oai.dagstuhl.de:14390 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306402524 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | Leibniz-Zentrum für Informatik (Schloss Dagstuhl) |
| best_oa_location.source.host_organization | https://openalex.org/I2799853480 |
| best_oa_location.source.host_organization_name | Schloss Dagstuhl – Leibniz Center for Informatics |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I2799853480 |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | InProceedings |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13 |
| primary_location.id | pmh:oai:drops-oai.dagstuhl.de:14390 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306402524 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Leibniz-Zentrum für Informatik (Schloss Dagstuhl) |
| primary_location.source.host_organization | https://openalex.org/I2799853480 |
| primary_location.source.host_organization_name | Schloss Dagstuhl – Leibniz Center for Informatics |
| primary_location.source.host_organization_lineage | https://openalex.org/I2799853480 |
| primary_location.license | cc-by |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | InProceedings |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13 |
| publication_date | 2021-05-02 |
| publication_year | 2021 |
| referenced_works | https://openalex.org/W1514324734, https://openalex.org/W3097989825, https://openalex.org/W2001915506, https://openalex.org/W2168677536, https://openalex.org/W2007454673, https://openalex.org/W1631356911, https://openalex.org/W1630029119, https://openalex.org/W2041226400, https://openalex.org/W2897812629, https://openalex.org/W1980267752, https://openalex.org/W3017163731, https://openalex.org/W1492999010, https://openalex.org/W2911949805, https://openalex.org/W2032839191, https://openalex.org/W1605256314, https://openalex.org/W2735589526, https://openalex.org/W855091498, https://openalex.org/W2593267253, https://openalex.org/W2912446224, https://openalex.org/W2054146686, https://openalex.org/W1862398452, https://openalex.org/W1815267262, https://openalex.org/W2177617373, https://openalex.org/W1995122771, https://openalex.org/W1498125516, https://openalex.org/W2055940287, https://openalex.org/W2758925351, https://openalex.org/W2798813531, https://openalex.org/W3084410451, https://openalex.org/W2015683881, https://openalex.org/W1014907731, https://openalex.org/W2141881497, https://openalex.org/W3097011986, https://openalex.org/W2056361045, https://openalex.org/W1981355540, https://openalex.org/W1986581008, https://openalex.org/W2787337287, https://openalex.org/W2963787308, https://openalex.org/W1855444172, https://openalex.org/W1970473241, https://openalex.org/W3119597650 |
| referenced_works_count | 41 |
| abstract_inverted_index.A | 98 |
| abstract_inverted_index.a | 5, 28, 53, 73 |
| abstract_inverted_index.As | 27 |
| abstract_inverted_index.In | 13 |
| abstract_inverted_index.To | 43 |
| abstract_inverted_index.an | 102 |
| abstract_inverted_index.be | 82 |
| abstract_inverted_index.by | 38, 69, 91 |
| abstract_inverted_index.in | 9, 49, 84 |
| abstract_inverted_index.is | 106 |
| abstract_inverted_index.of | 7, 21, 87, 101 |
| abstract_inverted_index.on | 36 |
| abstract_inverted_index.to | 81, 108 |
| abstract_inverted_index.we | 16, 31, 51, 63 |
| abstract_inverted_index.STL | 67 |
| abstract_inverted_index.has | 3 |
| abstract_inverted_index.lot | 6 |
| abstract_inverted_index.our | 110 |
| abstract_inverted_index.out | 80 |
| abstract_inverted_index.the | 10, 18, 33, 46, 65, 85, 88, 93 |
| abstract_inverted_index.STL, | 50 |
| abstract_inverted_index.last | 11 |
| abstract_inverted_index.open | 103 |
| abstract_inverted_index.real | 55, 94 |
| abstract_inverted_index.root | 56, 95 |
| abstract_inverted_index.size | 86 |
| abstract_inverted_index.this | 14 |
| abstract_inverted_index.walk | 105 |
| abstract_inverted_index.with | 72 |
| abstract_inverted_index.QCTMC | 37 |
| abstract_inverted_index.chain | 25 |
| abstract_inverted_index.check | 45, 64 |
| abstract_inverted_index.input | 89 |
| abstract_inverted_index.logic | 41 |
| abstract_inverted_index.model | 19 |
| abstract_inverted_index.query | 77 |
| abstract_inverted_index.turns | 79 |
| abstract_inverted_index.under | 59 |
| abstract_inverted_index.whose | 76 |
| abstract_inverted_index.(STL). | 42 |
| abstract_inverted_index.Markov | 24 |
| abstract_inverted_index.atomic | 47 |
| abstract_inverted_index.linear | 83 |
| abstract_inverted_index.paper, | 15 |
| abstract_inverted_index.signal | 39 |
| abstract_inverted_index.calling | 92 |
| abstract_inverted_index.develop | 52 |
| abstract_inverted_index.example | 100 |
| abstract_inverted_index.formula | 68, 90 |
| abstract_inverted_index.general | 66 |
| abstract_inverted_index.method. | 111 |
| abstract_inverted_index.quantum | 1, 22, 104 |
| abstract_inverted_index.running | 99 |
| abstract_inverted_index.specify | 32 |
| abstract_inverted_index.system, | 30 |
| abstract_inverted_index.systems | 2 |
| abstract_inverted_index.(QCTMC). | 26 |
| abstract_inverted_index.checking | 20 |
| abstract_inverted_index.decades. | 12 |
| abstract_inverted_index.fashion, | 75 |
| abstract_inverted_index.further, | 62 |
| abstract_inverted_index.interval | 70 |
| abstract_inverted_index.provided | 107 |
| abstract_inverted_index.temporal | 34, 40 |
| abstract_inverted_index.Verifying | 0 |
| abstract_inverted_index.algorithm | 58 |
| abstract_inverted_index.attracted | 4 |
| abstract_inverted_index.bottom-up | 74 |
| abstract_inverted_index.interests | 8 |
| abstract_inverted_index.isolation | 57, 96 |
| abstract_inverted_index.real-time | 29 |
| abstract_inverted_index.Schanuel's | 60 |
| abstract_inverted_index.algorithm. | 97 |
| abstract_inverted_index.complexity | 78 |
| abstract_inverted_index.operations | 71 |
| abstract_inverted_index.properties | 35 |
| abstract_inverted_index.conjecture; | 61 |
| abstract_inverted_index.demonstrate | 109 |
| abstract_inverted_index.effectively | 44 |
| abstract_inverted_index.initialised | 17 |
| abstract_inverted_index.propositions | 48 |
| abstract_inverted_index.state-of-art | 54 |
| abstract_inverted_index.continuous-time | 23 |
| cited_by_percentile_year | |
| countries_distinct_count | 2 |
| institutions_distinct_count | 4 |
| citation_normalized_percentile.value | 0.05137044 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |