{"id":"https://openalex.org/W2944021094","doi":"https://doi.org/10.1109/tnse.2019.2915515","title":"Achieving Correct Hop-by-Hop Forwarding on Multiple Policy-Based Routing Paths","display_name":"Achieving Correct Hop-by-Hop Forwarding on Multiple Policy-Based Routing Paths","publication_year":2019,"publication_date":"2019-05-08","ids":{"openalex":"https://openalex.org/W2944021094","doi":"https://doi.org/10.1109/tnse.2019.2915515","mag":"2944021094"},"language":"en","primary_location":{"id":"doi:10.1109/tnse.2019.2915515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnse.2019.2915515","pdf_url":null,"source":{"id":"https://openalex.org/S2484352698","display_name":"IEEE Transactions on Network Science and Engineering","issn_l":"2327-4697","issn":["2327-4697","2334-329X"],"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 Network Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10362/91997","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085690581","display_name":"Pedro Amaral","orcid":"https://orcid.org/0000-0002-8524-0294"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Pedro Amaral","raw_affiliation_strings":["Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-8524-0294","affiliations":[{"raw_affiliation_string":"Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023238754","display_name":"Lu\u00eds Bernardo","orcid":"https://orcid.org/0000-0002-3384-9997"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Luis Bernardo","raw_affiliation_strings":["Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-3384-9997","affiliations":[{"raw_affiliation_string":"Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061011082","display_name":"Paulo Pinto","orcid":"https://orcid.org/0000-0003-4862-101X"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Paulo Pinto","raw_affiliation_strings":["Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Engenharia Electrot\u00e9cnica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83558840"],"apc_list":null,"apc_paid":null,"fwci":0.7108,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.72691522,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"3","first_page":"1226","last_page":"1238"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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/T10714","display_name":"Software-Defined Networks and 5G","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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9966999888420105,"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/T11478","display_name":"Caching and Content Delivery","score":0.9937000274658203,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.780846357345581},{"id":"https://openalex.org/keywords/multipath-routing","display_name":"Multipath routing","score":0.6375104784965515},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.615950882434845},{"id":"https://openalex.org/keywords/equal-cost-multi-path-routing","display_name":"Equal-cost multi-path routing","score":0.6020802855491638},{"id":"https://openalex.org/keywords/hop","display_name":"Hop (telecommunications)","score":0.5984104871749878},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.517521858215332},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.5013585090637207},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.49997949600219727},{"id":"https://openalex.org/keywords/routing-information-protocol","display_name":"Routing Information Protocol","score":0.4855337142944336},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.47544074058532715}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.780846357345581},{"id":"https://openalex.org/C76522221","wikidata":"https://www.wikidata.org/wiki/Q5035396","display_name":"Multipath routing","level":5,"score":0.6375104784965515},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.615950882434845},{"id":"https://openalex.org/C115443555","wikidata":"https://www.wikidata.org/wiki/Q5367790","display_name":"Equal-cost multi-path routing","level":5,"score":0.6020802855491638},{"id":"https://openalex.org/C25906391","wikidata":"https://www.wikidata.org/wiki/Q1432381","display_name":"Hop (telecommunications)","level":2,"score":0.5984104871749878},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.517521858215332},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.5013585090637207},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.49997949600219727},{"id":"https://openalex.org/C7573999","wikidata":"https://www.wikidata.org/wiki/Q207580","display_name":"Routing Information Protocol","level":5,"score":0.4855337142944336},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.47544074058532715}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tnse.2019.2915515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnse.2019.2915515","pdf_url":null,"source":{"id":"https://openalex.org/S2484352698","display_name":"IEEE Transactions on Network Science and Engineering","issn_l":"2327-4697","issn":["2327-4697","2334-329X"],"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 Network Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:run.unl.pt:10362/91997","is_oa":true,"landing_page_url":"http://hdl.handle.net/10362/91997","pdf_url":null,"source":{"id":"https://openalex.org/S4210182101","display_name":"Revista de Estudos Anglo-Portugueses/Journal of Anglo-Portuguese Studies","issn_l":"0871-682X","issn":["0871-682X","2184-0687"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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/article"}],"best_oa_location":{"id":"pmh:oai:run.unl.pt:10362/91997","is_oa":true,"landing_page_url":"http://hdl.handle.net/10362/91997","pdf_url":null,"source":{"id":"https://openalex.org/S4210182101","display_name":"Revista de Estudos Anglo-Portugueses/Journal of Anglo-Portuguese Studies","issn_l":"0871-682X","issn":["0871-682X","2184-0687"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6679443276","display_name":null,"funder_award_id":"UID/EEA/50008/2019","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1564531230","https://openalex.org/W1588115473","https://openalex.org/W1962580645","https://openalex.org/W1965068506","https://openalex.org/W1976999020","https://openalex.org/W2002422100","https://openalex.org/W2013077149","https://openalex.org/W2044304197","https://openalex.org/W2099236627","https://openalex.org/W2100415265","https://openalex.org/W2115578463","https://openalex.org/W2129358417","https://openalex.org/W2136377206","https://openalex.org/W2138546253","https://openalex.org/W2145091572","https://openalex.org/W2147118406","https://openalex.org/W2148093630","https://openalex.org/W2168056773","https://openalex.org/W2232720325","https://openalex.org/W2254803858","https://openalex.org/W2556984291","https://openalex.org/W2740231486","https://openalex.org/W2839252377","https://openalex.org/W4235969909","https://openalex.org/W4252996637","https://openalex.org/W4253436398","https://openalex.org/W4322358105","https://openalex.org/W6730263215","https://openalex.org/W7018097795"],"related_works":["https://openalex.org/W2181601090","https://openalex.org/W3127002380","https://openalex.org/W2068473861","https://openalex.org/W757657516","https://openalex.org/W2351878639","https://openalex.org/W2539097916","https://openalex.org/W2136173851","https://openalex.org/W2029407480","https://openalex.org/W4253436398","https://openalex.org/W2556128816"],"abstract_inverted_index":{"Algebra":[0],"has":[1],"made":[2],"the":[3,23,63,81,100,106,114,136,144,158,198],"tasks":[4],"of":[5,65,83,109],"modeling":[6],"routing":[7,28,163],"algorithms":[8],"and":[9,192],"proving":[10],"their":[11],"correct":[12,93,130],"operation":[13,170],"very":[14,75],"clear.":[15],"However,":[16],"traditional":[17],"models":[18],"are":[19,147,156],"only":[20,56],"concerned":[21],"with":[22,69],"convergence":[24],"to":[25,113,121,139,150,160,178],"a":[26,39,59,66,122,195],"stable":[27],"solution":[29],"not":[30,128],"covering":[31],"distributed":[32,52,94,169],"hop-by-hop":[33],"forwarding":[34,54,95],"on":[35],"multiple":[36],"paths":[37],"(within":[38],"flow":[40],"or":[41],"separately":[42],"per":[43],"flow).":[44],"This":[45,73],"paper":[46],"addresses":[47],"this":[48,88,126,190],"challenge.":[49],"Currently,":[50],"loop-free":[51],"multipath":[53,78],"is":[55,74,97,127,132,171],"proven":[57],"if":[58,105,135],"strict":[60,101],"decrease":[61,102],"in":[62,103,143,174,189,197],"preference":[64],"path":[67],"occurs":[68],"every":[70],"added":[71],"link.":[72],"rigid":[76],"for":[77,202],"routing,":[79],"limiting":[80],"amount":[82],"equal":[84],"preferred":[85],"paths.":[86],"In":[87],"paper,":[89],"we":[90],"prove":[91],"that":[92],"behavior":[96,131],"possible,":[98],"without":[99],"preference,":[104],"possible":[107,134],"pairs":[108],"policy":[110],"values":[111],"applied":[112,138],"directed":[115],"edges":[116],"connecting":[117],"two":[118,151],"nodes":[119],"obey":[120],"particular":[123],"condition.":[124],"If":[125],"true,":[129],"still":[133,172],"policies":[137],"links":[140],"forming":[141],"circuits":[142],"network":[145,166],"graph":[146],"constrained":[148],"according":[149],"other":[152],"conditions.":[153],"Modern":[154],"technologies":[155],"bringing":[157],"possibility":[159],"build":[161],"new":[162],"protocols":[164],"using":[165],"programmability":[167],"while":[168],"needed":[173],"many":[175],"scenarios":[176],"due":[177],"scaling":[179],"issues.":[180],"We":[181],"show":[182],"how":[183],"our":[184],"results":[185],"can":[186],"be":[187],"relevant":[188],"setting":[191],"serve":[193],"as":[194],"tool":[196],"design":[199],"process":[200],"and/or":[201],"formal":[203],"protocol":[204],"verification.":[205]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}