Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is I  [Clear All Filters]
Conference Proceedings
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Journal Article
Morse J..  2016.  On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).
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.