{"id":"https://openalex.org/W1575229436","doi":"https://doi.org/10.1007/3-540-36135-9_21","title":"A Compositional Sweep-Line State Space Exploration Method","display_name":"A Compositional Sweep-Line State Space Exploration Method","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W1575229436","doi":"https://doi.org/10.1007/3-540-36135-9_21","mag":"1575229436"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-36135-9_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-36135-9_21","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-36135-9_21.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":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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-36135-9_21.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005213951","display_name":"Lars Michael Kristensen","orcid":"https://orcid.org/0000-0002-1465-5791"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]},{"id":"https://openalex.org/I170239107","display_name":"University of South Australia","ror":"https://ror.org/01p93h210","country_code":"AU","type":"education","lineage":["https://openalex.org/I170239107"]}],"countries":["AU","DK"],"is_corresponding":true,"raw_author_name":"Lars Michael Kristensen","raw_affiliation_strings":["Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, DENMARK","School of Electrical and Information Engineering, University of South Australia, SA 5095, Mawson Lakes Campus, Mawson Lakes, AUSTRALIA","University of Aarhus","University of South Australia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, DENMARK","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, University of South Australia, SA 5095, Mawson Lakes Campus, Mawson Lakes, AUSTRALIA","institution_ids":["https://openalex.org/I170239107"]},{"raw_affiliation_string":"University of Aarhus","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"University of South Australia","institution_ids":["https://openalex.org/I170239107"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071092440","display_name":"Thomas Mailund","orcid":"https://orcid.org/0000-0001-6206-9239"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Thomas Mailund","raw_affiliation_strings":["Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, DENMARK","University of Aarhus,"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, DENMARK","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"University of Aarhus,","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005213951"],"corresponding_institution_ids":["https://openalex.org/I170239107","https://openalex.org/I204337017"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1596,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.87034618,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"327","last_page":"343"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9897000193595886,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9886000156402588,"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/computer-science","display_name":"Computer science","score":0.7806412577629089},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.7635061740875244},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.6667544841766357},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5991899371147156},{"id":"https://openalex.org/keywords/line","display_name":"Line (geometry)","score":0.5933628678321838},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5590523481369019},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5212057828903198},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.48679348826408386},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4262968599796295},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4121389389038086},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.23164460062980652},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11409378051757812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7806412577629089},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.7635061740875244},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6667544841766357},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5991899371147156},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.5933628678321838},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5590523481369019},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5212057828903198},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.48679348826408386},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4262968599796295},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4121389389038086},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.23164460062980652},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11409378051757812},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/3-540-36135-9_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-36135-9_21","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-36135-9_21.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":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:pure.atira.dk:publications/a3ac0ea0-3520-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/a3ac0ea0-3520-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kristensen, L M & Mailund, T 2002, A Compositional Sweep-Line State Space Exploration Method. in Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems. 2529 of Lecture Notes in Computer Science edn, vol. 2529, Springer, pp. 327-343, FORTE'2002, Houston, Texas, United States, 11/11/2002.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.13.4598","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.4598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.daimi.au.dk/~mailund/ps/forte02.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.9108","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.9108","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.daimi.au.dk/~mailund/ps/lmktm_compo.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/3-540-36135-9_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-36135-9_21","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-36135-9_21.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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1575229436.pdf","grobid_xml":"https://content.openalex.org/works/W1575229436.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W48815722","https://openalex.org/W119570465","https://openalex.org/W1503170978","https://openalex.org/W1503973138","https://openalex.org/W1508152977","https://openalex.org/W1525928754","https://openalex.org/W1528441743","https://openalex.org/W1552086528","https://openalex.org/W1575229436","https://openalex.org/W1593050376","https://openalex.org/W1607217664","https://openalex.org/W1608032220","https://openalex.org/W1728798265","https://openalex.org/W2000947342","https://openalex.org/W2016300863","https://openalex.org/W2019881090","https://openalex.org/W2098418324","https://openalex.org/W2118382442","https://openalex.org/W2164989576","https://openalex.org/W2176300081","https://openalex.org/W3144368627","https://openalex.org/W4300021588","https://openalex.org/W6630429750","https://openalex.org/W6631652309","https://openalex.org/W6636397974","https://openalex.org/W6654576089"],"related_works":["https://openalex.org/W2964604098","https://openalex.org/W2997512100","https://openalex.org/W2331043530","https://openalex.org/W2388499291","https://openalex.org/W2216891925","https://openalex.org/W2990393949","https://openalex.org/W1575229436","https://openalex.org/W1607217664","https://openalex.org/W2018259650","https://openalex.org/W147489498"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}