An algorithmic view of Computer Science
Unshuffling a square is NP-hard
How Safe is your Data?
Fair ranking in competitive bidding procurement: a case analysis
Feasible proofs of matrix identities with csanky's algorithm - CSL 2005
Circuit Complexity of Shuffle - IWOCA 2013
Feasible Combinatorial Matrix Theory - MFCS2013
Feasible Combinatorial Matrix Theory - LICS2013 presentation
Algorithms on Strings
The proof theoretic strength of the Steinitz exchange theorem
Matrix identities and the pigeonhole principle
An Introduction to the Analysis of Algorithms
A formal framework for Stringology
Intro to Cryptography
Forced repetitions over alphabet lists
Mechatronics Engineering