The Integrated Data Repository Toolkit (IDRT): accelerating translational research infrastructures. - Christian R. Bauer; Thomas Ganslandt; Benjamin Baum; Jan Christoph; Igor Engel; Matthias Löbe; Sebastian Mate; Hans-Ulrich Prokosch; Ulrich Sax; Sebastian Stäubert; Alfred Winter (J. Clin. Bioinform., 2015)

A scoping review of cloud computing in healthcare. - Lena Griebel; Hans-Ulrich Prokosch; Felix Köpcke; Dennis Toddenroth; Jan Christoph; Ines Leb; Igor Engel; Martin Sedlmayr (BMC Medical Informatics Decis. Mak., 2015)

A Case Study in Functional Conversion and Mode Inference in miniKanren. - Ekaterina Verbitskaia; Igor Engel; Daniil Berezun (PEPM, 2024)

Can LLMs Enable Verification in Mainstream Programming? - Aleksandr Shefer; Igor Engel; Stanislav Alekseev; Daniil Berezun; Ekaterina Verbitskaia; Anton Podkopaev (CoRR, 2025)