Skip to main content

Main menu

  • Home
  • Project
    • Highlights
  • Consortium
  • News
  • Events
  • Publications
  • Press
  • Contacts
  • Login
ICT-Energy

ICT-Energy

Search

Publications

Export 3 results:
  • BibTeX
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is I  [Clear All Filters]
2016
Morse J..  2016.  On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).
  • Google Scholar
  • BibTeX
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
  • Google Scholar
  • BibTeX
2014
Samarelli A., L. Llin F, Cecchi S., Frigerio J., Etzelstorfer T., E. Gubler M, Stangl J., Chrastina D., Isella G., Paul D..  2014.  (Invited) The Thermoelectric Properties of Ge/SiGe Based Superlattices: from Materials to Energy Harvesting Modules. ECS Transactions. 64(6):929-937.
  • Google Scholar
  • BibTeX

Shared documents

Find here the repository of both the Focused Reports and the Technical presentations from the ICT-Energy Community:

  • Focused Reports
  • ​Science Conference 2016
  • NiPS Summer School 2016
  • Summary Report of the Consultation Workshop

Be social

Follow @ICTEnergy_EU

 ICT-Energy group

Latest tweets

Tweets by ICTEnergy_EU

ICT-ENERGY Letters

Subscribe to the ICT-ENERGY newsletter to be informed on our latest news!

Previous issues

Subscribe to NANOENERGY Newsletter feed

ICT-Energy - Co-ordinating Research Efforts of the ICT-Energy Community (Project number 611004)