Publication Information

{'id': 'https://openalex.org/W2106155109', 'doi': 'https://doi.org/10.1145/2462896.2462898', 'title': 'Verifying proofs in constant depth', 'display_name': 'Verifying proofs in constant depth', 'publication_year': 2013, 'publication_date': '2013-05-01', 'ids': {'openalex': 'https://openalex.org/W2106155109', 'doi': 'https://doi.org/10.1145/2462896.2462898', 'mag': '2106155109'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/2462896.2462898', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S205019203', 'display_name': 'ACM Transactions on Computation Theory', 'issn_l': '1942-3454', 'issn': ['1942-3454', '1942-3462'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319798', 'host_organization_name': 'Association for Computing Machinery', 'host_organization_lineage': ['https://openalex.org/P4310319798'], 'host_organization_lineage_names': ['Association for Computing Machinery'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5042128349', 'display_name': 'Olaf Beyersdorff', 'orcid': 'https://orcid.org/0000-0002-2870-1648'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Olaf Beyersdorff', 'raw_affiliation_strings': ['Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover'], 'affiliations': [{'raw_affiliation_string': 'Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5056318386', 'display_name': 'Samir Datta', 'orcid': 'https://orcid.org/0000-0003-2196-2308'}, 'institutions': [{'id': 'https://openalex.org/I19149307', 'display_name': 'Chennai Mathematical Institute', 'ror': 'https://ror.org/04zp24820', 'country_code': 'IN', 'type': 'education', 'lineage': ['https://openalex.org/I19149307']}], 'countries': ['IN'], 'is_corresponding': False, 'raw_author_name': 'Samir Datta', 'raw_affiliation_strings': ['Chennai Mathematical Institute, India'], 'affiliations': [{'raw_affiliation_string': 'Chennai Mathematical Institute, India', 'institution_ids': ['https://openalex.org/I19149307']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5011977613', 'display_name': 'Andreas Krebs', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I8087733', 'display_name': 'University of Tübingen', 'ror': 'https://ror.org/03a1kwz48', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I8087733']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Andreas Krebs', 'raw_affiliation_strings': ['University of Tübingen, Tübingen'], 'affiliations': [{'raw_affiliation_string': 'University of Tübingen, Tübingen', 'institution_ids': ['https://openalex.org/I8087733']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5020709378', 'display_name': 'Meena Mahajan', 'orcid': 'https://orcid.org/0000-0002-9116-4398'}, 'institutions': [{'id': 'https://openalex.org/I59611059', 'display_name': 'Institute of Mathematical Sciences', 'ror': 'https://ror.org/05078rg59', 'country_code': 'IN', 'type': 'facility', 'lineage': ['https://openalex.org/I59611059']}], 'countries': ['IN'], 'is_corresponding': False, 'raw_author_name': 'Meena Mahajan', 'raw_affiliation_strings': ['The Institute of Mathematical Sciences, India'], 'affiliations': [{'raw_affiliation_string': 'The Institute of Mathematical Sciences, India', 'institution_ids': ['https://openalex.org/I59611059']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5055589477', 'display_name': 'Gido Scharfenberger-Fabian', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I122228004', 'display_name': 'HTW Berlin - University of Applied Sciences', 'ror': 'https://ror.org/01xzwj424', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I122228004']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Gido Scharfenberger-Fabian', 'raw_affiliation_strings': ['Hochschule Für Technik und Wirtschaft, Berlin, Germany'], 'affiliations': [{'raw_affiliation_string': 'Hochschule Für Technik und Wirtschaft, Berlin, Germany', 'institution_ids': ['https://openalex.org/I122228004']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5053184300', 'display_name': 'Karteek Sreenivasaiah', 'orcid': 'https://orcid.org/0000-0001-7396-3383'}, 'institutions': [{'id': 'https://openalex.org/I59611059', 'display_name': 'Institute of Mathematical Sciences', 'ror': 'https://ror.org/05078rg59', 'country_code': 'IN', 'type': 'facility', 'lineage': ['https://openalex.org/I59611059']}], 'countries': ['IN'], 'is_corresponding': False, 'raw_author_name': 'Karteek Sreenivasaiah', 'raw_affiliation_strings': ['The Institute of Mathematical Sciences, India'], 'affiliations': [{'raw_affiliation_string': 'The Institute of Mathematical Sciences, India', 'institution_ids': ['https://openalex.org/I59611059']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5081736632', 'display_name': 'Michael E. Thomas', 'orcid': 'https://orcid.org/0009-0004-2121-6983'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Michael Thomas', 'raw_affiliation_strings': ['Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover'], 'affiliations': [{'raw_affiliation_string': 'Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover', 'institution_ids': []}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5008982209', 'display_name': 'Heribert Vollmer', 'orcid': 'https://orcid.org/0000-0002-9292-1960'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Heribert Vollmer', 'raw_affiliation_strings': ['Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover'], 'affiliations': [{'raw_affiliation_string': 'Institute for Theoretical Computer Science, Leibniz University, Appelstraße, Hannover', 'institution_ids': []}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 4, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 1.712, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 6, 'citation_normalized_percentile': {'value': 0.666395, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 81, 'max': 83}, 'biblio': {'volume': '5', 'issue': '1', 'first_page': '1', 'last_page': '23'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11567', 'display_name': 'semigroups and automata theory', 'score': 0.9998, '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/T11567', 'display_name': 'semigroups and automata theory', 'score': 0.9998, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9996, '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/T10720', 'display_name': 'Complexity and Algorithms in Graphs', 'score': 0.9983, '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/proof-complexity', 'display_name': 'Proof complexity', 'score': 0.7963446}, {'id': 'https://openalex.org/keywords/combinatorial-proof', 'display_name': 'Combinatorial proof', 'score': 0.76627505}, {'id': 'https://openalex.org/keywords/analytic-proof', 'display_name': 'Analytic proof', 'score': 0.6673385}, {'id': 'https://openalex.org/keywords/constant', 'display_name': 'Constant (computer programming)', 'score': 0.61628425}, {'id': 'https://openalex.org/keywords/regular-language', 'display_name': 'Regular language', 'score': 0.5726983}, {'id': 'https://openalex.org/keywords/computer-assisted-proof', 'display_name': 'Computer-assisted proof', 'score': 0.53537905}, {'id': 'https://openalex.org/keywords/structural-proof-theory', 'display_name': 'Structural proof theory', 'score': 0.49893188}, {'id': 'https://openalex.org/keywords/proof-assistant', 'display_name': 'Proof assistant', 'score': 0.41170323}], 'concepts': [{'id': 'https://openalex.org/C108710211', 'wikidata': 'https://www.wikidata.org/wiki/Q11538', 'display_name': 'Mathematical proof', 'level': 2, 'score': 0.9156821}, {'id': 'https://openalex.org/C105605280', 'wikidata': 'https://www.wikidata.org/wiki/Q7249999', 'display_name': 'Proof complexity', 'level': 3, 'score': 0.7963446}, {'id': 'https://openalex.org/C118539577', 'wikidata': 'https://www.wikidata.org/wiki/Q3402784', 'display_name': 'Combinatorial proof', 'level': 2, 'score': 0.76627505}, {'id': 'https://openalex.org/C135754263', 'wikidata': 'https://www.wikidata.org/wiki/Q4751136', 'display_name': 'Analytic proof', 'level': 3, 'score': 0.6673385}, {'id': 'https://openalex.org/C2777027219', 'wikidata': 'https://www.wikidata.org/wiki/Q1284190', 'display_name': 'Constant (computer programming)', 'level': 2, 'score': 0.61628425}, {'id': 'https://openalex.org/C52370388', 'wikidata': 'https://www.wikidata.org/wiki/Q752532', 'display_name': 'Regular language', 'level': 3, 'score': 0.5726983}, {'id': 'https://openalex.org/C2780801425', 'wikidata': 'https://www.wikidata.org/wiki/Q5164392', 'display_name': 'Construct (python library)', 'level': 2, 'score': 0.5553613}, {'id': 'https://openalex.org/C173613240', 'wikidata': 'https://www.wikidata.org/wiki/Q1150675', 'display_name': 'Computer-assisted proof', 'level': 3, 'score': 0.53537905}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.5182728}, {'id': 'https://openalex.org/C136197465', 'wikidata': 'https://www.wikidata.org/wiki/Q1729295', 'display_name': 'Variety (cybernetics)', 'level': 2, 'score': 0.5019045}, {'id': 'https://openalex.org/C195653647', 'wikidata': 'https://www.wikidata.org/wiki/Q7625047', 'display_name': 'Structural proof theory', 'level': 4, 'score': 0.49893188}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.46229073}, {'id': 'https://openalex.org/C2318724', 'wikidata': 'https://www.wikidata.org/wiki/Q852732', 'display_name': 'Proof theory', 'level': 3, 'score': 0.44657344}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.4333938}, {'id': 'https://openalex.org/C203265346', 'wikidata': 'https://www.wikidata.org/wiki/Q11387554', 'display_name': 'Proof assistant', 'level': 3, 'score': 0.41170323}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.31432778}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.2707148}, {'id': 'https://openalex.org/C112505250', 'wikidata': 'https://www.wikidata.org/wiki/Q787116', 'display_name': 'Automaton', 'level': 2, 'score': 0.06439558}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.06178835}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 3, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/2462896.2462898', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S205019203', 'display_name': 'ACM Transactions on Computation Theory', 'issn_l': '1942-3454', 'issn': ['1942-3454', '1942-3462'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319798', 'host_organization_name': 'Association for Computing Machinery', 'host_organization_lineage': ['https://openalex.org/P4310319798'], 'host_organization_lineage_names': ['Association for Computing Machinery'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf', 'pdf_url': 'http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf', 'source': {'id': 'https://openalex.org/S4377196101', 'display_name': 'White Rose Research Online (University of Leeds)', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130828816', 'host_organization_name': 'University of Leeds', 'host_organization_lineage': ['https://openalex.org/I130828816'], 'host_organization_lineage_names': ['University of Leeds'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'acceptedVersion', 'is_accepted': True, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://eprints.whiterose.ac.uk/74775/2/proof-systems.pdf', 'pdf_url': 'https://eprints.whiterose.ac.uk/74775/2/proof-systems.pdf', 'source': {'id': 'https://openalex.org/S4306400854', 'display_name': 'White Rose Research Online (University of Leeds, The University of Sheffield, University of York)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I2800616092', 'host_organization_name': 'White Rose University Consortium', 'host_organization_lineage': ['https://openalex.org/I2800616092'], 'host_organization_lineage_names': ['White Rose University Consortium'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf', 'pdf_url': 'http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf', 'source': {'id': 'https://openalex.org/S4377196101', 'display_name': 'White Rose Research Online (University of Leeds)', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130828816', 'host_organization_name': 'University of Leeds', 'host_organization_lineage': ['https://openalex.org/I130828816'], 'host_organization_lineage_names': ['University of Leeds'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'acceptedVersion', 'is_accepted': True, 'is_published': False}, 'sustainable_development_goals': [{'display_name': 'Quality education', 'id': 'https://metadata.un.org/sdg/4', 'score': 0.6}], 'grants': [{'funder': 'https://openalex.org/F4320306193', 'funder_display_name': 'John Templeton Foundation', 'award_id': None}, {'funder': 'https://openalex.org/F4320320719', 'funder_display_name': 'Department of Science and Technology, Ministry of Science and Technology, India', 'award_id': None}, {'funder': 'https://openalex.org/F4320320879', 'funder_display_name': 'Deutsche Forschungsgemeinschaft', 'award_id': 'VO 630/6-2'}], 'datasets': [], 'versions': [], 'referenced_works_count': 32, 'referenced_works': ['https://openalex.org/W1490189322', 'https://openalex.org/W1517585663', 'https://openalex.org/W1524807471', 'https://openalex.org/W1533271350', 'https://openalex.org/W1566509562', 'https://openalex.org/W1982347904', 'https://openalex.org/W1984459117', 'https://openalex.org/W1988083342', 'https://openalex.org/W1989692246', 'https://openalex.org/W1993729573', 'https://openalex.org/W1996660205', 'https://openalex.org/W2008718608', 'https://openalex.org/W2010873187', 'https://openalex.org/W2021469124', 'https://openalex.org/W2024450183', 'https://openalex.org/W2046812405', 'https://openalex.org/W2059785423', 'https://openalex.org/W2066938865', 'https://openalex.org/W2072560800', 'https://openalex.org/W2087012565', 'https://openalex.org/W2098308941', 'https://openalex.org/W2100218277', 'https://openalex.org/W2110761203', 'https://openalex.org/W2116677113', 'https://openalex.org/W2166853092', 'https://openalex.org/W2170981586', 'https://openalex.org/W2181189727', 'https://openalex.org/W2887278875', 'https://openalex.org/W2963771155', 'https://openalex.org/W2988890240', 'https://openalex.org/W4210321366', 'https://openalex.org/W4285719527'], 'related_works': ['https://openalex.org/W4234403895', 'https://openalex.org/W3173957725', 'https://openalex.org/W3157478331', 'https://openalex.org/W2736121670', 'https://openalex.org/W2463991046', 'https://openalex.org/W2461509449', 'https://openalex.org/W2119682046', 'https://openalex.org/W2106155109', 'https://openalex.org/W171706349', 'https://openalex.org/W1496026483'], 'abstract_inverted_index': {'In': [0], 'this': [1, 29, 53], 'paper': [2], 'we': [3, 35, 68, 89, 122], 'initiate': [4], 'the': [5, 21, 50, 59, 62, 65, 86], 'study': [6], 'of': [7, 12, 61, 77, 127], 'proof': [8, 26, 72, 107, 119, 130], 'systems': [9, 27, 73, 131], 'where': [10], 'verification': [11], 'proofs': [13], 'proceeds': [14], 'by': [15, 42, 58, 91], 'NC': [16, 43, 70, 105, 117, 128], '0': [17, 44, 71, 106, 118, 129], 'circuits.': [18], 'We': [19, 109], 'investigate': [20], 'question': [22], 'which': [23, 37], 'languages': [24, 38, 78, 98, 134], 'admit': [25, 104, 116], 'in': [28], 'very': [30], 'restricted': [31], 'model.': [32], 'Formulated': [33], 'alternatively,': [34], 'ask': [36], 'can': [39], 'be': [40], 'enumerated': [41], 'functions.': [45], 'Our': [46], 'results': [47], 'show': [48, 90, 111], 'that': [49, 94, 112], 'answer': [51], 'to': [52, 82], 'problem': [54], 'is': [55], 'not': [56, 103, 115], 'determined': [57], 'complexity': [60], 'language.': [63], 'On': [64, 85], 'one': [66], 'hand,': [67, 88], 'construct': [69], 'for': [74, 132], 'a': [75, 124], 'variety': [76], 'ranging': [79], 'from': [80], 'regular': [81, 97, 133], 'NP': [83], 'complete.': [84], 'other': [87], 'combinatorial': [92], 'methods': [93], 'even': [95], 'easy': [96], 'such': [99], 'as': [100], 'Exact-OR': [101], 'do': [102], 'systems.': [108, 120], 'also': [110], 'Majority': [113], 'does': [114], 'Finally,': [121], 'present': [123], 'general': [125], 'construction': [126], 'with': [135], 'strongly': [136], 'connected': [137], "NFA's.": [138]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2106155109', 'counts_by_year': [{'year': 2016, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 1}, {'year': 2013, 'cited_by_count': 3}], 'updated_date': '2024-12-07T20:55:03.230379', 'created_date': '2016-06-24'}