Benedikt F. H. Becker

Orcid: 0000-0002-0819-8344

According to our database1, Benedikt F. H. Becker authored at least 6 papers between 2016 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
The CoLiS platform for the analysis of maintainer scripts in Debian software packages.
Int. J. Softw. Tools Technol. Transf., 2022

2021
Explaining Counterexamples with Giant-Step Assertion Checking.
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

2020
Analysing installation scenarios of Debian packages.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Ghost Code in Action: Automated Verification of a Symbolic Interpreter.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2016
Extraction of chemical-induced diseases using prior knowledge and textual information.
Database J. Biol. Databases Curation, 2016

Chemical entity recognition in patents by combining dictionary-based and statistical approaches.
Database J. Biol. Databases Curation, 2016


  Loading...