{"id":"https://openalex.org/W2150256591","doi":"https://doi.org/10.3929/ethz-a-006707337","title":"Termination Analysis for Bit-Vector Programs","display_name":"Termination Analysis for Bit-Vector Programs","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2150256591","doi":"https://doi.org/10.3929/ethz-a-006707337","mag":"2150256591"},"language":"en","primary_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/72785","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/72785","pdf_url":"http://hdl.handle.net/20.500.11850/72785","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"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":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/72785","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016596256","display_name":"Christoph M. Wintersteiger","orcid":"https://orcid.org/0000-0003-0102-4381"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wintersteiger, Christoph M.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016596256"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3255,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.63767315,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"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.9911999702453613,"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/bit","display_name":"Bit (key)","score":0.5911591053009033},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5116098523139954},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.33938896656036377},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2902640104293823},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16437217593193054}],"concepts":[{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.5911591053009033},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5116098523139954},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.33938896656036377},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2902640104293823},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16437217593193054}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/72785","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/72785","pdf_url":"http://hdl.handle.net/20.500.11850/72785","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"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":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.3929/ethz-a-006707337","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-a-006707337","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:2150256591","is_oa":false,"landing_page_url":"http://www.winterstiger.at/christoph/papers/dissertation.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/72785","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/72785","pdf_url":"http://hdl.handle.net/20.500.11850/72785","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"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":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2150256591.pdf","grobid_xml":"https://content.openalex.org/works/W2150256591.grobid-xml"},"referenced_works_count":98,"referenced_works":["https://openalex.org/W45436251","https://openalex.org/W130862334","https://openalex.org/W160316455","https://openalex.org/W1480301700","https://openalex.org/W1480909796","https://openalex.org/W1482661140","https://openalex.org/W1483683741","https://openalex.org/W1485020596","https://openalex.org/W1496518193","https://openalex.org/W1503537039","https://openalex.org/W1505135855","https://openalex.org/W1505537169","https://openalex.org/W1508482211","https://openalex.org/W1511845115","https://openalex.org/W1515623105","https://openalex.org/W1521232193","https://openalex.org/W1521372188","https://openalex.org/W1530375435","https://openalex.org/W1533964197","https://openalex.org/W1534775143","https://openalex.org/W1536511644","https://openalex.org/W1552077729","https://openalex.org/W1553278548","https://openalex.org/W1553565837","https://openalex.org/W1558152194","https://openalex.org/W1562679818","https://openalex.org/W1571893670","https://openalex.org/W1572445670","https://openalex.org/W1579437898","https://openalex.org/W1581900214","https://openalex.org/W1583295953","https://openalex.org/W1584357601","https://openalex.org/W1590433112","https://openalex.org/W1593745409","https://openalex.org/W1596552075","https://openalex.org/W1601935780","https://openalex.org/W1603688837","https://openalex.org/W1608799719","https://openalex.org/W1668569556","https://openalex.org/W1670210142","https://openalex.org/W1720224351","https://openalex.org/W1723067587","https://openalex.org/W1787074469","https://openalex.org/W1800789167","https://openalex.org/W1810306334","https://openalex.org/W1836852804","https://openalex.org/W1877129949","https://openalex.org/W1916519491","https://openalex.org/W1925379677","https://openalex.org/W1963547452","https://openalex.org/W1968386045","https://openalex.org/W1976876676","https://openalex.org/W1979840340","https://openalex.org/W1993129359","https://openalex.org/W1998084650","https://openalex.org/W2011039300","https://openalex.org/W2016206563","https://openalex.org/W2024821946","https://openalex.org/W2028806953","https://openalex.org/W2033914241","https://openalex.org/W2036901448","https://openalex.org/W2065251436","https://openalex.org/W2066859698","https://openalex.org/W2073491323","https://openalex.org/W2091968063","https://openalex.org/W2098397367","https://openalex.org/W2101432564","https://openalex.org/W2107089133","https://openalex.org/W2108530105","https://openalex.org/W2111299652","https://openalex.org/W2111950041","https://openalex.org/W2112350720","https://openalex.org/W2115235165","https://openalex.org/W2119736157","https://openalex.org/W2121365859","https://openalex.org/W2121757274","https://openalex.org/W2124909257","https://openalex.org/W2126160338","https://openalex.org/W2127982853","https://openalex.org/W2129487583","https://openalex.org/W2129538349","https://openalex.org/W2131195907","https://openalex.org/W2133527541","https://openalex.org/W2134734244","https://openalex.org/W2135331739","https://openalex.org/W2147348835","https://openalex.org/W2155180508","https://openalex.org/W2158395308","https://openalex.org/W2161217905","https://openalex.org/W2161955489","https://openalex.org/W2171341087","https://openalex.org/W2293708017","https://openalex.org/W2528043246","https://openalex.org/W2584250636","https://openalex.org/W2611507584","https://openalex.org/W2913459036","https://openalex.org/W3005999156","https://openalex.org/W3098378096"],"related_works":["https://openalex.org/W1542165702","https://openalex.org/W1558685731","https://openalex.org/W1502366867","https://openalex.org/W2299376851","https://openalex.org/W3023175681","https://openalex.org/W2623337740","https://openalex.org/W1932298144","https://openalex.org/W3201406035"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}