Half adder capabilities of a couple quantum dot device . Nanotechnology. 27(21). 2016.
Heat production and error probability relation in Landauer reset at effective temperature. Scientific Reports. 6. 2016.
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46. 2016.
On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).. 2016.
Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.. 2016.
Low-Power Wearable System for Real-Time Screening of Obstructive Sleep Apnea. IEEE Computer Society Annual Symposium on VLSI 2016 (ISVLSI 2016). 1:230-235.. 2016.
Micro-electromechanical memory bit based on magnetic repulsion. Applied Physics Letters. 109(13). 2016.
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.. 2016.
Nano-and Micro-fabrication Techniques for Improving Thermoelectric Materials and Generators. Thermoelectric Materials and Devices. 17. 2016.
A novel absorptive/reflective solar concentrator for heat and electricity generation: An optical and thermal analysis. Energy Conversion Systems. 114. 2016.
Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.. 2016.
Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.. 2016.
Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED Review . 13:41-48.. 2016.
PHIDIAS: Ultra-Low-Power Holistic Design for Smart Bio-signals Computing Platforms. ACM Computer Frontiers (CF'16). 1:309-314.. 2016.
On the Power of Statistical Model Checking. ISoLA 2016. :843-862.. 2016.
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 28th International Conference Computer Aided Verification - CAV 2016. :261-268.. 2016.
Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.. 2016.
Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.. 2016.
A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.. 2016.
Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.. 2016.
Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7. 2016.
Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602. 2016.
Ultra-Low Power Estimation of Heart Rate Under Physical Activity Using a Wearable Photoplethysmographic System. 19th IEEE/Euromicro Conference On Digital System Design (DSD 2016). 1:553-560.. 2016.
The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8). 2016.