( en | de | ru )

 

Disambiguation of "Chapman, James"

Author of the publication

copydeleteadd this publication to your clipboard
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.

, , , , , and . Comput., 11 (3): 45 (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

James Chapman

James Chapman Brown

Rob Chapman

Jeffrey Chapman

Henry Chapman

 

Other publications of authors with the same name

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