Publications

Export 3 results:
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).
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
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.