Author of the publication

Parallel and Distributed Model Checking in Eddy.

, , , , , and . SPIN, volume 3925 of Lecture Notes in Computer Science, page 108-125. Springer, (2006)

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

Sound Transaction-Based Reduction Without Cycle Detection., , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 106-122. Springer, (2005)Silicon-organic hybrid (SOH) integration for low-power and high-speed signal generation., , , , , , , , , and 12 other author(s). ICTON, page 1-2. IEEE, (2015)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)Deep Blues. Viking Press, New York, (1981)'NEURAL-MAINE': intelligent on-line multiple sensor diagnostics for steam turbines in power generation., , , , , , , and . ICNN, page 686-691. IEEE, (1995)Terabit/s optical transmission using chip-scale frequency comb sources., , , , , , , , , and 4 other author(s). ECOC, page 1-3. IEEE, (2014)Femtojoule modulation and frequency comb generation in silicon-organic hybrid (SOH) devices., , , , , , , , , and 7 other author(s). ICTON, page 1-4. IEEE, (2014)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)