Publications

Export 74 results:
Author Title Type [ Year(Desc)]
2016
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.
Kafle B., Gallagher J.P., Ganty P..  2016.  Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
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.
Boudjadar A., David A., Kim J.H, Larsen K.G, Mikucionis M., Nyman U., Skou A..  2016.  Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
L. Llin F.  2016.  Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
De Giovanni E..  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.
L. Llin F.  2016.  The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)

Pages