( en | de | ru )

 

Disambiguation of "Jones, Ben"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Rigorous Floating-Point Predicates.

, , and . SPIN, volume 13255 of Lecture Notes in Computer Science, page 44-60. Springer, (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.

Hugh Jones

Janet Jones-Ullmann

Jens Olaf Jonescheit

Arun W Jones

Sara Jones

 

Other publications of authors with the same name

Deformation embedding for point-based elastoplastic simulation., , , , and . ACM Trans. Graph., 33 (2): 21:1-21:9 (2014)Example-based plastic deformation of rigid bodies., , , and . ACM Trans. Graph., 35 (4): 34:1-34:11 (2016)Energized Rigid Body Fracture., , , and . Proc. ACM Comput. Graph. Interact. Tech., 1 (1): 9:1-9:9 (2018)The development of a methodology for the evaluation of Wide Area Detection Systems (WADS)., , , and . ICCST, page 1-5. IEEE, (2011)Facade: High-Throughput, Deniable Censorship Circumvention Using Web Search., , , , , , and . FOCI, USENIX Association, (2014)Global Measurement of DNS Manipulation., , , , , , and . USENIX Security Symposium, page 307-323. USENIX Association, (2017)LCCspm: l-Length Closed Contiguous Sequential Patterns Mining Algorithm to Find Frequent Athlete Movement Patterns from GPS., , and . ICMLA, page 455-460. IEEE, (2021)Synthesis of Rigorous Floating-Point Predicates., , and . SPIN, volume 13255 of Lecture Notes in Computer Science, page 44-60. Springer, (2022)Markov Decision Processes with Contextual Nodes as a Method of Assessing Attacking Player Performance in Rugby League., , and . UKCI, volume 1409 of Advances in Intelligent Systems and Computing, page 251-263. Springer, (2021)Communicating Data with Tableau. O'Reilly, Beijing, (2014)