Author of the publication

Finding what's not there: a new approach to revealing neglected conditions in software.

, , and . ISSTA, page 163-173. ACM, (2007)

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

ARCS-Motif: discovering correlated motifs from unaligned biological sequences., , and . Bioinform., 25 (2): 183-189 (2009)Projected Model Counting: Beyond Independent Support., , and . CoRR, (2021)BOTT: Box Only Transformer Tracker for 3D Object Tracking., , , and . CoRR, (2023)PathFinder: mining signal transduction pathway segments from protein-protein interaction networks., and . BMC Bioinform., (2007)Mining long sequential patterns in a noisy environment., , , and . SIGMOD Conference, page 406-417. ACM, (2002)Efficient Filtering of Large DatasetA User-Centric Paradigm., , , , and . SDM, page 112-127. SIAM, (2002)Explaining SAT Solving Using Causal Reasoning., , , , and . SAT, volume 271 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)DESSIN: Mining Dense Subgraph Patterns in a Single Graph., , and . SSDBM, volume 6187 of Lecture Notes in Computer Science, page 178-195. Springer, (2010)GADDI: distance index based subgraph matching in biological networks., , and . EDBT, volume 360 of ACM International Conference Proceeding Series, page 192-203. ACM, (2009)Towards Automatic Clustering of Protein Sequences., and . CSB, page 175-186. IEEE Computer Society, (2002)