{"id":"https://openalex.org/W2187825191","doi":"https://doi.org/10.3217/jucs-020-09-1373","title":"Formal Study of Routing Protocols for Wireless Sensor Networks","display_name":"Formal Study of Routing Protocols for Wireless Sensor Networks","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2187825191","doi":"https://doi.org/10.3217/jucs-020-09-1373","mag":"2187825191"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5505535","is_oa":true,"landing_page_url":"https://zenodo.org/record/5505535","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 20((9)) 1373-1401","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5505535","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015169894","display_name":"Hermenegilda Maci\u00e0","orcid":"https://orcid.org/0000-0003-1462-5274"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hermenegilda Maci\u00e1","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036182493","display_name":"Jos\u00e9 Antonio Mateo","orcid":"https://orcid.org/0000-0002-2074-3392"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Antonio Mateo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112005040","display_name":"Juan Jos\u00e9 Pardo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Juan Jos\u00e9 Pardo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5067657692","display_name":"M. Carmen Ruiz","orcid":"https://orcid.org/0000-0002-2392-9272"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mar\u00eda del Carmen Ruiz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00262996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9997000098228455,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9997000098228455,"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/T10246","display_name":"Mobile Ad Hoc Networks","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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9972000122070312,"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.8805776834487915},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.5697144865989685},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5551983118057251},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.549210250377655},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5323719382286072},{"id":"https://openalex.org/keywords/link-state-routing-protocol","display_name":"Link-state routing protocol","score":0.48160144686698914},{"id":"https://openalex.org/keywords/policy-based-routing","display_name":"Policy-based routing","score":0.47449350357055664},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4730112850666046},{"id":"https://openalex.org/keywords/dynamic-source-routing","display_name":"Dynamic Source Routing","score":0.47140124440193176},{"id":"https://openalex.org/keywords/geographic-routing","display_name":"Geographic routing","score":0.429287314414978},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.42564138770103455},{"id":"https://openalex.org/keywords/zone-routing-protocol","display_name":"Zone Routing Protocol","score":0.4228595495223999},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.4112415611743927},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2040567398071289}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8805776834487915},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.5697144865989685},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5551983118057251},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.549210250377655},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5323719382286072},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.48160144686698914},{"id":"https://openalex.org/C196423136","wikidata":"https://www.wikidata.org/wiki/Q7209671","display_name":"Policy-based routing","level":5,"score":0.47449350357055664},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4730112850666046},{"id":"https://openalex.org/C9659607","wikidata":"https://www.wikidata.org/wiki/Q1268903","display_name":"Dynamic Source Routing","level":4,"score":0.47140124440193176},{"id":"https://openalex.org/C50558702","wikidata":"https://www.wikidata.org/wiki/Q5535067","display_name":"Geographic routing","level":5,"score":0.429287314414978},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.42564138770103455},{"id":"https://openalex.org/C189884158","wikidata":"https://www.wikidata.org/wiki/Q8073926","display_name":"Zone Routing Protocol","level":5,"score":0.4228595495223999},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.4112415611743927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2040567398071289}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5505535","is_oa":true,"landing_page_url":"https://zenodo.org/record/5505535","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 20((9)) 1373-1401","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-020-09-1373","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-020-09-1373","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5505535","is_oa":true,"landing_page_url":"https://zenodo.org/record/5505535","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 20((9)) 1373-1401","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W154294937","https://openalex.org/W1505467759","https://openalex.org/W1549371619","https://openalex.org/W1568573127","https://openalex.org/W1954091329","https://openalex.org/W1970990213","https://openalex.org/W1975964775","https://openalex.org/W2032521963","https://openalex.org/W2061098321","https://openalex.org/W2151796313"],"related_works":["https://openalex.org/W1999939853","https://openalex.org/W1967521701","https://openalex.org/W3004276756","https://openalex.org/W150068791","https://openalex.org/W1966167373","https://openalex.org/W2704400048","https://openalex.org/W2083984791","https://openalex.org/W2905658145","https://openalex.org/W2149057031","https://openalex.org/W1842330615","https://openalex.org/W2466879381","https://openalex.org/W101831309","https://openalex.org/W1967357565","https://openalex.org/W165885947","https://openalex.org/W2286699931","https://openalex.org/W3020135647","https://openalex.org/W2804036226","https://openalex.org/W2183224556","https://openalex.org/W2072383231","https://openalex.org/W2009072103"],"abstract_inverted_index":{"NORA":[0,36,64],"(Network":[1,7],"rOle-based":[2,8],"Routing":[3,9],"Algorithm)":[4,11],"and":[5,32,43,95,113,127],"NORIA":[6,57],"Intelligent":[10],"are":[12,73],"novel":[13],"routing":[14,134],"algorithms":[15,72],"for":[16,85,120],"Wireless":[17],"Sensor":[18],"Networks":[19],"(WSNs),":[20],"which":[21,40],"combine":[22],"various":[23],"effective":[24],"techniques":[25],"in":[26,65,101],"order":[27,66],"to":[28,46,50,63,67,91,98,156],"reduce":[29],"energy":[30],"consumption":[31],"improve":[33,68],"data":[34],"routes.":[35],"is":[37,81],"an":[38,147],"algorithm,":[39],"uses":[41],"local":[42],"neighbourhood":[44],"information":[45],"assign":[47],"a":[48,59,82,102,111,132],"role":[49],"each":[51],"node":[52],"on":[53],"the":[54,86,121,152],"net,":[55],"whereas":[56],"adds":[58],"fuzzy":[60],"logic":[61],"engine":[62],"this":[69,106,108],"assignment.":[70],"These":[71],"far":[74],"from":[75],"being":[76],"trivial,":[77],"and,":[78,119],"therefore,":[79],"there":[80],"clear":[83],"need":[84],"use":[87],"of":[88,116,123],"formal":[89],"methods":[90],"check":[92],"their":[93,99],"correctness":[94],"performance,":[96],"prior":[97],"deployment":[100],"real":[103],"environment.":[104],"To":[105],"end,":[107],"paper":[109],"presents":[110],"neat":[112],"rigorous":[114],"study":[115,126],"both":[117,130],"algorithms,":[118],"sake":[122],"completeness,":[124],"we":[125],"compare":[128],"also":[129],"with":[131],"well-known":[133,153],"protocol:":[135],"Tree":[136],"Routing.":[137],"Finally,":[138],"Coloured":[139],"Petri":[140],"Nets":[141],"(CPNs)":[142],"have":[143],"been":[144],"chosen":[145],"as":[146],"appropriate":[148],"modelling":[149],"language,":[150],"using":[151],"tool,":[154],"CPNTools,":[155],"conduct":[157],"our":[158],"experiments.":[159]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2016-06-24T00:00:00"}