Propagation of JML non-null annotations in Java programs. - Maciej Cielecki; Jedrzej Fulara; Krzysztof Jakubczyk; Lukasz Jancewicz (PPPJ, 2006)

Practically Applicable Formal Methods. - Jedrzej Fulara; Krzysztof Jakubczyk (SOFSEM, 2010)

Relational Abstract Domain of Weighted Hexagons. - Jedrzej Fulara; Konrad Durnoga; Krzysztof Jakubczyk; Aleksy Schubert (NSAD@SAS, 2010)

Sweeping in Abstract Interpretation. - Krzysztof Jakubczyk (NSAD@SAS, 2011)