Author of the publication

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

EduPar Virtual Poster Session., , , , , , , and . IPDPS Workshops, page 336-341. IEEE, (2021)Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 118-135. (2016)P-Bus: Programming Interface Layer for Safe OS Kernel Extensions., , , , and . PRDC, page 235-236. IEEE Computer Society, (2010)Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms., , and . PRDC, page 37-46. IEEE Computer Society, (2010)Time Series Image Data Analysis for Sport Skill., , and . WCSC, volume 312 of Studies in Fuzziness and Soft Computing, page 181-190. Springer, (2013)Developing a high-performance quantum chemistry program with a dynamic scripting language., , and . SE-HPCCSE@SC, page 9-15. ACM, (2015)Software architecture for flexible and extensible image decoding., , and . Signal Process. Image Commun., 10 (1-3): 235-248 (1997)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., and . J. Inf. Process., (2017)PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties., , , and . J. Chem. Inf. Model., 60 (12): 5891-5899 (2020)Automatic Depiction of Spatial Descriptions., , and . AAAI, page 1405-1410. AAAI Press / The MIT Press, (1994)0-262-61102-3.