Prati
Michael Soltys
Michael Soltys
Potvrđena adresa e-pošte na csuci.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
The proof complexity of linear algebra
M Soltys, S Cook
Annals of Pure and Applied Logic 130 (1-3), 277-323, 2004
642004
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
572016
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
482017
Unshuffling a square is NP-hard
S Buss, M Soltys
Journal of Computer and System Sciences 80 (4), 766-776, 2014
412014
Boolean programs and quantified propositional proof systems
S Cook, M Soltys
Bulletin of the Section of Logic 28 (3), 119-129, 1999
351999
The complexity of derivations of matrix identities
M Soltys-Kulinicz
University of Toronto, 2001
292001
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
242019
Malware persistence mechanisms
Z Gittins, M Soltys
Procedia Computer Science 176, 88-97, 2020
192020
On the complexity of computing winning strategies for finite poset games
M Soltys, C Wilson
Theory of Computing Systems 48 (3), 680-692, 2011
192011
SEAKER: A mobile digital forensics triage device
E Gentry, M Soltys
Procedia computer science 159, 1652-1661, 2019
182019
Introduction To The Analysis Of Algorithms, An
M Soltys-Kulinicz
World Scientific, 2018
182018
Deploying health campaign strategies to defend against social engineering threats
N Abe, M Soltys
Procedia Computer Science 159, 824-831, 2019
142019
Berkowitz's algorithm and clow sequences
M Soltys
arXiv preprint math/0201315, 2002
142002
Cloudifying the Curriculum with AWS
M Soltys
2021 IEEE Frontiers in Education Conference (FIE), 1-7, 2021
112021
Constructing an indeterminate string from its associated graph
J Helling, PJ Ryan, WF Smyth, M Soltys
Theoretical Computer Science 710, 88-96, 2018
102018
Cybersecurity in the AWS Cloud
M Soltys
arXiv preprint arXiv:2003.12905, 2020
92020
Weak theories of linear algebra
N Thapen, M Soltys
Archive for Mathematical Logic 44, 195-208, 2005
92005
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
82020
An introduction to computational complexity
M Soltys
Wydawnictwo Uniwersytetu JagielloĹ „skiego, 2009
82009
Feasible proofs of matrix properties with Csanky’s algorithm
M Soltys
International Workshop on Computer Science Logic, 493-508, 2005
82005
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20