| MetaPRL–a modular logical environment J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... Theorem Proving in Higher Order Logics: 16th International Conference …, 2003 | 66 | 2003 |
| Xin Yu. A listing of MetaPRL theories JJ Hickey, B Aydemir, Y Bryukhov, A Kopylov, A Nogin | 17 | 2002 |
| Integration of decision procedures into high-order interactive provers Y Bryukhov City University of New York, 2006 | 11 | 2006 |
| Xin Yu J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... MetaPRL—A modular logical environment. Accepted to the TPHOLs 2003 Conference, 2003 | 10 | 2003 |
| Some cryptoprimitives in noncommutative algebraic crytography G Baumslag, Y Bryukhov, B Fine, G Rosenberger Aspects of infinite groups, 26-44, 2008 | 6 | 2008 |
| Automatic proof search in logic of justified common knowledge Y Bryukhov Proceedings of Methods for Modalities Workshop, 2005 | 5 | 2005 |
| A listing of MetaPRL theories JJ Hickey, B Aydemir, Y Bryukhov, A Kopylov, A Nogin, X Yu URL http://metaprl. org/theories. pdf, 0 | 5 | |
| Challenge response password security using combinatorial group theory G Baumslag, Y Bryukhov, B Fine, D Troeger Walter de Gruyter GmbH & Co. KG 2 (1), 67-81, 2010 | 4 | 2010 |
| Discipline oriented contextual learning software system G Baumslag, B Fine, CF Miller, Y Bryukhov US Patent App. 11/487,154, 2008 | 2 | 2008 |
| Implementing the calculus of inductive constructions in the MetaPRL framework N Novak, Y Bryukliov Emerging Trends, 1, 2004 | 2 | 2004 |
| Implementing and automating basic number theory in MetaPRL proof assistant Y Bryukhov, A Kopylov, V Krupski, A Nogin 16th International Conference on Theorem Proving in Higher Order Logics …, 0 | 2 | |
| TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant Y Bryukhov, A Kopylov, V Krupski, A Nogin | | 2004 |
