Hai Lin

From MaRDI portal
Person:437035

Available identifiers

zbMath Open lin.hai.3MaRDI QIDQ437035

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61910172024-02-08Paper
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems2022-03-24Paper
Encoding first order proofs in SMT2013-12-06Paper
M2-M5 systems in \(\mathcal N = 6\) Chern-Simons theory2012-08-26Paper
Unification modulo homomorphic encryption2012-07-17Paper
Possibilistic Extension Rules for Reasoning and Knowledge Compilation2011-09-29Paper
Solving #SAT Using Extension Rules2010-11-05Paper
Unification Modulo Homomorphic Encryption2010-01-07Paper
Encoding First Order Proofs in SAT2009-03-06Paper
Protocol Verification Via Rigid/Flexible Resolution2008-05-15Paper
Theorem proving based on the extension rule2004-05-27Paper

Research outcomes over time

This page was built for person: Hai Lin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:437035&oldid=7531668"
Powered by MediaWiki