Petr Müller

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 2

Top Topics

Protein Families

Clustering Algorithm

Top Venues

Publications

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
Algorithmic Details behind the Predator Shape Analyser. CoRR (2024)
Adam Krejci, Ted R. Hupp, Matej Lexa, Borivoj Vojtesek, Petr Müller
Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets. Bioinform. 32 (1) (2016)
Petr Müller, Petr Peringer, Tomás Vojnar
Predator Hunting Party (Competition Contribution). TACAS (2015)
Matús Marhefka, Petr Müller
Dfuzzer: A D-Bus Service Fuzzing Tool. ICST Workshops (2014)
Petr Müller, Tomás Vojnar
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). TACAS (2014)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS (2013)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). TACAS (2012)