{"id":"https://openalex.org/W62854636","doi":"https://doi.org/10.1007/978-3-319-09156-3_1","title":"Proof-Carrying Model for Parsing Techniques","display_name":"Proof-Carrying Model for Parsing Techniques","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W62854636","doi":"https://doi.org/10.1007/978-3-319-09156-3_1","mag":"62854636"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-09156-3_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-09156-3_1","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091481030","display_name":"Mohamed A. El-Zawawy","orcid":"https://orcid.org/0000-0002-5208-124X"},"institutions":[{"id":"https://openalex.org/I40279923","display_name":"Islamic University","ror":"https://ror.org/04j1w0q97","country_code":"BD","type":"education","lineage":["https://openalex.org/I40279923"]},{"id":"https://openalex.org/I240666556","display_name":"Imam Mohammad ibn Saud Islamic University","ror":"https://ror.org/05gxjyb39","country_code":"SA","type":"education","lineage":["https://openalex.org/I240666556"]},{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["BD","EG","SA"],"is_corresponding":true,"raw_author_name":"Mohamed A. El-Zawawy","raw_affiliation_strings":["College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh, Kingdom of Saudi Arabia","Department of Mathematics, Faculty of Science, Cairo University, Giza, 12613, Egypt","Cairo University","Al Imam Mohammad Ibn Saud Islamic University (IMSIU)"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh, Kingdom of Saudi Arabia","institution_ids":["https://openalex.org/I240666556"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Science, Cairo University, Giza, 12613, Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Cairo University","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Al Imam Mohammad Ibn Saud Islamic University (IMSIU)","institution_ids":["https://openalex.org/I40279923"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091481030"],"corresponding_institution_ids":["https://openalex.org/I145487455","https://openalex.org/I240666556","https://openalex.org/I40279923"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01953541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9991000294685364,"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/T12029","display_name":"DNA and Biological Computing","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8590396642684937},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7946930527687073},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.7883576154708862},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6735044121742249},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6469086408615112},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.634368360042572},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5260077714920044},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48690688610076904},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4469378590583801},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43871262669563293},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39971232414245605},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3370622396469116},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3244834840297699},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08552417159080505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8590396642684937},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7946930527687073},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.7883576154708862},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6735044121742249},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6469086408615112},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.634368360042572},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5260077714920044},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48690688610076904},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4469378590583801},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43871262669563293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39971232414245605},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3370622396469116},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3244834840297699},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08552417159080505},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","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":1,"locations":[{"id":"doi:10.1007/978-3-319-09156-3_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-09156-3_1","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":38,"referenced_works":["https://openalex.org/W9387966","https://openalex.org/W158998772","https://openalex.org/W1491178396","https://openalex.org/W1500875164","https://openalex.org/W1546620680","https://openalex.org/W1560736395","https://openalex.org/W1562942180","https://openalex.org/W1651266083","https://openalex.org/W1729991231","https://openalex.org/W1732182002","https://openalex.org/W1843198456","https://openalex.org/W1970760500","https://openalex.org/W1985805804","https://openalex.org/W1992115994","https://openalex.org/W2006880414","https://openalex.org/W2012311890","https://openalex.org/W2034711041","https://openalex.org/W2039506561","https://openalex.org/W2051501592","https://openalex.org/W2052595414","https://openalex.org/W2072827730","https://openalex.org/W2105590118","https://openalex.org/W2106119625","https://openalex.org/W2108999232","https://openalex.org/W2113000545","https://openalex.org/W2121805852","https://openalex.org/W2137379055","https://openalex.org/W2149346118","https://openalex.org/W2156495052","https://openalex.org/W2160209163","https://openalex.org/W2162622229","https://openalex.org/W2170732969","https://openalex.org/W2251165912","https://openalex.org/W2334129451","https://openalex.org/W2487386164","https://openalex.org/W2796564118","https://openalex.org/W3088937700","https://openalex.org/W4229707647"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W55831818","https://openalex.org/W4224026286"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}