Author of the publication

Gauss: A Framework for Verifying Scientific Computing Software.

, , , , and . SoftMC@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 95-106. Elsevier, (2005)

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

A 4.3 GB/s Mobile Memory Interface With Power-Efficient Bandwidth Scaling., , , , , , , , , and 2 other author(s). IEEE J. Solid State Circuits, 45 (4): 889-898 (2010)Sound Transaction-Based Reduction Without Cycle Detection., , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 106-122. Springer, (2005)Deep Blues. Viking Press, New York, (1981)Silicon-organic hybrid (SOH) integration for low-power and high-speed signal generation., , , , , , , , , and 12 other author(s). ICTON, page 1-2. IEEE, (2015)Terabit/s optical transmission using chip-scale frequency comb sources., , , , , , , , , and 4 other author(s). ECOC, page 1-3. IEEE, (2014)'NEURAL-MAINE': intelligent on-line multiple sensor diagnostics for steam turbines in power generation., , , , , , , and . ICNN, page 686-691. IEEE, (1995)Organizing and managing personal electronic files: A mechanical engineer's perspective., , , and . ACM Trans. Inf. Syst., 26 (4): 23:1-23:40 (2008)Silicon-organic hybrid (SOH) and plasmonic-organic hybrid (POH) integration., , , , , , , , , and 11 other author(s). OFC, page 1-3. IEEE, (2015)Silicon-organic hybrid (SOH) modulator generating up to 84 Gbit/s BPSK and M-ASK signals., , , , , , , , , and 5 other author(s). OFC/NFOEC, page 1-3. IEEE, (2013)First monolithic GaAs IQ electro-optic modulator, demonstrated at 150 Gbit/s with 64-QAM., , , , , , , , , and 8 other author(s). OFC/NFOEC, page 1-3. IEEE, (2013)