{"id":"https://openalex.org/W2074460611","doi":"https://doi.org/10.1007/978-3-540-74407-8_31","title":"Pushdown Module Checking with Imperfect Information","display_name":"Pushdown Module Checking with Imperfect Information","publication_year":2007,"publication_date":"2007-08-18","ids":{"openalex":"https://openalex.org/W2074460611","doi":"https://doi.org/10.1007/978-3-540-74407-8_31","mag":"2074460611"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74407-8_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74407-8_31","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00479839","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061045932","display_name":"Benjamin Aminof","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Benjamin Aminof","raw_affiliation_strings":["Hebrew University, Jerusalem 91904, Israel","The Rachel and Selim Benin School of Computer Science and Engineering (The Selim and Rachel Benin School of Computer Science and Engineering, The Hebrew University of Jerusalem, Ross Building, Givat Ram Campus, 91904 Jerusalem, Israel - Israel)"],"affiliations":[{"raw_affiliation_string":"Hebrew University, Jerusalem 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"The Rachel and Selim Benin School of Computer Science and Engineering (The Selim and Rachel Benin School of Computer Science and Engineering, The Hebrew University of Jerusalem, Ross Building, Givat Ram Campus, 91904 Jerusalem, Israel - Israel)","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, 80126 Napoli, Italy","S4 - System synthesis and supervision, scenarios (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, 80126 Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]},{"raw_affiliation_string":"S4 - System synthesis and supervision, scenarios (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112757586","display_name":"Moshe Y. Vardi","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]},{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"Moshe Y. Vardi","raw_affiliation_strings":["Rice University, Houston, TX 77251-1892, U.S.A","University of Naples Federico II = Universit\u00e0 degli studi di Napoli Federico II (Via Cintia Monte S. Angelo, 80126 Napoli, Italy - Italy)"],"affiliations":[{"raw_affiliation_string":"Rice University, Houston, TX 77251-1892, U.S.A","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"University of Naples Federico II = Universit\u00e0 degli studi di Napoli Federico II (Via Cintia Monte S. Angelo, 80126 Napoli, Italy - Italy)","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061045932"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.7016,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.85014119,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"460","last_page":"475"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T10126","display_name":"Logic, programming, and type systems","score":0.9921000003814697,"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/T11424","display_name":"Security and Verification in Computing","score":0.9879999756813049,"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.7622829079627991},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.7535861730575562},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7170923352241516},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.7130563259124756},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7117577791213989},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.5895186066627502},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5682796239852905},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.5134976506233215},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4740923345088959},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4443170428276062},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.4432125389575958},{"id":"https://openalex.org/keywords/deterministic-context-free-grammar","display_name":"Deterministic context-free grammar","score":0.4291660487651825},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.18696880340576172},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17884719371795654},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.1755669116973877},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.17189282178878784},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09603804349899292},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.06922468543052673}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7622829079627991},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.7535861730575562},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7170923352241516},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.7130563259124756},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7117577791213989},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.5895186066627502},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5682796239852905},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.5134976506233215},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4740923345088959},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4443170428276062},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.4432125389575958},{"id":"https://openalex.org/C177638518","wikidata":"https://www.wikidata.org/wiki/Q3435975","display_name":"Deterministic context-free grammar","level":5,"score":0.4291660487651825},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.18696880340576172},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17884719371795654},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.1755669116973877},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.17189282178878784},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09603804349899292},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.06922468543052673},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-74407-8_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74407-8_31","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.75.8698","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8698","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rice.edu/~vardi/papers/conc07.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.298","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.298","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.na.infn.it/~murano/pubblicazioni/Revisited-PD-MC-full.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00479839v2","is_oa":true,"landing_page_url":"https://hal.science/hal-00479839","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2010","raw_type":"Preprints, Working Papers, ..."}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00479839v2","is_oa":true,"landing_page_url":"https://hal.science/hal-00479839","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2010","raw_type":"Preprints, Working Papers, ..."},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W260642817","https://openalex.org/W421997344","https://openalex.org/W1489749161","https://openalex.org/W1491100252","https://openalex.org/W1501062661","https://openalex.org/W1546220007","https://openalex.org/W1557750304","https://openalex.org/W1589224558","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1901778745","https://openalex.org/W2002089154","https://openalex.org/W2106923343","https://openalex.org/W2114132089","https://openalex.org/W2147999468","https://openalex.org/W2150447589","https://openalex.org/W2151670874","https://openalex.org/W2561675875","https://openalex.org/W2911298563","https://openalex.org/W2913210435","https://openalex.org/W2913425508","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W1991406344","https://openalex.org/W2012479020","https://openalex.org/W1972232894","https://openalex.org/W2067895928","https://openalex.org/W2074593591","https://openalex.org/W2177744885","https://openalex.org/W392685101","https://openalex.org/W2472752294","https://openalex.org/W1486486721","https://openalex.org/W4241567000"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}