{"id":"https://openalex.org/W2128321417","doi":"https://doi.org/10.1109/sfcs.2002.1181946","title":"A simple algorithmic characterization of uniform solvability","display_name":"A simple algorithmic characterization of uniform solvability","publication_year":2003,"publication_date":"2003-06-26","ids":{"openalex":"https://openalex.org/W2128321417","doi":"https://doi.org/10.1109/sfcs.2002.1181946","mag":"2128321417"},"language":"en","primary_location":{"id":"doi:10.1109/sfcs.2002.1181946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sfcs.2002.1181946","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.","raw_type":"proceedings-article"},"type":"article","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/A5031972040","display_name":"Eli Gafni","orcid":"https://orcid.org/0009-0008-6799-2784"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"E. Gafni","raw_affiliation_strings":["UCLA-Academic Senate Grant, USA","University of California\u2013Los Angeles"],"affiliations":[{"raw_affiliation_string":"UCLA-Academic Senate Grant, USA","institution_ids":[]},{"raw_affiliation_string":"University of California\u2013Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031972040"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":1.6525,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.877534,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"228","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9718999862670898,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/sequence","display_name":"Sequence (biology)","score":0.7677733302116394},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6327672004699707},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.629957377910614},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5773687362670898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5189437866210938},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4468659460544586},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4419056177139282},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.43376338481903076},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4118528962135315},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3926975131034851},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36355727910995483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34528830647468567}],"concepts":[{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7677733302116394},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6327672004699707},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.629957377910614},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5773687362670898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5189437866210938},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4468659460544586},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4419056177139282},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.43376338481903076},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4118528962135315},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3926975131034851},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36355727910995483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34528830647468567},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sfcs.2002.1181946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sfcs.2002.1181946","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1556523051","https://openalex.org/W1814330927","https://openalex.org/W1965990175","https://openalex.org/W1967858331","https://openalex.org/W1967980352","https://openalex.org/W1970345854","https://openalex.org/W1981017197","https://openalex.org/W1983056589","https://openalex.org/W1990090334","https://openalex.org/W1993805917","https://openalex.org/W1997124359","https://openalex.org/W2015280401","https://openalex.org/W2024624176","https://openalex.org/W2035362408","https://openalex.org/W2039966494","https://openalex.org/W2053113612","https://openalex.org/W2070832726","https://openalex.org/W2070993796","https://openalex.org/W2083306187","https://openalex.org/W2086231977","https://openalex.org/W2094221403","https://openalex.org/W2101207953","https://openalex.org/W2107834524","https://openalex.org/W2124525591","https://openalex.org/W2142686816","https://openalex.org/W2149907923","https://openalex.org/W2224374624","https://openalex.org/W6633449332","https://openalex.org/W6681039531"],"related_works":["https://openalex.org/W3107994849","https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W4247143848","https://openalex.org/W2584231425","https://openalex.org/W2009883749","https://openalex.org/W2735573198","https://openalex.org/W2150611273","https://openalex.org/W29442446","https://openalex.org/W2088134950"],"abstract_inverted_index":{"The":[0,176],"Herlihy-Shavit":[1],"(HS)":[2],"conditions":[3,162],"characterizing":[4],"the":[5,18,21,49,103,109,125,148,160,186,195,201,217,225],"solvability":[6,51,171],"of":[7,20,23,29,52,57,142,194,205,207,216,227],"asynchronous":[8],"tasks":[9,58,144],"over":[10,71,166],"n":[11,167],"processors":[12,72],"have":[13],"been":[14],"a":[15,69,88,138,154,164,173,220],"milestone":[16],"in":[17,44,172],"development":[19,226],"theory":[22],"distributed":[24],"computing.":[25],"Yet,":[26],"they":[27],"were":[28],"no":[30],"help":[31,43],"when":[32],"researcher":[33],"sought":[34],"algorithms":[35],"that":[36,86,117,147,200],"do":[37],"not":[38,129,151],"depend":[39],"on":[40],"n.":[41],"To":[42],"this":[45,135,182],"pursuit":[46],"we":[47,178],"investigate":[48],"uniform":[50,55,126,140,155,170,203,228],"an":[53],"infinite":[54,202],"sequence":[56,89,127,141,149,204],"T/sub":[59,61,63,66,79,82,100,106,112,120],"0/,":[60,74],"1/,":[62],"2/,...,":[64],"where":[65],"i/":[67,80,101,107,121],"is":[68,90,128,150,183,210,219],"task":[70,165,206],"p/sub":[73,75],"1/,...,p/sub":[76],"i/,":[77],"and":[78,102,145,192],"extends":[81,108],"i-1/.":[83,113],"We":[84,133,157],"say":[85],"such":[87],"uniformly":[91,131,211],"solvable":[92,143],"if":[93],"there":[94],"exit":[95],"protocols":[96],"to":[97,153,169,180,184],"solve":[98],"each":[99,119],"protocol":[104,110],"for":[105,111,163,224],"This":[114],"paper":[115],"establishes":[116],"although":[118],"may":[122],"be":[123],"solvable,":[124],"necessarily":[130],"solvable.":[132,212],"show":[134],"by":[136,190,198],"proposing":[137],"novel":[139],"proving":[146],"amenable":[152],"solution.":[156],"then":[158],"extend":[159],"HS":[161,196],"processors,":[168],"natural":[174],"way.":[175],"technique":[177,218],"use":[179],"accomplish":[181],"generalize":[185],"alternative":[187],"algorithmic":[188],"proof,":[189],"Borowsky":[191],"Gafni,":[193],"conditions,":[197],"showing":[199],"Immediate":[208],"Snapshots":[209],"A":[213],"side":[214],"benefit":[215],"widely":[221],"applicable":[222],"methodology":[223],"protocols.":[229]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}