Publications

Export 31 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
Conference Proceedings
Georgiou K..  2016.  Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.
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.
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Orfei F, Gammaitoni L.  2015.  Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
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.
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.
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.
Journal Article
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.
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.
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.
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.
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)
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.
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.
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
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.
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.

Pages