T. Klimek

Free scheduling for statement instances of parameterized arbitrarily nested affine loops

Marek Palkowski, Wlodzimierz Bielecki, Tomasz Klimek, 2012, Parallel Comput..

An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations

Anna Beletska, Marek Palkowski, Wlodzimierz Bielecki, 2010, COCOA.

Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm

Wlodzimierz Bielecki, Tomasz Klimek, Krzysztof Kraska, 2013, COCOA.

Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops

Wlodzimierz Bielecki, Tomasz Klimek, Krzysztof Kraska, 2013, PaCT.

Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation

Wlodzimierz Bielecki, Tomasz Klimek, Konrad Trifunovic, 2009, Electron. Notes Discret. Math..

An experimental study on recognizing classes of dependence relations

M. Pietrasik, W. Bielecki, T. Klimek, 2009 .