Publications
Export 42 results:
Author [ Title
] Type Year Filters: First Letter Of Last Name is L [Clear All Filters]
.
2016. The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)
.
2016. Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
.
2016. Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
.
2016. Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
.
2016. A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.
.
2015. Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
.
2015. Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
.
2015. A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.
.
2016. Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
.
2015. Quantum Dot Made in Metal Oxide Silicon-Nanowire Field Effect Transistor Working at Room Temperature.. Nano Letters. 15:2958-2964.
.
2015. Quantum Dot Made in Metal Oxide Silicon-Nanowire Field Effect Transistor Working at Room Temperature.. Nano Letters. 15:2958-2964.
.
2015. Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.
.
2015. Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.
.
2014. Prospects for SiGe thermoelectric generators. Solid-State Electronics. 98:70-74.
.
2016. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
.
2016. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED Review . 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED Review . 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED Review . 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2015. Operating micromechanical logic gates below kT: Physical vs logical reversibility. Energy Efficient Electronic Systems (E3S). 4
.
2016. Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
.
2015. Noise energy harvesting in buckled \{BN\} nanoribbons from molecular dynamics. Nano Energy. 15:329-334.

