Lukas Pradel

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

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.
CoRR, February, 2026

2017
Codeless Engineering of Service Mashups - An Experience Report.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Quantifying the ramp-up problem in software projects.
Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering, 2016


  Loading...