( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web.

, и . SSR, том 8893 из Lecture Notes in Computer Science, стр. 39-56. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Martin Brown

Jonathan Brown

Gary Brown

Gary Brown

Nelson Brown

 

Другие публикации лиц с тем же именем

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition., и . CASC, том 12291 из Lecture Notes in Computer Science, стр. 129-149. Springer, (2020)Exploiting Strict Constraints in the Cylindrical Algebraic Covering., , , и . SMT, том 3429 из CEUR Workshop Proceedings, стр. 33-45. CEUR-WS.org, (2023)Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations., , и . Algorithmic Algebra and Logic, стр. 55-58. Books on Demand, (2005)Open Non-uniform Cylindrical Algebraic Decompositions.. ISSAC, стр. 85-92. ACM, (2015)Towards Detection of Partial Truth via Real Geometry., , , , , и . SC-Square@ISSAC, том 3455 из CEUR Workshop Proceedings, стр. 44-53. CEUR-WS.org, (2023)Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web., и . SSR, том 8893 из Lecture Notes in Computer Science, стр. 39-56. Springer, (2014)Efficient Preprocessing Methods for Quantifier Elimination., и . CASC, том 4194 из Lecture Notes in Computer Science, стр. 89-100. Springer, (2006)Bridging Two Communities to Solve Real Problems.. SYNASC, стр. 11-14. IEEE, (2016)Learning Linked Lists: Experiments with the iList System., , , и . Intelligent Tutoring Systems, том 5091 из Lecture Notes in Computer Science, стр. 80-89. Springer, (2008)The complexity of quantifier elimination and cylindrical algebraic decomposition., и . ISSAC, стр. 54-60. ACM, (2007)