( en | de | ru )

 

Disambiguation of "Baxter, James"

Author of the publication

copydeleteadd this publication to your clipboard
RoboWorld: Where Can My Robot Work?

, , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 3-22. Springer, (2021)

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.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Other publications of authors with the same name

Priorities in tock-CSP., , and . CoRR, (2019)Automated Algebraic Reasoning for Collections and Local Variables with Lenses., and . RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 100-116. Springer, (2020)Ahead-of-time algebraic compilation for safety-critical Java.. University of York, UK, (2018)British Library, EThOS.RoboWorld: Where Can My Robot Work?, , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 3-22. Springer, (2021)Testing using CSP Models: Time, Inputs, and Outputs., , , and . ACM Trans. Comput. Log., 24 (2): 17:1-17:40 (April 2023)Unifying semantic foundations for automated verification tools in Isabelle/UTP., , , , and . Sci. Comput. Program., (2020)Correction to: Sound reasoning in tock-CSP., , and . Acta Informatica, 59 (2-3): 283 (2022)Sound reasoning in tock-CSP., , and . Acta Informatica, 59 (1): 125-162 (2022)Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP., , , , and . CoRR, (2019)Testing Robots Using CSP., , , and . TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 21-38. Springer, (2019)