Implementing Choreography Extraction Article Swipe
Luı́s Cruz-Filipe
,
Kim S. Larsen
,
Fabrizio Montesi
,
Larisa Safina
·
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2205.02636
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2205.02636
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction software. They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most software does not come with choreographies yet, which prevents their application. To attack this problem, previous work investigated choreography extraction, which automatically constructs a choreography that describes the behaviour of a given set of programs or protocol specifications. We propose a new extraction methodology that improves on the state of the art: we can deal with programs that are equipped with state and internal computation and time complexity is dramatically better. We also implement this theory and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimisations, and perform a systematic practical evaluation.
Related Topics
Concepts
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/2205.02636
- https://arxiv.org/pdf/2205.02636
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4229022913
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4229022913Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.2205.02636Digital Object Identifier
- Title
-
Implementing Choreography ExtractionWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2022Year of publication
- Publication date
-
2022-05-05Full publication date if available
- Authors
-
Luı́s Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa SafinaList of authors in order
- Landing page
-
https://arxiv.org/abs/2205.02636Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/2205.02636Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/2205.02636Direct OA link when available
- Concepts
-
Choreography, Computer science, USable, Software engineering, Set (abstract data type), Software, State (computer science), Protocol (science), Computation, Programming language, Distributed computing, Theoretical computer science, World Wide Web, Dance, Medicine, Art, Literature, Pathology, Alternative medicineTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4229022913 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.2205.02636 |
| ids.doi | https://doi.org/10.48550/arxiv.2205.02636 |
| ids.openalex | https://openalex.org/W4229022913 |
| fwci | |
| type | preprint |
| title | Implementing Choreography Extraction |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10639 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9991999864578247 |
| 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 | Advanced Software Engineering Methodologies |
| topics[1].id | https://openalex.org/T10260 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9991000294685364 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1710 |
| topics[1].subfield.display_name | Information Systems |
| topics[1].display_name | Software Engineering Research |
| topics[2].id | https://openalex.org/T12127 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9984999895095825 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1705 |
| topics[2].subfield.display_name | Computer Networks and Communications |
| topics[2].display_name | Software System Performance and Reliability |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C183920142 |
| concepts[0].level | 3 |
| concepts[0].score | 0.919528603553772 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q180856 |
| concepts[0].display_name | Choreography |
| concepts[1].id | https://openalex.org/C41008148 |
| concepts[1].level | 0 |
| concepts[1].score | 0.8560283780097961 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[1].display_name | Computer science |
| concepts[2].id | https://openalex.org/C2780615836 |
| concepts[2].level | 2 |
| concepts[2].score | 0.7169499397277832 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q2471869 |
| concepts[2].display_name | USable |
| concepts[3].id | https://openalex.org/C115903868 |
| concepts[3].level | 1 |
| concepts[3].score | 0.6500037312507629 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q80993 |
| concepts[3].display_name | Software engineering |
| concepts[4].id | https://openalex.org/C177264268 |
| concepts[4].level | 2 |
| concepts[4].score | 0.6055865287780762 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q1514741 |
| concepts[4].display_name | Set (abstract data type) |
| concepts[5].id | https://openalex.org/C2777904410 |
| concepts[5].level | 2 |
| concepts[5].score | 0.5617534518241882 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q7397 |
| concepts[5].display_name | Software |
| concepts[6].id | https://openalex.org/C48103436 |
| concepts[6].level | 2 |
| concepts[6].score | 0.5444551110267639 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q599031 |
| concepts[6].display_name | State (computer science) |
| concepts[7].id | https://openalex.org/C2780385302 |
| concepts[7].level | 3 |
| concepts[7].score | 0.5265688896179199 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q367158 |
| concepts[7].display_name | Protocol (science) |
| concepts[8].id | https://openalex.org/C45374587 |
| concepts[8].level | 2 |
| concepts[8].score | 0.47876301407814026 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q12525525 |
| concepts[8].display_name | Computation |
| concepts[9].id | https://openalex.org/C199360897 |
| concepts[9].level | 1 |
| concepts[9].score | 0.4631926417350769 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[9].display_name | Programming language |
| concepts[10].id | https://openalex.org/C120314980 |
| concepts[10].level | 1 |
| concepts[10].score | 0.391462504863739 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q180634 |
| concepts[10].display_name | Distributed computing |
| concepts[11].id | https://openalex.org/C80444323 |
| concepts[11].level | 1 |
| concepts[11].score | 0.3259124457836151 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[11].display_name | Theoretical computer science |
| concepts[12].id | https://openalex.org/C136764020 |
| concepts[12].level | 1 |
| concepts[12].score | 0.1727340817451477 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q466 |
| concepts[12].display_name | World Wide Web |
| concepts[13].id | https://openalex.org/C147446459 |
| concepts[13].level | 2 |
| concepts[13].score | 0.09175309538841248 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q11639 |
| concepts[13].display_name | Dance |
| concepts[14].id | https://openalex.org/C71924100 |
| concepts[14].level | 0 |
| concepts[14].score | 0.0 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q11190 |
| concepts[14].display_name | Medicine |
| concepts[15].id | https://openalex.org/C142362112 |
| concepts[15].level | 0 |
| concepts[15].score | 0.0 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q735 |
| concepts[15].display_name | Art |
| concepts[16].id | https://openalex.org/C124952713 |
| concepts[16].level | 1 |
| concepts[16].score | 0.0 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q8242 |
| concepts[16].display_name | Literature |
| concepts[17].id | https://openalex.org/C142724271 |
| concepts[17].level | 1 |
| concepts[17].score | 0.0 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q7208 |
| concepts[17].display_name | Pathology |
| concepts[18].id | https://openalex.org/C204787440 |
| concepts[18].level | 2 |
| concepts[18].score | 0.0 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q188504 |
| concepts[18].display_name | Alternative medicine |
| keywords[0].id | https://openalex.org/keywords/choreography |
| keywords[0].score | 0.919528603553772 |
| keywords[0].display_name | Choreography |
| keywords[1].id | https://openalex.org/keywords/computer-science |
| keywords[1].score | 0.8560283780097961 |
| keywords[1].display_name | Computer science |
| keywords[2].id | https://openalex.org/keywords/usable |
| keywords[2].score | 0.7169499397277832 |
| keywords[2].display_name | USable |
| keywords[3].id | https://openalex.org/keywords/software-engineering |
| keywords[3].score | 0.6500037312507629 |
| keywords[3].display_name | Software engineering |
| keywords[4].id | https://openalex.org/keywords/set |
| keywords[4].score | 0.6055865287780762 |
| keywords[4].display_name | Set (abstract data type) |
| keywords[5].id | https://openalex.org/keywords/software |
| keywords[5].score | 0.5617534518241882 |
| keywords[5].display_name | Software |
| keywords[6].id | https://openalex.org/keywords/state |
| keywords[6].score | 0.5444551110267639 |
| keywords[6].display_name | State (computer science) |
| keywords[7].id | https://openalex.org/keywords/protocol |
| keywords[7].score | 0.5265688896179199 |
| keywords[7].display_name | Protocol (science) |
| keywords[8].id | https://openalex.org/keywords/computation |
| keywords[8].score | 0.47876301407814026 |
| keywords[8].display_name | Computation |
| keywords[9].id | https://openalex.org/keywords/programming-language |
| keywords[9].score | 0.4631926417350769 |
| keywords[9].display_name | Programming language |
| keywords[10].id | https://openalex.org/keywords/distributed-computing |
| keywords[10].score | 0.391462504863739 |
| keywords[10].display_name | Distributed computing |
| keywords[11].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[11].score | 0.3259124457836151 |
| keywords[11].display_name | Theoretical computer science |
| keywords[12].id | https://openalex.org/keywords/world-wide-web |
| keywords[12].score | 0.1727340817451477 |
| keywords[12].display_name | World Wide Web |
| keywords[13].id | https://openalex.org/keywords/dance |
| keywords[13].score | 0.09175309538841248 |
| keywords[13].display_name | Dance |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:2205.02636 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306400194 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | arXiv (Cornell University) |
| locations[0].source.host_organization | https://openalex.org/I205783295 |
| locations[0].source.host_organization_name | Cornell University |
| locations[0].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[0].license | |
| locations[0].pdf_url | https://arxiv.org/pdf/2205.02636 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | http://arxiv.org/abs/2205.02636 |
| locations[1].id | doi:10.48550/arxiv.2205.02636 |
| 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 | |
| locations[1].version | |
| locations[1].raw_type | article |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://doi.org/10.48550/arxiv.2205.02636 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5082561369 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-7866-7484 |
| authorships[0].author.display_name | Luı́s Cruz-Filipe |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Cruz-Filipe, Luis |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5000210653 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-0560-3794 |
| authorships[1].author.display_name | Kim S. Larsen |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Larsen, Kim S. |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5000566520 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-4666-901X |
| authorships[2].author.display_name | Fabrizio Montesi |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Montesi, Fabrizio |
| authorships[2].is_corresponding | False |
| authorships[3].author.id | https://openalex.org/A5028070652 |
| authorships[3].author.orcid | https://orcid.org/0000-0002-4490-7451 |
| authorships[3].author.display_name | Larisa Safina |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | Safina, Larisa |
| authorships[3].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/2205.02636 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Implementing Choreography Extraction |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T10639 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9991999864578247 |
| 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 | Advanced Software Engineering Methodologies |
| related_works | https://openalex.org/W2397017983, https://openalex.org/W2262525553, https://openalex.org/W3184506649, https://openalex.org/W2970612522, https://openalex.org/W2982321410, https://openalex.org/W2373396016, https://openalex.org/W4205109123, https://openalex.org/W4317929841, https://openalex.org/W3084123073, https://openalex.org/W2392004567 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:arXiv.org:2205.02636 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| 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 | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/2205.02636 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/2205.02636 |
| primary_location.id | pmh:oai:arXiv.org:2205.02636 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306400194 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | arXiv (Cornell University) |
| primary_location.source.host_organization | https://openalex.org/I205783295 |
| primary_location.source.host_organization_name | Cornell University |
| primary_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| primary_location.license | |
| primary_location.pdf_url | https://arxiv.org/pdf/2205.02636 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | http://arxiv.org/abs/2205.02636 |
| publication_date | 2022-05-05 |
| publication_year | 2022 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 24, 66, 73, 83, 149 |
| abstract_inverted_index.To | 54 |
| abstract_inverted_index.We | 81, 114, 134 |
| abstract_inverted_index.an | 141 |
| abstract_inverted_index.in | 12, 122, 132 |
| abstract_inverted_index.is | 111, 130 |
| abstract_inverted_index.it | 129 |
| abstract_inverted_index.of | 4, 15, 19, 72, 76, 92, 124 |
| abstract_inverted_index.on | 89 |
| abstract_inverted_index.or | 37, 78 |
| abstract_inverted_index.to | 35 |
| abstract_inverted_index.we | 95 |
| abstract_inverted_index.and | 17, 31, 105, 108, 119, 147 |
| abstract_inverted_index.are | 1, 101 |
| abstract_inverted_index.can | 96 |
| abstract_inverted_index.for | 140 |
| abstract_inverted_index.its | 125 |
| abstract_inverted_index.new | 84 |
| abstract_inverted_index.not | 45 |
| abstract_inverted_index.set | 75 |
| abstract_inverted_index.the | 13, 70, 90, 93, 136 |
| abstract_inverted_index.use | 33 |
| abstract_inverted_index.They | 22 |
| abstract_inverted_index.also | 115 |
| abstract_inverted_index.art: | 94 |
| abstract_inverted_index.come | 46 |
| abstract_inverted_index.data | 137 |
| abstract_inverted_index.deal | 97 |
| abstract_inverted_index.does | 44 |
| abstract_inverted_index.most | 9, 42 |
| abstract_inverted_index.show | 120 |
| abstract_inverted_index.some | 145 |
| abstract_inverted_index.that | 68, 87, 100 |
| abstract_inverted_index.them | 34 |
| abstract_inverted_index.then | 32 |
| abstract_inverted_index.this | 56, 117 |
| abstract_inverted_index.time | 109 |
| abstract_inverted_index.used | 11 |
| abstract_inverted_index.with | 47, 98, 103 |
| abstract_inverted_index.work | 59 |
| abstract_inverted_index.yet, | 49 |
| abstract_inverted_index.among | 6 |
| abstract_inverted_index.first | 28 |
| abstract_inverted_index.given | 74 |
| abstract_inverted_index.spite | 123 |
| abstract_inverted_index.state | 91, 104 |
| abstract_inverted_index.that, | 121 |
| abstract_inverted_index.their | 39, 52 |
| abstract_inverted_index.which | 50, 63 |
| abstract_inverted_index.write | 29 |
| abstract_inverted_index.attack | 55 |
| abstract_inverted_index.global | 2 |
| abstract_inverted_index.needed | 139 |
| abstract_inverted_index.theory | 118 |
| abstract_inverted_index.usable | 131 |
| abstract_inverted_index.verify | 36 |
| abstract_inverted_index.better. | 113 |
| abstract_inverted_index.discuss | 135 |
| abstract_inverted_index.notably | 10 |
| abstract_inverted_index.perform | 148 |
| abstract_inverted_index.propose | 82 |
| abstract_inverted_index.require | 23 |
| abstract_inverted_index.However, | 41 |
| abstract_inverted_index.equipped | 102 |
| abstract_inverted_index.improves | 88 |
| abstract_inverted_index.internal | 106 |
| abstract_inverted_index.prevents | 51 |
| abstract_inverted_index.previous | 58 |
| abstract_inverted_index.problem, | 57 |
| abstract_inverted_index.programs | 77, 99 |
| abstract_inverted_index.protocol | 79 |
| abstract_inverted_index.settings | 14 |
| abstract_inverted_index.software | 43 |
| abstract_inverted_index.top-down | 25 |
| abstract_inverted_index.approach: | 26 |
| abstract_inverted_index.behaviour | 71 |
| abstract_inverted_index.describes | 69 |
| abstract_inverted_index.efficient | 142 |
| abstract_inverted_index.implement | 116 |
| abstract_inverted_index.introduce | 144 |
| abstract_inverted_index.practical | 151 |
| abstract_inverted_index.practice. | 133 |
| abstract_inverted_index.programs. | 40 |
| abstract_inverted_index.software. | 21 |
| abstract_inverted_index.synthesis | 18 |
| abstract_inverted_index.complexity | 110 |
| abstract_inverted_index.concurrent | 7 |
| abstract_inverted_index.constructs | 65 |
| abstract_inverted_index.extraction | 85 |
| abstract_inverted_index.structures | 138 |
| abstract_inverted_index.synthesize | 38 |
| abstract_inverted_index.systematic | 150 |
| abstract_inverted_index.complexity, | 128 |
| abstract_inverted_index.components, | 8 |
| abstract_inverted_index.computation | 107 |
| abstract_inverted_index.evaluation. | 152 |
| abstract_inverted_index.exponential | 127 |
| abstract_inverted_index.extraction, | 62 |
| abstract_inverted_index.methodology | 86 |
| abstract_inverted_index.programmers | 27 |
| abstract_inverted_index.theoretical | 126 |
| abstract_inverted_index.application. | 53 |
| abstract_inverted_index.choreography | 61, 67 |
| abstract_inverted_index.descriptions | 3 |
| abstract_inverted_index.dramatically | 112 |
| abstract_inverted_index.interactions | 5 |
| abstract_inverted_index.investigated | 60 |
| abstract_inverted_index.verification | 16 |
| abstract_inverted_index.automatically | 64 |
| abstract_inverted_index.Choreographies | 0 |
| abstract_inverted_index.choreographies | 48 |
| abstract_inverted_index.optimisations, | 146 |
| abstract_inverted_index.choreographies, | 30 |
| abstract_inverted_index.implementation, | 143 |
| abstract_inverted_index.specifications. | 80 |
| abstract_inverted_index.correct-by-construction | 20 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 4 |
| citation_normalized_percentile |