Author of the publication

SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler.

, and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 181-200. (2016)

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 constraint logic programming approach to 3D structure determination of large protein complexes., , , and . SAC, page 131-136. ACM, (2006)Improved fiber tractography with Bayesian tensor regularization., , , , and . NeuroImage, 31 (3): 1061-1074 (2006)K-normal: An Improved K-means for Dealing with Clusters of Different Sizes., , and . ICIC (3), volume 10363 of Lecture Notes in Computer Science, page 335-344. Springer, (2017)A Weighted Voting Algorithm for Detecting Reliable Common Lines in Single Particle Cryo-EM., , , , and . BIBM, page 98-101. IEEE, (2019)Flexible protein structure alignment by variable-length Aligned Fragment Pairs., and . BIBM, page 1280-1286. IEEE Computer Society, (2015)A Fast and Robust Grid-Based Clustering Method for Dataset with Arbitrary Shapes., , and . FSDM, volume 309 of Frontiers in Artificial Intelligence and Applications, page 636-645. IOS Press, (2018)Improving the Dictionary Construction in Sparse Representation using PCANet for Face Recognition., , , and . ICPRAM, page 517-523. SciTePress, (2019)A Spectral Clustering Algorithm Based on Hierarchical Method., , , , , , and . ADMI, volume 8316 of Lecture Notes in Computer Science, page 111-123. Springer, (2013)CANet: Comprehensive Attention Network for video-based action recognition., , , and . Knowl. Based Syst., (2024)Improve Semantic Correspondence by Filtering the Correlation Scores in both Image Space and Hough Space., and . PRCV (2), volume 13020 of Lecture Notes in Computer Science, page 385-396. Springer, (2021)