( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compliance Cautions: Investigating Security Issues Associated with U.S. Digital-Security Standards.

, , , , , , , и . NDSS, The Internet Society, (2020)

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.

James Chapman

James Chapman Brown

Rob Chapman

Jeffrey Chapman

Henry Chapman

 

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

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs., , , , и . CoRR, (2020)David Culbert (1943–2017): An Appreciation. Historical Journal of Film, Radio and Television, 37 (4): 595--597 (2017)Efficient, Interpretable Atomistic Graph Neural Network Representation for Angle-dependent Properties and its Application to Optical Spectroscopy Prediction., , , , , , , , и . CoRR, (2021)Algebraic Reasoning About Timeliness., , , , , , , и . ICE, том 383 из EPTCS, стр. 35-54. (2023)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 112-130. Springer, (2020)System F in Agda, for Fun and Profit., , , и . MPC, том 11825 из Lecture Notes in Computer Science, стр. 255-297. Springer, (2019)Spectroscopy-Guided Discovery of Three-Dimensional Structures of Disordered Materials with Diffusion Models., , , , , , , , , и 1 other автор(ы). CoRR, (2023)Efficient Algorithms for the CCA Family: Unconstrained Objectives with Unbiased Gradients., , и . CoRR, (2023)Flexible Formality Practical Experience with Agile Formal Methods., , , , , , , , , и 2 other автор(ы). TFP, том 12222 из Lecture Notes in Computer Science, стр. 94-120. Springer, (2020)Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs., , , , и . Haskell, стр. 108-122. ACM, (2022)