Publications
Export 42 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is L [Clear All Filters]
.
2016. Band gap engineering of MoS2 upon compression. Journal of Applied Physics. 119
.
2016. Efficient Nonlinear Energy Harvesting with Wrinkled Piezoelectric Membranes. Energy Harvesting and Systems. 3(2)
.
2016. Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016. :163-168.
.
2016. Fine-Grained Energy Modeling for the Source Code of a Mobile Application. International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
.
2016. Heat production and error probability relation in Landauer reset at effective temperature. Scientific Reports. 6
.
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. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
.
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. 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 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. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
.
2016. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
.
2016. Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
.
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. The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)
.
2015. Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
.
2015. Coupled Simulation of Performance of a Crossed Compound Parabolic Concentrator with Solar Cell. Energy Procedia. 75

