{"id":"https://openalex.org/W4403117105","doi":"https://doi.org/10.1007/s00521-024-10365-1","title":"A Monadic Second-Order Temporal Logic framework for hypergraphs","display_name":"A Monadic Second-Order Temporal Logic framework for hypergraphs","publication_year":2024,"publication_date":"2024-10-05","ids":{"openalex":"https://openalex.org/W4403117105","doi":"https://doi.org/10.1007/s00521-024-10365-1"},"language":"en","primary_location":{"id":"doi:10.1007/s00521-024-10365-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-024-10365-1","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neural Computing and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090303588","display_name":"Bikram Pratim Bhuyan","orcid":"https://orcid.org/0000-0001-5373-8912"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4390039377","display_name":"Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles","ror":"https://ror.org/01hcc6p91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"id":"https://openalex.org/I5847235","display_name":"University of Petroleum and Energy Studies","ror":"https://ror.org/04q2jes40","country_code":"IN","type":"education","lineage":["https://openalex.org/I5847235"]}],"countries":["FR","IN"],"is_corresponding":true,"raw_author_name":"Bikram Pratim Bhuyan","raw_affiliation_strings":["LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, Uttarakhand, 248006, India","UPES - University of Petroleum and Energy Studies [Dehradun] (India)","LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)"],"raw_orcid":"https://orcid.org/0000-0001-5373-8912","affiliations":[{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"raw_affiliation_string":"School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, Uttarakhand, 248006, India","institution_ids":["https://openalex.org/I5847235"]},{"raw_affiliation_string":"UPES - University of Petroleum and Energy Studies [Dehradun] (India)","institution_ids":["https://openalex.org/I5847235"]},{"raw_affiliation_string":"LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)","institution_ids":["https://openalex.org/I4390039377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021272981","display_name":"T. P. Singh","orcid":"https://orcid.org/0000-0002-9375-3495"},"institutions":[{"id":"https://openalex.org/I3129773123","display_name":"Bennett University","ror":"https://ror.org/00an5hx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I3129773123"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"T. P. Singh","raw_affiliation_strings":["School of Computer Science Engineering and Technology, Bennett University, Greater Noida, 201306, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science Engineering and Technology, Bennett University, Greater Noida, 201306, India","institution_ids":["https://openalex.org/I3129773123"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002759654","display_name":"Ravi Tomar","orcid":"https://orcid.org/0000-0002-8957-6756"},"institutions":[{"id":"https://openalex.org/I2800727657","display_name":"Persistent Systems (India)","ror":"https://ror.org/03pekdw43","country_code":"IN","type":"education","lineage":["https://openalex.org/I2800727657"]},{"id":"https://openalex.org/I5847235","display_name":"University of Petroleum and Energy Studies","ror":"https://ror.org/04q2jes40","country_code":"IN","type":"education","lineage":["https://openalex.org/I5847235"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ravi Tomar","raw_affiliation_strings":["Persistent Systems, Pune, Mumbai, 411016, India","UPES - University of Petroleum and Energy Studies [Dehradun] (India)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Persistent Systems, Pune, Mumbai, 411016, India","institution_ids":["https://openalex.org/I2800727657"]},{"raw_affiliation_string":"UPES - University of Petroleum and Energy Studies [Dehradun] (India)","institution_ids":["https://openalex.org/I5847235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026439575","display_name":"Yassine Meraihi","orcid":"https://orcid.org/0000-0002-3735-7797"},"institutions":[{"id":"https://openalex.org/I3121272148","display_name":"University of Boumerdes","ror":"https://ror.org/02dveg925","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3121272148"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Yassine Meraihi","raw_affiliation_strings":["LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Avenue of Independence, 35000, Boumerdes, Algeria","UMBB - Universit\u00e9 M'Hamed Bougara Boumerdes (Boumerd\u00e8s - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Avenue of Independence, 35000, Boumerdes, Algeria","institution_ids":["https://openalex.org/I3121272148"]},{"raw_affiliation_string":"UMBB - Universit\u00e9 M'Hamed Bougara Boumerdes (Boumerd\u00e8s - Algeria)","institution_ids":["https://openalex.org/I3121272148"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003414781","display_name":"Amar Ramdane-Ch\u00e9rif","orcid":"https://orcid.org/0000-0001-8289-747X"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4390039377","display_name":"Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles","ror":"https://ror.org/01hcc6p91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039377"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Amar Ramdane-Cherif","raw_affiliation_strings":["LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"raw_affiliation_string":"LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)","institution_ids":["https://openalex.org/I4390039377"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090303588"],"corresponding_institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377","https://openalex.org/I5847235"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.989,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78000307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"36","issue":"35","first_page":"22081","last_page":"22118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computational-science-and-engineering","display_name":"Computational Science and Engineering","score":0.7314101457595825},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6445181369781494},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5601567625999451},{"id":"https://openalex.org/keywords/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.5378386974334717},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44305580854415894},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34120941162109375},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.21756502985954285},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15471291542053223},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.1221078634262085}],"concepts":[{"id":"https://openalex.org/C68597687","wikidata":"https://www.wikidata.org/wiki/Q362601","display_name":"Computational Science and Engineering","level":2,"score":0.7314101457595825},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6445181369781494},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5601567625999451},{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.5378386974334717},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44305580854415894},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34120941162109375},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.21756502985954285},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15471291542053223},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.1221078634262085},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00521-024-10365-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-024-10365-1","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neural Computing and Applications","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04723180v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04723180","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Neural Computing and Applications, 2024, ⟨10.1007/s00521-024-10365-1⟩","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W1540247986","https://openalex.org/W1612453857","https://openalex.org/W1755189310","https://openalex.org/W1885037678","https://openalex.org/W1918405426","https://openalex.org/W1965024948","https://openalex.org/W1990890881","https://openalex.org/W2006904655","https://openalex.org/W2028357390","https://openalex.org/W2033290519","https://openalex.org/W2041403185","https://openalex.org/W2066585576","https://openalex.org/W2084910510","https://openalex.org/W2098171268","https://openalex.org/W2121196188","https://openalex.org/W2122540544","https://openalex.org/W2153737593","https://openalex.org/W2161484642","https://openalex.org/W2161910638","https://openalex.org/W2165663423","https://openalex.org/W2168866435","https://openalex.org/W2238201325","https://openalex.org/W2318233650","https://openalex.org/W2598599932","https://openalex.org/W2766585573","https://openalex.org/W2892880750","https://openalex.org/W2950369002","https://openalex.org/W2963414755","https://openalex.org/W2965873649","https://openalex.org/W2985422378","https://openalex.org/W3035021589","https://openalex.org/W3035120990","https://openalex.org/W3035149912","https://openalex.org/W3035520037","https://openalex.org/W3049654111","https://openalex.org/W3086979146","https://openalex.org/W3105663757","https://openalex.org/W3171281815","https://openalex.org/W3189269126","https://openalex.org/W3190196337","https://openalex.org/W3190664711","https://openalex.org/W3196594607","https://openalex.org/W4206968925","https://openalex.org/W4221157437","https://openalex.org/W4224266469","https://openalex.org/W4224318899","https://openalex.org/W4229801112","https://openalex.org/W4235239597","https://openalex.org/W4246695531","https://openalex.org/W4282926996","https://openalex.org/W4318763652","https://openalex.org/W4319241296","https://openalex.org/W4320629409","https://openalex.org/W4360868502","https://openalex.org/W4365792345","https://openalex.org/W4380086915","https://openalex.org/W4383823294","https://openalex.org/W4384027549","https://openalex.org/W4385549008","https://openalex.org/W4386515696","https://openalex.org/W4387405524","https://openalex.org/W4387767134","https://openalex.org/W4387823754","https://openalex.org/W4387908662","https://openalex.org/W4388997088","https://openalex.org/W4390758997","https://openalex.org/W4390985439","https://openalex.org/W4391543468","https://openalex.org/W4391640582","https://openalex.org/W4392507586","https://openalex.org/W4392975964","https://openalex.org/W4393002389","https://openalex.org/W4393147786","https://openalex.org/W4393153078","https://openalex.org/W4396920844","https://openalex.org/W6636501790"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}