{"id":"https://openalex.org/W3142037944","doi":"https://doi.org/10.1007/978-3-030-71995-1_26","title":"Learning Pomset Automata","display_name":"Learning Pomset Automata","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3142037944","doi":"https://doi.org/10.1007/978-3-030-71995-1_26","mag":"3142037944"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-71995-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_26.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_26.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072245145","display_name":"Gerco van Heerdt","orcid":"https://orcid.org/0000-0003-0669-6865"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Gerco van Heerdt","raw_affiliation_strings":["University College London, London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063583108","display_name":"Tobias Kapp\u00e9","orcid":"https://orcid.org/0000-0002-6068-880X"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tobias Kapp\u00e9","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015520868","display_name":"Jurriaan Rot","orcid":"https://orcid.org/0000-0002-1404-6232"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jurriaan Rot","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexandra Silva","raw_affiliation_strings":["University College London, London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072245145"],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.2702,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.93221053,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"510","last_page":"530"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7723689079284668},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6927326917648315},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5184206962585449},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4532228708267212},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42449191212654114},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.346940279006958}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7723689079284668},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6927326917648315},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5184206962585449},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4532228708267212},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42449191212654114},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.346940279006958}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-030-71995-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_26.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2102.07504","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.07504","pdf_url":"https://arxiv.org/pdf/2102.07504","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10125752","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10125752/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Kiefer, S and Tasson, C, (eds.) Foundations of Software Science and Computation Structures. FOSSACS 2021.  (pp. pp. 510-530).  Springer: Cham, Switzerland. (2021)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:pubmedcentral.nih.gov:7984277","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7984277","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Foundations of Software Science and Computation Structures","raw_type":"Text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/233966","is_oa":false,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/233966","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/233966","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/233966","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kiefer, S.; Tasson, C. (ed.), Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 \u2013 April 1, 2021, Proceedings, 510 - 530. Cham : Springer International Publishing","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-71995-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_26.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6600000262260437}],"awards":[{"id":"https://openalex.org/G7721971682","display_name":"Verification of Hardware Concurrency via Model Learning (CLeVer)","funder_award_id":"EP/S028641/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G789605047","display_name":null,"funder_award_id":"EP/S028641/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3142037944.pdf","grobid_xml":"https://content.openalex.org/works/W3142037944.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W81482733","https://openalex.org/W84232747","https://openalex.org/W315890393","https://openalex.org/W941301462","https://openalex.org/W1520252399","https://openalex.org/W1560463521","https://openalex.org/W1776130705","https://openalex.org/W1820754082","https://openalex.org/W1836498066","https://openalex.org/W1840142437","https://openalex.org/W1981404622","https://openalex.org/W1985495277","https://openalex.org/W1989445634","https://openalex.org/W2002582188","https://openalex.org/W2008387578","https://openalex.org/W2045594629","https://openalex.org/W2089107726","https://openalex.org/W2104255209","https://openalex.org/W2107260743","https://openalex.org/W2152514455","https://openalex.org/W2157390113","https://openalex.org/W2296684448","https://openalex.org/W2583228413","https://openalex.org/W2608690742","https://openalex.org/W2770408798","https://openalex.org/W2810512114","https://openalex.org/W2883261023","https://openalex.org/W2903712233","https://openalex.org/W2953186961","https://openalex.org/W2963224910","https://openalex.org/W3013501474","https://openalex.org/W3023251497","https://openalex.org/W3030426156","https://openalex.org/W3098007364","https://openalex.org/W3100662762","https://openalex.org/W3102570133","https://openalex.org/W3129479084"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2544423928","https://openalex.org/W2052122378","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W4313731559"],"abstract_inverted_index":{"Abstract":[0],"We":[1,16],"extend":[2],"the":[3,27],"$$\\mathtt":[4],"{L}^{\\!\\star":[5],"}$$":[6],"<mml:math":[7],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:msup><mml:mi>L</mml:mi><mml:mrow><mml:mspace/><mml:mo>\u22c6</mml:mo></mml:mrow></mml:msup></mml:math>":[8],"algorithm":[9],"to":[10,38],"learn":[11],"bimonoids":[12,34,41],"recognising":[13],"pomset":[14,22,30],"languages.":[15],"then":[17],"identify":[18],"a":[19],"class":[20,28],"of":[21,29],"automata":[23],"that":[24],"accepts":[25],"precisely":[26],"languages":[31],"recognised":[32],"by":[33],"and":[35,42],"show":[36],"how":[37],"convert":[39],"between":[40],"automata.":[43]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}