SmartHG Home

SmartHG Project Publications

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
1-10 of 28 records found matching your query:
toggle visibility Search & Display Options
Select All    Deselect All << 1 2 3 >>
List View
 | 
Citations
 | 
Details
   print
  Records Links
Author Hayes, B. P.; Gruber, J. K.; Prodanovic, M. pdf  doi
openurl 
  Title A closed-loop state estimation tool for MV network monitoring and operation Type
  Year 2015 Publication IEEE Transactions on Smart Grid Abbreviated Journal  
  Volume PP Issue (down) 99 Pages  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 50  
Permanent link to this record
 
 
Author Jacobsen, R.H.; Mikkelsen, S.A. pdf  url
doi  openurl
  Title Infrastructure for Intelligent Automation Services in the Smart Grid Type
  Year 2014 Publication Wireless Personal Communications Abbreviated Journal  
  Volume 76 Issue (down) 2 Pages 125-147  
  Keywords Home area network; Smart energy profile; Intelligent automation services; Smart grid  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Springer US Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 0929-6212 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ JacMik14 Serial 41  
Permanent link to this record
 
 
Author Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. pdf  doi
openurl 
  Title SyLVaaS: System Level Formal Verification as a Service Type
  Year 2016 Publication Fundam. Inform. Abbreviated Journal  
  Volume 149 Issue (down) 1-2 Pages 101-132  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ DBLP:journals/fuin/ManciniMMMT16 Serial 63  
Permanent link to this record
 
 
Author Mancini, T. pdf  doi
openurl 
  Title Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts Type
  Year 2016 Publication Fundam. Inform. Abbreviated Journal  
  Volume 149 Issue (down) 1-2 Pages 61-100  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ DBLP:journals/fuin/Mancini16 Serial 62  
Permanent link to this record
 
 
Author Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. pdf  url
doi  openurl
  Title Model Based Synthesis of Control Software from System Level Formal Specifications Type
  Year 2014 Publication Acm Transactions On Software Engineering And Methodology Abbreviated Journal  
  Volume 23 Issue (down) 1 Pages 6  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Acm Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 1049-331x ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Mari_etal2014 Serial 40  
Permanent link to this record
 
 
Author Mikkelsen, S.A.; Jacobsen, R.H. pdf  doi
openurl 
  Title Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet Type
  Year 2015 Publication Digital System Design (DSD), 2015 Euromicro Conference on Abbreviated Journal  
  Volume Issue (down) Pages 301-305  
  Keywords Authorization;Computer architecture;Data privacy;Home appliances;Privacy;Protocols;Smart grids;data privacy;smart grid;web services  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ ref7302289 Serial 56  
Permanent link to this record
 
 
Author Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  doi
openurl 
  Title On Model Based Synthesis of Embedded Control Software Type
  Year 2012 Publication International Conference on Embedded Software, EMSOFT Abbreviated Journal  
  Volume Issue (down) Pages  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher ACM Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ mari @ Alimguzhin_etal2012_2 Serial 14  
Permanent link to this record
 
 
Author Hayes, B. P.; Prodanovic, M. pdf  doi
openurl 
  Title A comparison of MV distribution system state estimation methods using field data Type
  Year 2015 Publication IEEE PES General Meeting, Denver, CO, United States Abbreviated Journal  
  Volume Issue (down) Pages  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 52  
Permanent link to this record
 
 
Author Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. pdf  url
doi  openurl
  Title Simulator Semantics for System Level Formal Verification Type
  Year 2015 Publication Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), Abbreviated Journal  
  Volume Issue (down) Pages  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 54  
Permanent link to this record
 
 
Author Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H. pdf  doi
openurl 
  Title Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks Type
  Year 2015 Publication Digital System Design (DSD), 2015 Euromicro Conference on Abbreviated Journal  
  Volume Issue (down) Pages 233-240  
  Keywords Authentication;Elliptic curve cryptography;Logic gates;Prototypes;constrained devices;home area network;identity-based cryptography;network bootstrap;pairing-based cryptography;security  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ ref7302275 Serial 55  
Permanent link to this record
Select All    Deselect All << 1 2 3 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home CQL Search  |  Library Search  |  Show Record  |  Extract Citations