{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:42:44Z","timestamp":1771702964257,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/smartgridcomm.2014.7007745","type":"proceedings-article","created":{"date-parts":[[2015,1,20]],"date-time":"2015-01-20T02:42:49Z","timestamp":1421721769000},"page":"794-799","source":"Crossref","is-referenced-by-count":19,"title":["Demand-aware price policy synthesis and verification services for Smart Grids"],"prefix":"10.1109","author":[{"given":"Toni","family":"Mancini","sequence":"first","affiliation":[]},{"given":"Federico","family":"Mari","sequence":"additional","affiliation":[]},{"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[]},{"given":"Jorn Klaas","family":"Gruber","sequence":"additional","affiliation":[]},{"given":"Barry","family":"Hayes","sequence":"additional","affiliation":[]},{"given":"Milan","family":"Prodanovic","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Elmegaard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797315306"},{"key":"22","article-title":"Short-Term operational planning and state estimation in power distribution networks","author":"hayes","year":"2014","journal-title":"CIRED Workshop"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.32"},{"key":"23","article-title":"Prediction markets for electricity demand","author":"de castro","year":"0","journal-title":"Proc Allerton 2012 IEEE"},{"key":"18","article-title":"Monte carlo model checking","author":"grosu","year":"2005","journal-title":"Proc TACAS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2234487"},{"key":"16","article-title":"System level formal verification via model checking driven simulation","author":"mancini","year":"2013","journal-title":"Proc CAV"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2237794"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2262059"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_4"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-1275611"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.2187037"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2174811"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2261564"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2217385"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426260"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2257889"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2298894"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2212921"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2187804"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2559934"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1111\/0034-6527.00354"}],"event":{"name":"2014 IEEE International Conference on Smart Grid Communications (SmartGridComm)","location":"Venice, Italy","start":{"date-parts":[[2014,11,3]]},"end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE International Conference on Smart Grid Communications (SmartGridComm)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6995184\/7007609\/07007745.pdf?arnumber=7007745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T01:39:48Z","timestamp":1490319588000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7007745\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/smartgridcomm.2014.7007745","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}