{"id":"https://openalex.org/W2400708553","doi":"https://doi.org/10.3233/fi-2016-1438","title":"Reversible Queue Automata","display_name":"Reversible Queue Automata","publication_year":2016,"publication_date":"2016-12-24","ids":{"openalex":"https://openalex.org/W2400708553","doi":"https://doi.org/10.3233/fi-2016-1438","mag":"2400708553"},"language":"it","primary_location":{"id":"doi:10.3233/fi-2016-1438","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2016-1438","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-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/A5026803820","display_name":"Martin Kutrib","orcid":"https://orcid.org/0000-0002-9564-2625"},"institutions":[{"id":"https://openalex.org/I200763008","display_name":"University of Giessen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin Kutrib","raw_affiliation_strings":["Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de","institution_ids":["https://openalex.org/I200763008"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083650443","display_name":"Andreas Malcher","orcid":"https://orcid.org/0000-0002-9589-5833"},"institutions":[{"id":"https://openalex.org/I200763008","display_name":"University of Giessen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Malcher","raw_affiliation_strings":["Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de","institution_ids":["https://openalex.org/I200763008"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083635884","display_name":"Matthias Wendlandt","orcid":"https://orcid.org/0009-0001-2243-549X"},"institutions":[{"id":"https://openalex.org/I200763008","display_name":"University of Giessen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Wendlandt","raw_affiliation_strings":["Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany. {kutrib, malcher, matthias.wendlandt}@informatik.uni-giessen.de","institution_ids":["https://openalex.org/I200763008"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5026803820"],"corresponding_institution_ids":["https://openalex.org/I200763008"],"apc_list":null,"apc_paid":null,"fwci":0.8686,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76435289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"148","issue":"3-4","first_page":"341","last_page":"368"},"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.9984999895095825,"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.9984999895095825,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9945999979972839,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9944000244140625,"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/computer-science","display_name":"Computer science","score":0.5283625721931458}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5283625721931458}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2016-1438","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2016-1438","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"mag:2400708553","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ncma/ncma2014.html#KutribMW14","pdf_url":null,"source":{"id":"https://openalex.org/S4306520647","display_name":"NCMA","issn_l":null,"issn":null,"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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"NCMA","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2105259569","https://openalex.org/W2023439061","https://openalex.org/W2322920111","https://openalex.org/W2068967633","https://openalex.org/W1998896169","https://openalex.org/W1981094023","https://openalex.org/W1808022612","https://openalex.org/W159651414","https://openalex.org/W1567676570","https://openalex.org/W2950632552","https://openalex.org/W2312488417","https://openalex.org/W3043588230","https://openalex.org/W3043010103","https://openalex.org/W2479629636","https://openalex.org/W2500606275","https://openalex.org/W1463964857","https://openalex.org/W2085151919","https://openalex.org/W3015407711","https://openalex.org/W3121949540","https://openalex.org/W2099449550"],"abstract_inverted_index":{"Deterministic":[0],"finite":[1],"automata":[2,55,108,129,150],"equipped":[3],"with":[4],"the":[5,100,143],"storage":[6],"medium":[7],"of":[8,65,122,146],"a":[9,43,49,119],"queue":[10,42,54,73,91,107,114,128,139,149,185,197],"are":[11,56,109,179],"investigated":[12],"towards":[13],"their":[14],"ability":[15],"to":[16,68,72,97,132],"perform":[17],"reversible":[18,50,53,88,106,138,147,157,183],"computations,":[19],"that":[20,40,86,168],"is,":[21],"computations":[22],"in":[23],"which":[24],"every":[25,87],"occurring":[26],"configuration":[27],"has":[28],"exactly":[29,33],"one":[30,34],"successor":[31],"and":[32,80,151,166],"predecessor.":[35],"A":[36],"first":[37],"result":[38],"is":[39,64,84,189,199],"any":[41,136],"utomaton":[44],"can":[45,93],"be":[46,94,133],"simulated":[47],"by":[48,135],"one.":[51],"So,":[52],"as":[57,59,155,174],"powerful":[58,111],"Turing":[60],"machines.":[61],"Therefore":[62],"it":[63,188],"natural":[66],"interest":[67],"impose":[69],"time":[70,124],"restrictions":[71],"automata.":[74,115,160,186],"Here":[75],"we":[76,117,162],"consider":[77],"quasi":[78,89],"realtime":[79,81,90,104,127,148,184,196],"computations.":[82],"It":[83],"shown":[85],"automaton":[92,198],"sped":[95],"up":[96],"realtime.":[98],"On":[99],"other":[101],"hand,":[102],"under":[103],"conditions":[105],"less":[110],"than":[112],"general":[113],"Furthermore,":[116,187],"exhibit":[118],"lower":[120],"bound":[121],"\u03a9(n2log(n))":[123],"steps":[125],"for":[126,156,182],"witness":[130],"languages":[131],"accepted":[134],"equivalent":[137],"automaton.":[140],"We":[141],"study":[142],"closure":[144],"properties":[145],"obtain":[152,167],"similar":[153],"results":[154],"deterministic":[158],"pushdown":[159],"Finally,":[161],"investigate":[163],"decidability":[164],"questions":[165,172],"all":[169],"commonly":[170],"studied":[171],"such":[173],"emptiness,":[175],"finiteness,":[176],"or":[177],"equivalence":[178],"not":[180,190],"semidecidable":[181,191],"whether":[192],"an":[193],"arbitrary":[194],"given":[195],"reversible.":[200]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}