{"id":"https://openalex.org/W2122149828","doi":"https://doi.org/10.1007/978-3-540-31982-5_23","title":"The Complexity of Live Sequence Charts","display_name":"The Complexity of Live Sequence Charts","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2122149828","doi":"https://doi.org/10.1007/978-3-540-31982-5_23","mag":"2122149828"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-31982-5_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-31982-5_23","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5032369320","display_name":"Yves Bontemps","orcid":null},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Yves Bontemps","raw_affiliation_strings":["Institut d\u2019Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","Institut d'Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d\u2019Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"Institut d'Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre-Yves Schobbens","raw_affiliation_strings":["Institut d\u2019Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","Institut d'Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d\u2019Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"Institut d'Informatique, University of Namur, rue Grandgagnage, 21, B5000, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I149768937"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.5809,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83102405,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"364","last_page":"378"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/realizability","display_name":"Realizability","score":0.97220778465271},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7935857772827148},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7465581893920898},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6566913723945618},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5545727014541626},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5360569953918457},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43682873249053955},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43192556500434875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33318448066711426},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.13245078921318054}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.97220778465271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7935857772827148},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7465581893920898},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6566913723945618},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5545727014541626},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5360569953918457},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43682873249053955},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43192556500434875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33318448066711426},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.13245078921318054},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-540-31982-5_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-31982-5_23","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.124.4137","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.4137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.info.fundp.ac.be/~ybo/docs/fossacs05/lsccomplex.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.83.1242","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.1242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.info.fundp.ac.be/~ybo/docs/fossacs05/lsccomplex.pdf","raw_type":"text"},{"id":"pmh:oai:dial.uclouvain.be:boreal:103769","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.2/103769","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication \u00c3\u00a0 un colloque (Conference Paper)"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/263a61d9-4b4a-462b-aeee-95d5e1522ad8","is_oa":false,"landing_page_url":"https://researchportal.unamur.be/en/publications/263a61d9-4b4a-462b-aeee-95d5e1522ad8","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bontemps, Y & Schobbens, P Y 2005, The complexity of live sequence charts. in 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005. vol. 3441, Lecture Notes in Computer Science, pp. 364-378, 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, United Kingdom, 4/04/05.","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W34444373","https://openalex.org/W1482962177","https://openalex.org/W1498342204","https://openalex.org/W1518558009","https://openalex.org/W1551712063","https://openalex.org/W1564709113","https://openalex.org/W1589421353","https://openalex.org/W1590266960","https://openalex.org/W1592055490","https://openalex.org/W1737156267","https://openalex.org/W1750379273","https://openalex.org/W1828299600","https://openalex.org/W1966825814","https://openalex.org/W2016206563","https://openalex.org/W2027515180","https://openalex.org/W2105161851","https://openalex.org/W2116509046","https://openalex.org/W2118325805","https://openalex.org/W2147764564","https://openalex.org/W2156751710","https://openalex.org/W2157364367","https://openalex.org/W2327032595","https://openalex.org/W2338405082","https://openalex.org/W2561675875","https://openalex.org/W2593495690","https://openalex.org/W2693637499","https://openalex.org/W4229749136","https://openalex.org/W4241108585"],"related_works":["https://openalex.org/W1603488308","https://openalex.org/W2120230527","https://openalex.org/W1536365843","https://openalex.org/W2125797022","https://openalex.org/W4298120007","https://openalex.org/W2136737082","https://openalex.org/W1802268423","https://openalex.org/W1517224694","https://openalex.org/W2585023523","https://openalex.org/W2327643458"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}