Publications

Export 31 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
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 
C
Urdampilleta M, Chatterjee A, Lo CChi, Kobayashi T, Mansir J, Barraud S, Betz AC, Rogge S, M. Gonzalez-Zalba F, Morton JJL.  2015.  Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
D
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.
E
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.
F
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.
Madami M, Chiuchiù D, Carlotti G, Gammaitoni L.  2015.  Fundamental energy limits in the physics of nanomagnetic binary switches. Nano Energy. 15:313–320.
Vocca H, Gammaitoni L.  2015.  Fundamentals of Mechanics and Dynamics. Micro Energy Harvesting. :7–26.
H
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
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.
Kafle B., Gallagher J.P..  2016.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
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)
I
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Samarelli A., L. Llin F, Cecchi S., Frigerio J., Etzelstorfer T., E. Gubler M, Stangl J., Chrastina D., Isella G., Paul D..  2014.  (Invited) The Thermoelectric Properties of Ge/SiGe Based Superlattices: from Materials to Energy Harvesting Modules. ECS Transactions. 64(6):929-937.
L
Orfei F, Gammaitoni L.  2015.  Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
M
Samarelli A., L. Llin F, Cecchi S., Chrastina D., Isella G., Etzelstorfer T., Stangl J., E. Gubler M, Weaver J.MR, Dobson P. et al..  2014.  Multilayered Ge/SiGe Material in Microfabricated Thermoelectric Modules. Journal of Electronic Materials. 43(10):3838-3843.
N
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.
O
Lopez-Suarez M., Neri I., Gammaitoni L..  2015.  Operating micromechanical logic gates below kT: Physical vs logical reversibility. Energy Efficient Electronic Systems (E3S). 4
P
Gonzalez-Zalba M.F, Barraud S., Ferguson A.J, Betz A.C.  2015.  Probing the limits of gate-based charge sensing. Nature Communications. (6)
Samarelli A., L. Llin F, Cecchi S., Frigerio J., Chrastina D., Isella G., E. Gubler üller, Etzelstorfer T., Stangl J., Zhang Y. et al..  2014.  Prospects for SiGe thermoelectric generators. Solid-State Electronics. 98:70-74.
R
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.
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.
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.
S
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., Ganty P..  2016.  Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.

Pages