Publications

Export 74 results:
[ Author(Desc)] 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 
A
Azough F..  2016.  Ba6− 3x Nd8+ 2x Ti18O54 Tungsten Bronze: A New High-Temperature n-Type Oxide Thermoelectric. J. Elec. Mat.. 54(3)
B
Betz A.C, Wacquez R., Vinet M., Jehl X., Saraiva A.L, Sanquer M., Ferguson A.J, Gonzalez-Zalba M.F.  2015.  Dispersively Detected Pauli Spin-Blockade in a Silicon Nanowire Field-Effect Transistor. Nano Letters. 15:4622-4627.
Betz A. C., Barraud S., Wilmart Q., B. cais P\c, Jehl X., Sanquer M., Gonzalez-Zalba M. F..  2014.  High-frequency characterization of thermionic charge transport in silicon-on-insulator nanowire transistors. Applied Physics Letters. 104:043106.
Bortolotti D..  2016.  PHIDIAS: Ultra-Low-Power Holistic Design for Smart Bio-signals Computing Platforms. ACM Computer Frontiers (CF'16). 1:309-314.
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.
Boudjadar A., Kim J.H, David A., Larsen K.G, Mikucionis M., Nyman U., Skou A., Lee I., Phan L.TX.  2015.  Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.
Boudjadar A., David A., Kim J.H., Larsen K.G, Mikucionis M., Nyman U., Skou A..  2015.  A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.
C
Cecchi S., Gatti E., Chrastina D., Frigerio J., E. Gubler üller, Paul D.J, Guzzi M., Isella G..  2014.  Thin SiGe virtual substrates for Ge heterostructures integration on silicon. Journal of Applied Physics. 115(9):093502.
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.
Field H, Anderson G, Eder K.  2014.  EACOF. the 29th Annual ACM SymposiumProceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14.
Clapera P., Ray S., Jehl X., Sanquer M., Valentian A., Barraud S..  2015.  Design and Cryogenic Operation of a Hybrid Quantum-CMOS Circuit. Phys. Rev. Applied. 4:044009.
D
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.
G
Gammaitoni L, Chiuchiú D., Madami M, Carlotti G.  2015.  Towards zero-power ICT. Nanotechnology. 26:222001.
Georgiou K..  2016.  Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.
Gonzalez-Zalba M.F, Saraiva A, Calderón MJ, Heiss D, Koiller B, Ferguson AJ.  2014.  An Exchange-Coupled Donor Molecule in Silicon. Nano Letters. 14:5672-5676.
Gonzalez-Zalba M.F, Barraud S., Ferguson A.J, Betz A.C.  2015.  Probing the limits of gate-based charge sensing. Nature Communications. (6)
M. Gonzalez-Zalba F, Ciccarelli C, Zarbo LP, Irvine AC, Campion RC, Gallagher BL, Jungwirth T, Ferguson AJ, Wunderlich J.  2015.  Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors. PLoS ONE. 10:e0125142.
H
Han G..  2016.  Facile Surfactant‐Free Synthesis of p‐type SnSe Nanoplates with Exceptional Thermoelectric Power Factors. Angewandte Chemie. 128
J
Jehl X, Voisin B, Roche B, Dupont-Ferrier E, De Franceschi S, Sanquer M, Cobian M, Niquet Y-M, Sklénard B, Cueto O et al..  2015.  The coupled atom transistor. Journal of Physics: Condensed Matter. 27:154206.
K
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.
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Kafle B., Gallagher J.P..  2016.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
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.
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.

Pages