{"id":"https://openalex.org/W1564844872","doi":"https://doi.org/10.1007/978-3-540-69507-3_78","title":"Extracting Zing Models from C Source Code","display_name":"Extracting Zing Models from C Source Code","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1564844872","doi":"https://doi.org/10.1007/978-3-540-69507-3_78","mag":"1564844872"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-69507-3_78","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69507-3_78","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/A5010575818","display_name":"Tomas Matousek","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Tomas Matousek","raw_affiliation_strings":["Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic","Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031305661","display_name":"Filip Zavoral","orcid":"https://orcid.org/0000-0003-3140-8538"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Filip Zavoral","raw_affiliation_strings":["Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic","Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University in Prague, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5010575818"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3411,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60376976,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"900","last_page":"910"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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.8956744074821472},{"id":"https://openalex.org/keywords/extractor","display_name":"Extractor","score":0.7662056684494019},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6774479150772095},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5994491577148438},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5712609887123108},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5675394535064697},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5586152672767639},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5177513957023621},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5022788047790527}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8956744074821472},{"id":"https://openalex.org/C117978034","wikidata":"https://www.wikidata.org/wiki/Q5422192","display_name":"Extractor","level":2,"score":0.7662056684494019},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6774479150772095},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5994491577148438},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5712609887123108},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5675394535064697},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5586152672767639},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5177513957023621},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5022788047790527},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C21880701","wikidata":"https://www.wikidata.org/wiki/Q2144042","display_name":"Process engineering","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-69507-3_78","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69507-3_78","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":19,"referenced_works":["https://openalex.org/W17979383","https://openalex.org/W68069235","https://openalex.org/W582263236","https://openalex.org/W1517173520","https://openalex.org/W1539432158","https://openalex.org/W1546606300","https://openalex.org/W1943502734","https://openalex.org/W1996832037","https://openalex.org/W2046699259","https://openalex.org/W2087252615","https://openalex.org/W2107089133","https://openalex.org/W2110980218","https://openalex.org/W2135274583","https://openalex.org/W2145098440","https://openalex.org/W2159181605","https://openalex.org/W2340735175","https://openalex.org/W2344671925","https://openalex.org/W2395196255","https://openalex.org/W4247239640"],"related_works":["https://openalex.org/W3082848404","https://openalex.org/W1979583797","https://openalex.org/W2016864125","https://openalex.org/W2372254676","https://openalex.org/W2793679056","https://openalex.org/W2080135837","https://openalex.org/W3145050838","https://openalex.org/W4283332091","https://openalex.org/W2393154870","https://openalex.org/W3081644756"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}