Igor Engel

According to our database, Igor Engel authored at least 4 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Can LLMs Enable Verification in Mainstream Programming?

Aleksandr Shefer, Igor Engel, Stanislav Alekseev, Daniil Berezun, Ekaterina Verbitskaia, Anton Podkopaev

CoRR, March, 2025

2024

A Case Study in Functional Conversion and Mode Inference in miniKanren.

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

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

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