Publications

Export 31 results:
Author [ Title(Asc)] 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 
T
Gammaitoni L, Chiuchiú D., Madami M, Carlotti G.  2015.  Towards zero-power ICT. Nanotechnology. 26:222001.
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.
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.
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.
S
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
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.
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.
R
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.
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.
P
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.
Gonzalez-Zalba M.F, Barraud S., Ferguson A.J, Betz A.C.  2015.  Probing the limits of gate-based charge sensing. Nature Communications. (6)
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
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.
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.
L
Orfei F, Gammaitoni L.  2015.  Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
I
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.
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
H
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)
Kafle B., Gallagher J.P..  2016.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
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.
Neri I., Lopez-Suarez M., Gammaitoni L..  2016.  Heat production and error probability relation in Landauer reset at effective temperature. Scientific Reports. 6
Pfeffer P., Neri I., Gammaitoni L., al. et.  2016.  Half adder capabilities of a couple quantum dot device . Nanotechnology. 27(21)
F
Vocca H, Gammaitoni L.  2015.  Fundamentals of Mechanics and Dynamics. Micro Energy Harvesting. :7–26.

Pages