Publications

Export 74 results:
[ Author(Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Moschitta A, Neri I.  2014.  Power consumption assessment in wireless sensor networks. ICT-Energy-Concepts Towards Zero-Power Information and Communication Technology.
Morse J..  2016.  On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).
Meng X..  2016.  A novel absorptive/reflective solar concentrator for heat and electricity generation: An optical and thermal analysis. Energy Conversion Systems. 114
Madami M, Chiuchiù D, Carlotti G, Gammaitoni L.  2015.  Fundamental energy limits in the physics of nanomagnetic binary switches. Nano Energy. 15:313–320.
L
Lopez-Suarez M., Neri I..  2016.  Micro-electromechanical memory bit based on magnetic repulsion. Applied Physics Letters. 109(13)
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
Lopez-Suarez M., Neri I., Rurali R..  2016.  Band gap engineering of MoS2 upon compression. Journal of Applied Physics. 119
López-Suárez M, Abadal G, Gammaitoni L, Rurali R.  2015.  Noise energy harvesting in buckled \{BN\} nanoribbons from molecular dynamics. Nano Energy. 15:329-334.
Lopez-Suarez M., Neri I., Gammaitoni L..  2015.  Operating micromechanical logic gates below kT: Physical vs logical reversibility. Energy Efficient Electronic Systems (E3S). 4
Lo C.C, Urdampilleta M., Ross P., Gonzalez-Zalba M.F, Mansir J., Lyon S.A, Thewalt M.LW, Morton J.JL.  2015.  Hybrid optical–electrical detection of donor electron spins with bound excitons in ​silicon. Nature Materials. (14)
L. Llin F.  2016.  The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)
L. Llin F.  2016.  Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
Li X., Gallagher J.P..  2016.  Fine-Grained Energy Modeling for the Source Code of a Mobile Application. International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
Li W..  2015.  Multiphysics Simulations of a Thermoelectric Generator. Energy Procedia. 75
Li X., Gallagher J.P..  2016.  A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.
Li W..  2015.  Coupled Simulation of Performance of a Crossed Compound Parabolic Concentrator with Solar Cell. Energy Procedia. 75
Lavieville R, Triozon F, Barraud S, Corna A, Jehl X, Sanquer M, Li J, Abisset A, Duchemin I, Niquet Y-M.  2015.  Quantum Dot Made in Metal Oxide Silicon-Nanowire Field Effect Transistor Working at Room Temperature.. Nano Letters. 15:2958-2964.
Larsen K.G, Potapov I., Srba J..  2016.  Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
Larsen K.G, Mikucionis M., Muñiz M., Srba J., Taankvist J.H.  2016.  Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
K
Klymenko M.V, Remacle F..  2014.  Quantum dot ternary-valued full-adder: Logic synthesis by a multiobjective design optimization based on a genetic algorithm. Journal of Applied Physics. 116
Klymenko MV, Remacle F.  2014.  Electronic states and wavefunctions of diatomic donor molecular ions in silicon: multi-valley envelope function theory. Journal of Physics: Condensed Matter. 26:065302.
Kim JHyun, Legay A, Traonouez L-M, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J-Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems..  SIGBED Review . 13:41-48.
Kim J.H, Legay A., Traonouez L., Boudjadar A., Nyman U., Larsen K.G, Lee I., Cho J.Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
Kim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B..  2015.  Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.

Pages