{"id":"https://openalex.org/W2903226666","doi":"https://doi.org/10.1109/tc.2025.3533096","title":"Small Hazard-Free Transducers","display_name":"Small Hazard-Free Transducers","publication_year":2025,"publication_date":"2025-01-28","ids":{"openalex":"https://openalex.org/W2903226666","doi":"https://doi.org/10.1109/tc.2025.3533096","mag":"2903226666"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2025.3533096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3533096","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/21.11116/0000-0002-9FAD-9","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006330730","display_name":"Johannes Bund","orcid":null},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]},{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE","IL"],"is_corresponding":true,"raw_author_name":"Johannes Bund","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Bar-Ilan University, Ramat Gan, Israel","Alexander Kofkin Faculty of Engineering, Bar-Ilan University, Ramat Gan, Israel"],"affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877","https://openalex.org/I4210128801"]},{"raw_affiliation_string":"Alexander Kofkin Faculty of Engineering, Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006005471","display_name":"Christoph Lenzen","orcid":"https://orcid.org/0000-0002-3290-0674"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Lenzen","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbrücken, Germany"],"affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbrücken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007248799","display_name":"Moti Medina","orcid":"https://orcid.org/0000-0002-5572-3754"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Moti Medina","raw_affiliation_strings":["Alexander Kofkin Faculty of Engineering, Bar-Ilan University, Ramat Gan, Israel"],"affiliations":[{"raw_affiliation_string":"Alexander Kofkin Faculty of Engineering, Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006330730"],"corresponding_institution_ids":["https://openalex.org/I13955877","https://openalex.org/I4210128801"],"apc_list":null,"apc_paid":null,"fwci":0.7111,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67122823,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"74","issue":"5","first_page":"1549","last_page":"1564"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9986000061035156,"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/string","display_name":"String (physics)","score":0.6754866242408752},{"id":"https://openalex.org/keywords/adder","display_name":"Adder","score":0.6372956037521362},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5845794677734375},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5808302164077759},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.5525498390197754},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5331225991249084},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5325751900672913},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.5160734057426453},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4981989860534668},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4758867025375366},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4460248053073883},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.44206249713897705},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4347551465034485},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.41373229026794434},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35514017939567566},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2336723506450653},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.22440677881240845},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1707005798816681},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.1206432580947876},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.11916446685791016}],"concepts":[{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.6754866242408752},{"id":"https://openalex.org/C164620267","wikidata":"https://www.wikidata.org/wiki/Q376953","display_name":"Adder","level":3,"score":0.6372956037521362},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5845794677734375},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5808302164077759},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.5525498390197754},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5331225991249084},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5325751900672913},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.5160734057426453},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4981989860534668},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4758867025375366},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4460248053073883},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.44206249713897705},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4347551465034485},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.41373229026794434},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35514017939567566},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2336723506450653},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.22440677881240845},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1707005798816681},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.1206432580947876},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.11916446685791016},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","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}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/tc.2025.3533096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3533096","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:pure.mpg.de:item_3012190","is_oa":true,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0002-9FAD-9","pdf_url":"http://hdl.handle.net/21.11116/0000-0002-9FAD-9","source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"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":"","raw_type":"info:eu-repo/semantics/workingPaper"},{"id":"mag:2903226666","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1811.12369.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:figshare.com:article/24614055","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Small_Hazard-Free_Transducers/24614055","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.60882/cispa.24614055.v1","is_oa":true,"landing_page_url":"https://doi.org/10.60882/cispa.24614055.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407050916","display_name":"CISPA Helmholtz Center","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:pure.mpg.de:item_3012190","is_oa":true,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0002-9FAD-9","pdf_url":"http://hdl.handle.net/21.11116/0000-0002-9FAD-9","source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"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":"","raw_type":"info:eu-repo/semantics/workingPaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2903226666.pdf","grobid_xml":"https://content.openalex.org/works/W2903226666.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W149082927","https://openalex.org/W1483568252","https://openalex.org/W1498138768","https://openalex.org/W1965019509","https://openalex.org/W1975638748","https://openalex.org/W1983448992","https://openalex.org/W1992277774","https://openalex.org/W1994584977","https://openalex.org/W2012155933","https://openalex.org/W2012476164","https://openalex.org/W2029948740","https://openalex.org/W2058665672","https://openalex.org/W2075773711","https://openalex.org/W2120688461","https://openalex.org/W2131129639","https://openalex.org/W2132127141","https://openalex.org/W2143462372","https://openalex.org/W2152772468","https://openalex.org/W2159464568","https://openalex.org/W2167849054","https://openalex.org/W2168897714","https://openalex.org/W2169213530","https://openalex.org/W2181120999","https://openalex.org/W2319160178","https://openalex.org/W2330503368","https://openalex.org/W2479151460","https://openalex.org/W2493256084","https://openalex.org/W2569195351","https://openalex.org/W2903226666","https://openalex.org/W2952128268","https://openalex.org/W2963331517","https://openalex.org/W2979345552","https://openalex.org/W3046392043","https://openalex.org/W3122015429","https://openalex.org/W4211171470","https://openalex.org/W4214896765","https://openalex.org/W6977921150"],"related_works":["https://openalex.org/W4390550886","https://openalex.org/W3217463396","https://openalex.org/W2516396101","https://openalex.org/W2790557758","https://openalex.org/W3204929712","https://openalex.org/W4295102875","https://openalex.org/W2300671402","https://openalex.org/W2015457513","https://openalex.org/W4312888585","https://openalex.org/W2533938775"],"abstract_inverted_index":{"In":[0],"digital":[1],"circuits,":[2],"hazardous":[3,48],"input":[4,138],"signals":[5],"are":[6,37,92,121],"a":[7,123,128,152,160],"result":[8],"of":[9,12,82,104,115,140,147,171],"spurious":[10],"operation":[11],"bistable":[13,35],"elements.":[14],"For":[15,174],"example,":[16],"the":[17,42,51,56,60,75,100,168,172,180,190],"problem":[18],"occurs":[19],"in":[20,34],"circuits":[21,40],"with":[22,117,176,186],"asynchronous":[23],"inputs":[24],"or":[25],"clock":[26],"domain":[27],"crossings.":[28],"Marino":[29],"(TC\u201981)":[30],"showed":[31],"that":[32,53,112,132,154,166],"hazards":[33],"elements":[36],"inevitable.":[38],"Hazard-free":[39],"compute":[41],"\u201cmost":[43],"stable\u201d":[44],"output":[45,58,145],"possible":[46,93],"on":[47,62],"inputs,":[49],"under":[50],"constraint":[52],"it":[54],"returns":[55],"same":[57],"as":[59],"circuit":[61,80,91,113,165,181],"stable":[63],"inputs.":[64],"Ikenmeyer":[65],"et":[66,95],"al.":[67],"(JACM\u201919)":[68],"proved":[69],"an":[70,137,144,163],"unconditional":[71],"exponential":[72],"separation":[73],"between":[74],"hazard-free":[76,89,108,169],"complexity":[77,81],"and":[78],"(standard)":[79],"explicit":[83],"functions.":[84],"Despite":[85],"that,":[86],"asymptotically":[87,183],"optimal":[88,184],"sorting":[90],"(Bund":[94],"al.,":[96],"TC\u201919).":[97],"This":[98],"raises":[99],"question:":[101],"Which":[102],"classes":[103],"functions":[105],"permit":[106],"efficient":[107,164],"circuits?":[109],"We":[110,150],"prove":[111],"implementations":[114],"transducers":[116,175],"small":[118,187],"state":[119,130,178,191],"space":[120,192],"such":[122],"class.":[124],"A":[125],"transducer":[126,161],"is":[127,193],"finite":[129],"machine":[131],"transcribes,":[133],"symbol":[134],"by":[135],"symbol,":[136],"string":[139,146],"length":[141,148],"n":[142],"into":[143,162],"n.":[149],"present":[151],"construction":[153],"transforms":[155],"any":[156],"function":[157],"arising":[158],"from":[159],"computes":[167],"extension":[170],"function.":[173],"constant":[177],"space,":[179],"has":[182],"size,":[185],"constants":[188],"if":[189],"small.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}