Tomasz Klimek
West Pomeranian University of Technology(PL)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Formal Methods in Verification, Logic, programming, and type systems, Algorithms and Data Compression, Software Reliability and Analysis Research
Most-Cited Works
- → Free scheduling for statement instances of parameterized arbitrarily nested affine loops(2012)19 cited
- → Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation(2009)15 cited
- → Using basis dependence distance vectors in the modified Floyd–Warshall algorithm(2014)15 cited
- → An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations(2010)12 cited
- → TRACO: An Automatic Loop Nest Parallelizer for Numerical Applications(2015)10 cited
- Posterior interosseous nerve neuropathy in distal radius fracture.(2006)
- → Implementation of cellular automata framework dedicated to digital material representation(2009)6 cited
- → Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm(2013)5 cited
- → AN ITERATIVE ALGORITHM OF COMPUTING THE TRANSITIVE CLOSURE OF A UNION OF PARAMETRIZED AFFINE INTEGER TUPLE RELATIONS(2012)4 cited
- → Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops(2013)4 cited