Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation. - Wlodzimierz Bielecki; Tomasz Klimek; Konrad Trifunovic (Electron. Notes Discret. Math., 2009)

An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations. - Wlodzimierz Bielecki; Tomasz Klimek; Marek Palkowski; Anna Beletska (COCOA (1), 2010)

An Iterative Algorithm of Computing the Transitive Closure of a Union of Parametrized Affine Integer Tuple Relations. - Wlodzimierz Bielecki; Tomasz Klimek; Marek Palkowski; Anna Beletska (Discret. Math. Algorithms Appl., 2012)

Free scheduling for statement instances of parameterized arbitrarily nested affine loops. - Wlodzimierz Bielecki; Marek Palkowski; Tomasz Klimek (Parallel Comput., 2012)

Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm. - Wlodzimierz Bielecki; Krzysztof Kraska; Tomasz Klimek (COCOA, 2013)

Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops. - Wlodzimierz Bielecki; Krzysztof Kraska; Tomasz Klimek (PaCT, 2013)

TRACO: An automatic loop nest parallelizer for numerical applications. - Marek Palkowski; Tomasz Klimek; Wlodzimierz Bielecki (FedCSIS, 2015)

Free Scheduling of Tiles Based on the Transitive Closure of Dependence Graphs. - Wlodzimierz Bielecki; Marek Palkowski; Tomasz Klimek (PPAM (2), 2015)

Using basis dependence distance vectors in the modified Floyd-Warshall algorithm. - Wlodzimierz Bielecki; Krzysztof Kraska; Tomasz Klimek (J. Comb. Optim., 2015)

Synchronization-Free Automatic Parallelization for Arbitrarily Nested Affine Loops. - Tomasz Klimek; Marek Palkowski; Wlodzimierz Bielecki (SBAC-PAD (Workshops), 2016)