Jedrzej Fulara

According to our database, Jedrzej Fulara authored at least 4 papers between 2006 and 2012.

Collaborative distances:

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

2012

Generic Abstraction of Dictionaries and Arrays.

Jedrzej Fulara

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

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