publications

2026

1. PS

   Herb.jl: A Unifying Program Synthesis Library

   Tilman Hinnerichs, Reuben Gardos Reid, Jaap Jong, and 6 more authors

   arXiv preprint arXiv:2510.09726, 2026

   Bib

   @article{hinnerichs2026herb,
     title = {Herb.jl: A Unifying Program Synthesis Library},
     author = {Hinnerichs, Tilman and Reid, Reuben Gardos and de Jong, Jaap and Swinkels, Bart and Wochner, Pamela and Filat, Nicolae and Magurescu, Tudor and Hanou, Issa and Dumancic, Sebastijan},
     journal = {arXiv preprint arXiv:2510.09726},
     year = {2026}
   }

2025

1. NeSy

   Declarative Design of Neural Predicates in Neuro-Symbolic Systems

   Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra, and 1 more author

   2025
2. PS/CP

   Modelling Program Spaces in Program Synthesis with Constraints

   Tilman Hinnerichs, Bart Swinkels, Jaap Jong, and 4 more authors

   arXiv preprint arXiv:2508.00005, 2025

   Bib

   @article{hinnerichs2025modelling,
     title = {Modelling Program Spaces in Program Synthesis with Constraints},
     author = {Hinnerichs, Tilman and Swinkels, Bart and de Jong, Jaap and Reid, Reuben Gardos and Magirescu, Tudor and Yorke-Smith, Neil and Dumancic, Sebastijan},
     journal = {arXiv preprint arXiv:2508.00005},
     year = {2025}
   }

2024

1. NeSy

   FALCON: Scalable Reasoning over Inconsistent ALC Ontologies

   Tilman Hinnerichs, Zhenwei Tang, Xi Peng, and 2 more authors

   2024

2022

1. NeuroInf

   Finding gene expression patterns and their link to connectivities in mouse brains by exploiting interaction networks

   Tilman Hinnerichs, and Nico Scherf

   TU Dresden & MPI for Brain Sciences, 2022

   Bib

   @phdthesis{hinnerichs2022finding,
     title = {Finding gene expression patterns and their link to connectivities in mouse brains by exploiting interaction networks},
     author = {Hinnerichs, Tilman and Scherf, Nico},
     year = {2022},
     journal = {Master thesis},
     school = {TU Dresden \& MPI for Brain Sciences}
   }

2021

1. BioInf

   DTI-Voodoo: machine learning over interaction networks and ontology-based background knowledge predicts drug–target interactions

   Tilman Hinnerichs, and Robert Hoehndorf

   Bioinformatics, 2021

   Bib

   @article{hinnerichs2021dti,
     title = {DTI-Voodoo: machine learning over interaction networks and ontology-based background knowledge predicts drug--target interactions},
     author = {Hinnerichs, Tilman and Hoehndorf, Robert},
     journal = {Bioinformatics},
     year = {2021},
     publisher = {Oxford University Press}
   }