Concepedia

Iwo Błądek

IB

4

Publications

80

Citations

4

H-Index

2015

Active since

Affiliations

Poznań University of Technology(Current)

University of York

Iwo Błądek is an author at Poznań University of Technology specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningVerificationProgram AnalysisSoftware TestingSoftware AnalysisGenetic AlgorithmsFormal Verification

Publications per year

2015–2019

4

Publications

4

Solving symbolic regression problems with formal constraints

Iwo Błądek, Krzysztof Krawiec · Proceedings of the Genetic and Evolutionary Computation Conference · 2019 · 26 citations

Mathematical Programming, Engineering, Machine Learning +19

On contiguous and non-contiguous parallel task scheduling

Iwo Błądek, Maciej Drozdowski, Frédéric Guinand et al. · Journal of Scheduling · 2015 · 23 citations · Full text

Cluster Computing, Engineering, Computer Architecture +17

Counterexample-driven genetic programming

Krzysztof Krawiec, Iwo Błądek, Jerry Swan · Proceedings of the Genetic and Evolutionary Computation Conference · 2017 · 21 citations

Engineering, Genetics, Verification +21

Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications

Iwo Błądek, Krzysztof Krawiec, Jerry Swan · Evolutionary Computation · 2018 · 10 citations

Engineering, Verification, Software Engineering +19

Rows per page

1–4 of 4