Michael Soltys, profile picture

Michael Soltys

Sort by
Forced repetitions over alphabet lists
Mechatronics Engineering
A formal framework for Stringology
Intro to Cryptography
Algorithms on Strings
Fair ranking in competitive bidding procurement: a case analysis
How Safe is your Data?
An algorithmic view of Computer Science
Feasible Combinatorial Matrix Theory - MFCS2013
Circuit Complexity of Shuffle - IWOCA 2013
Feasible Combinatorial Matrix Theory - LICS2013 presentation
Unambiguous functions in logarithmic space - CiE 2009
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
Games on Posets - CiE 2008
The proof theoretic strength of the Steinitz exchange theorem - EACA 2006