{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:29:59Z","timestamp":1729618199575,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/wd.2012.6402864","type":"proceedings-article","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T19:28:28Z","timestamp":1357759708000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks"],"prefix":"10.1109","author":[{"given":"Lucia","family":"Gallina","sequence":"first","affiliation":[]},{"given":"Tingting","family":"Han","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"Alvise","family":"Spano","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/12.580424"},{"journal-title":"Stochastic Processes","year":"1996","author":"ross","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/288235.288286","article-title":"Power-aware routing in mobile ad hoc networks","author":"singh","year":"1998","journal-title":"Proc of the 4th Annual ACM\/IEEE International Conference on Mobile Computing and Networking (MobiCom'98)"},{"key":"13","first-page":"205","article-title":"Maximizing network lifetime through varying transmission radii with energy efficient cluster routing algorithm in wireless sensor networks","volume":"2","author":"venu madhav","year":"2012","journal-title":"International Journal of Electrical and Information Engineering"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.77"},{"key":"11","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4. 0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Lex-A lexical analyzer generator","year":"1975","author":"lesk","key":"12"},{"key":"3","first-page":"17","article-title":"Integrated simulation and model-checking for the analysis of biochemical systems","volume":"232","author":"ciocchetta","year":"2008","journal-title":"PASM'05 Proceedings of 2nd International Workshop on Practical Applications of Stochastic Modelling"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00090-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/11419822_5"},{"key":"10","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"Prism: A tool for automatic verification of probabilistic systems","volume":"3920","author":"hinton","year":"2006","journal-title":"Proc of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)"},{"journal-title":"Connectivity and Energy Aware Preorders for Mobile Ad Hoc Networks","year":"2012","author":"gallina","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21713-5_23"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WD.2011.6098191"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/69622.357187"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76637-7_12"}],"event":{"name":"2012 IFIP Wireless Days (WD)","start":{"date-parts":[[2012,11,21]]},"location":"Dublin, Ireland","end":{"date-parts":[[2012,11,23]]}},"container-title":["2012 IFIP Wireless Days"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6387977\/6402798\/06402864.pdf?arnumber=6402864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:26:03Z","timestamp":1498008363000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6402864\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/wd.2012.6402864","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}