Publications

Export 74 results:
Author Title Type [ Year(Asc)]
2016
Azough F..  2016.  Ba6− 3x Nd8+ 2x Ti18O54 Tungsten Bronze: A New High-Temperature n-Type Oxide Thermoelectric. J. Elec. Mat.. 54(3)
Lopez-Suarez M., Neri I., Rurali R..  2016.  Band gap engineering of MoS2 upon compression. Journal of Applied Physics. 119
Neri I., Lopez-Suarez M..  2016.  Efficient Nonlinear Energy Harvesting with Wrinkled Piezoelectric Membranes. Energy Harvesting and Systems. 3(2)
Georgiou K..  2016.  Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.
Wognsen ERamsgaard, Hansen R.R, Larsen K.G, Koch P..  2016.  Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016. :163-168.
Wlotzka M., Heuveline V..  2016.  Energy-efficient multlgrid smoothers and grid transfer operators on multi-core and GPU clusters. Journal of Parallel and Distributed Computing, .
Han G..  2016.  Facile Surfactant‐Free Synthesis of p‐type SnSe Nanoplates with Exceptional Thermoelectric Power Factors. Angewandte Chemie. 128
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.
Pfeffer P., Neri I., Gammaitoni L., al. et.  2016.  Half adder capabilities of a couple quantum dot device . Nanotechnology. 27(21)
Neri I., Lopez-Suarez M., Gammaitoni L..  2016.  Heat production and error probability relation in Landauer reset at effective temperature. Scientific Reports. 6
Kafle B., Gallagher J.P..  2016.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
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.
Surrel G..  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.
Lopez-Suarez M., Neri I..  2016.  Micro-electromechanical memory bit based on magnetic repulsion. Applied Physics Letters. 109(13)
Chadli M., Kim J.H, Legay A., Traonouez L.M, Naujokat S., Steffen B., Larsen K.G.  2016.  A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
Paul D.J..  2016.  Nano-and Micro-fabrication Techniques for Improving Thermoelectric Materials and Generators. Thermoelectric Materials and Devices. 17
Meng X..  2016.  A novel absorptive/reflective solar concentrator for heat and electricity generation: An optical and thermal analysis. Energy Conversion Systems. 114
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.
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 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.
Bortolotti D..  2016.  PHIDIAS: Ultra-Low-Power Holistic Design for Smart Bio-signals Computing Platforms. ACM Computer Frontiers (CF'16). 1:309-314.
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
Kafle B., Gallagher J.P..  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.
Larsen K.G, Potapov I., Srba J..  2016.  Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.

Pages