- Proofs, subproofs and pseudo proofs2016 | Faculty of Mathematics and Physics
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Faculty of Mathematics and Physics
- PROOF COMPLEXITY2019 | Faculty of Mathematics and Physics
- A proof I like2010 | Faculty of Mathematics and Physics
- Twelve problems in proof complexity +12008 | Faculty of Mathematics and Physics
- Different Approaches to Proof Systems2010 | Faculty of Mathematics and Physics
- Proof Systems that Take Advice2011 | Faculty of Mathematics and Physics
- A proof complexity generator2009 | Faculty of Mathematics and Physics
- Burden of Proof2018 | Faculty of Law
- Three proofs of Morley's theorem2016 | Faculty of Mathematics and Physics
- From Feasible Proofs to Feasible Computations2010 | Faculty of Mathematics and Physics
- A simplified proof Moufang's theorem2011 | Faculty of Mathematics and Physics
- A proof of the extended Duval's conjecture +12005 | Faculty of Mathematics and Physics
- The Burden of Proof in the Criminal Proceedings2018 | Faculty of Law
- H-colouring dichotomy in proof complexity2021 | Faculty of Mathematics and Physics
- Peculiarities of Burden of Proof in Employment Lawsuits2018 | Faculty of Law
- Controversial Issues of Expert Proofing2018 | Faculty of Law
- Standard of Proof in Europe2019 | Faculty of Law
- Paths to Proofs of Mathematical Theorems2018 | Faculty of Mathematics and Physics
- Proofs in plane geometry and splitting the line segment2014 | Faculty of Mathematics and Physics
- A simple proof for open cups and caps2007 | Faculty of Mathematics and Physics
- Proof reading, Olexander Klymenko - The Best DaysPublication without faculty affiliation
- Proof reading, Yuriy Andrukhovych - The MoscoviadPublication without faculty affiliation
- Proof Compexity of Propositional Default Logic2010 | Faculty of Mathematics and Physics
- Reversal of the burden of proof in medical disputes2021 | Faculty of Law
- The Division of the Burden of Proof in the Law of Business Corporations2018 | Faculty of Law
- On the proof complexity of the Nisan-Wigderson generator2011 | Faculty of Mathematics and Physics
- Burden of proof in proceedings on administrative offences2015 | Faculty of Law