Krzysztof Jakubczyk

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Abstract Interpretation

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Krzysztof Jakubczyk
Sweeping in Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 288 (2012)
Jedrzej Fulara, Krzysztof Jakubczyk
Practically Applicable Formal Methods. SOFSEM (2010)
Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert
Relational Abstract Domain of Weighted Hexagons. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz
Propagation of JML non-null annotations in Java programs. PPPJ (2006)