The proof complexity of linear algebra M Soltys, S Cook Annals of Pure and Applied Logic 130 (1-3), 277-323, 2004 | 64 | 2004 |
Important Facts and Observations about Pairwise Comparisons (the special issue edition) WW Koczkodaj, L Mikhailov, G Redlarski, M Soltys, J Szybowski, ... Fundamenta Informaticae 144 (3-4), 291-307, 2016 | 56 | 2016 |
On normalization of inconsistency indicators in pairwise comparisons WW Koczkodaj, JP Magnot, J Mazurek, JF Peters, H Rakhshani, M Soltys, ... International Journal of Approximate Reasoning 86, 73-79, 2017 | 47 | 2017 |
Unshuffling a square is NP-hard S Buss, M Soltys Journal of Computer and System Sciences 80 (4), 766-776, 2014 | 41 | 2014 |
Boolean programs and quantified propositional proof systems S Cook, M Soltys Bulletin of the Section of Logic 28 (3), 119-129, 1999 | 35 | 1999 |
The complexity of derivations of matrix identities M Soltys-Kulinicz University of Toronto, 2001 | 29 | 2001 |
When is the condition of order preservation met? K Kułakowski, J Mazurek, J Ramík, M Soltys European Journal of Operational Research 277 (1), 248-254, 2019 | 24 | 2019 |
Malware persistence mechanisms Z Gittins, M Soltys Procedia Computer Science 176, 88-97, 2020 | 19 | 2020 |
On the complexity of computing winning strategies for finite poset games M Soltys, C Wilson Theory of Computing Systems 48 (3), 680-692, 2011 | 19 | 2011 |
SEAKER: A mobile digital forensics triage device E Gentry, M Soltys Procedia computer science 159, 1652-1661, 2019 | 18 | 2019 |
Introduction To The Analysis Of Algorithms, An M Soltys-Kulinicz World Scientific, 2018 | 18 | 2018 |
Berkowitz's algorithm and clow sequences M Soltys arXiv preprint math/0201315, 2002 | 14 | 2002 |
Deploying health campaign strategies to defend against social engineering threats N Abe, M Soltys Procedia Computer Science 159, 824-831, 2019 | 13 | 2019 |
Cloudifying the Curriculum with AWS M Soltys 2021 IEEE Frontiers in Education Conference (FIE), 1-7, 2021 | 11 | 2021 |
Constructing an indeterminate string from its associated graph J Helling, PJ Ryan, WF Smyth, M Soltys Theoretical Computer Science 710, 88-96, 2018 | 10 | 2018 |
Cybersecurity in the AWS Cloud M Soltys arXiv preprint arXiv:2003.12905, 2020 | 9 | 2020 |
Weak theories of linear algebra N Thapen, M Soltys Archive for Mathematical Logic 44, 195-208, 2005 | 9 | 2005 |
SEAKER: A tool for fast digital forensic triage E Gentry, R McIntyre, M Soltys, F Lyu Advances in Information and Communication: Proceedings of the 2019 Future of …, 2020 | 8 | 2020 |
An introduction to computational complexity M Soltys Wydawnictwo Uniwersytetu JagielloĹ „skiego, 2009 | 8 | 2009 |
Feasible proofs of matrix properties with Csanky’s algorithm M Soltys International Workshop on Computer Science Logic, 493-508, 2005 | 8 | 2005 |