Lukas Pradel

According to our database, Lukas Pradel authored at least 3 papers between 2016 and 2026.

Collaborative distances:

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

2026

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.

Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel

CoRR, February, 2026

2017

Codeless Engineering of Service Mashups - An Experience Report.

Tobias Brückmann, Volker Gruhn, Wilhelm Koop, Julius Ollesch, Lukas Pradel, Florian Wessling, Marian Benner-Wickner

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Quantifying the ramp-up problem in software projects.

Lukas Pradel

Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering, 2016