{"id":"https://openalex.org/W2585600414","doi":"https://doi.org/10.1007/11691372_18","title":"Efficient Model Checking for LTL with Partial Order Snapshots","display_name":"Efficient Model Checking for LTL with Partial Order Snapshots","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2585600414","doi":"https://doi.org/10.1007/11691372_18","mag":"2585600414"},"language":"en","primary_location":{"id":"doi:10.1007/11691372_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11691372_18","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/A5075456281","display_name":"Peter Niebert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115196","display_name":"Laboratoire d\u2019Informatique Fondamentale de Marseille","ror":"https://ror.org/022my8t07","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210115196","https://openalex.org/I4210142724","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Peter Niebert","raw_affiliation_strings":["Laboratoire d\u2019Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453 Cedex 13, Marseille, France","Laboratoire dInformatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453 Marseille Cedex 13, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453 Cedex 13, Marseille, France","institution_ids":["https://openalex.org/I4210115196"]},{"raw_affiliation_string":"Laboratoire dInformatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453 Marseille Cedex 13, France#TAB#","institution_ids":["https://openalex.org/I4210115196"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061223044","display_name":"Doron Peled","orcid":"https://orcid.org/0000-0002-7280-6578"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]},{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB","IL"],"is_corresponding":false,"raw_author_name":"Doron Peled","raw_affiliation_strings":["Department of Computer Science, University of Warwick, Coventry, CV4 7AL, United Kingdom","Department of Computer Science, University of Warwick, Coventry CV4 7AL, United Kingdom and Department of Computer Science, Bar Ilan University, Ramat Gan 52900, Israel#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Warwick, Coventry, CV4 7AL, United Kingdom","institution_ids":["https://openalex.org/I39555362"]},{"raw_affiliation_string":"Department of Computer Science, University of Warwick, Coventry CV4 7AL, United Kingdom and Department of Computer Science, Bar Ilan University, Ramat Gan 52900, Israel#TAB#","institution_ids":["https://openalex.org/I13955877","https://openalex.org/I39555362"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"272","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13695","display_name":"Aging, Elder Care, and Social Issues","score":0.9749000072479248,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13099","display_name":"Health, Medicine and Society","score":0.95660001039505,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7324161529541016},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.6805527806282043},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6536357402801514},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.5174010992050171},{"id":"https://openalex.org/keywords/snapshot","display_name":"Snapshot (computer storage)","score":0.5151699781417847},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5023763179779053},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.49469730257987976},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4887990653514862},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3997388780117035},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3494037389755249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2877863943576813}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7324161529541016},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.6805527806282043},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6536357402801514},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5174010992050171},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.5151699781417847},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5023763179779053},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.49469730257987976},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4887990653514862},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3997388780117035},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3494037389755249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2877863943576813},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11691372_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11691372_18","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1517416010","https://openalex.org/W1538459506","https://openalex.org/W1576238472","https://openalex.org/W1607782211","https://openalex.org/W1937990781","https://openalex.org/W1990609140","https://openalex.org/W2034410903","https://openalex.org/W2131053137","https://openalex.org/W2913154806","https://openalex.org/W4211008702"],"related_works":["https://openalex.org/W1506599510","https://openalex.org/W1540001753","https://openalex.org/W1535889317","https://openalex.org/W1563032545","https://openalex.org/W1528291435","https://openalex.org/W2114817689","https://openalex.org/W1759329707","https://openalex.org/W2081883656","https://openalex.org/W2337119313","https://openalex.org/W2145289189","https://openalex.org/W1975657455","https://openalex.org/W1512223106","https://openalex.org/W1973143055","https://openalex.org/W1898783984","https://openalex.org/W1581671536","https://openalex.org/W1597499909","https://openalex.org/W1547855370","https://openalex.org/W2112357629","https://openalex.org/W1812178757","https://openalex.org/W1983255876"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2017-02-10T00:00:00"}