Krzysztof Jakubczyk

According to our database, Krzysztof Jakubczyk authored at least 4 papers between 2006 and 2011.

Collaborative distances:

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

2011

Sweeping in Abstract Interpretation.

Krzysztof Jakubczyk

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

2010

Relational Abstract Domain of Weighted Hexagons.

Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Practically Applicable Formal Methods.

Jedrzej Fulara, Krzysztof Jakubczyk

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

2006

Propagation of JML non-null annotations in Java programs.

Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006