Chemical entity recognition in patents by combining dictionary-based and statistical approaches. - Saber A. Akhondi; Ewoud Pons; Zubair Afzal; Herman van Haagen; Benedikt F. H. Becker; Kristina M. Hettne; Erik M. van Mulligen; Jan A. Kors (Database J. Biol. Databases Curation, 2016)

Extraction of chemical-induced diseases using prior knowledge and textual information. - Ewoud Pons; Benedikt F. H. Becker; Saber A. Akhondi; Zubair Afzal; Erik M. van Mulligen; Jan A. Kors (Database J. Biol. Databases Curation, 2016)

Ghost Code in Action: Automated Verification of a Symbolic Interpreter. - Benedikt F. H. Becker; Claude Marché (VSTTE, 2019)

Analysing installation scenarios of Debian packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (TACAS (2), 2020)

Explaining Counterexamples with Giant-Step Assertion Checking. - Benedikt F. H. Becker; Cláudio Belo Lourenço; Claude Marché (F-IDE@NFM, 2021)

The CoLiS platform for the analysis of maintainer scripts in Debian software packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (Int. J. Softw. Tools Technol. Transf., 2022)