Yegor Bryukhov
City College of New York(US)Google (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Computability, Logic, AI Algorithms, Multi-Agent Systems and Negotiation
Most-Cited Works
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → Relative importance of predictors: Comparison of Random Forests with Johnson's Relative Weights(2010)12 cited
- Integration of decision procedures into high-order interactive provers(2006)
- → Challenge response password security using combinatorial group theory(2010)4 cited
- → SOME CRYPTOPRIMITIVES IN NONCOMMUTATIVE ALGEBRAIC CRYTOGRAPHY(2008)
- MetaPRL - A Modular Logical Environment(2003)
- TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant(2004)