Author of the publication

Enhanced Stability of Rubrene against Oxidation by Partial and Complete Fluorination

, , , , , , , , and . The journal of physical chemistry. C, Nanomaterials and interfaces, 120 (10): 5515-5522 (2016)
DOI: 10.1021/acs.jpcc.5b12293

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Thermal effects on the I-V characteristics of filamentary VCM based ReRAM-cells using a nanometer-sized heater., , , , , , , and . NVMTS, page 1-5. IEEE, (2017)Enhanced Stability of Rubrene against Oxidation by Partial and Complete Fluorination, , , , , , , , and . The journal of physical chemistry. C, Nanomaterials and interfaces, 120 (10): 5515-5522 (2016)Open source verification in an anonymous volunteer network., and . Sci. Comput. Program., (2014)A Formal Model for the Block Device Subsystem of the Linux Kernel.. ICFEM, volume 2885 of Lecture Notes in Computer Science, page 599-619. Springer, (2003)Symbolic approximation: an approach to verification in the large., and . ISSE, 2 (3-4): 147-163 (2006)Proof theory and a validation condition generator for VHDL., , and . EURO-DAC, page 512-517. IEEE Computer Society, (1994)Raiding the Noosphere: the open development of networked RAID support for the Linux kernel., and . Softw., Pract. Exper., 36 (4): 365-395 (2006)A software maintenance management model based on queueing networks., and . Journal of Software Maintenance, 6 (2): 73-97 (1994)Creating specifications from code: Reverse-engineering techniques., and . Journal of Software Maintenance, 3 (3): 145-162 (1991)Safe and Chaotic Compilation for Hidden Deterministic Hardware Aliasing.. CoRR, (2019)