Paper ID 314 - ISARC 2024 by Ryosuke Yajima

Paper ID 156 - ISARC 2024 by Patrick SchmidtПодробнее

Paper ID 180 - ISARC 2024 by Victoria JungПодробнее

Paper ID 114 - ISARC 23 by Maike KlöcknerПодробнее

ISARC 23 Keynote by Masahide Horita and Ryosuke YajimaПодробнее

[PLDI24] Jacdac: Service-Based Prototyping of Embedded SystemsПодробнее

Efficient Numerical Methods for Accurate Modeling of Soil Cutting Operations ISARC 2020Подробнее

Robot Parade at ICRA 2024Подробнее

[ARRAY24] Mechanical Proofs in an Array-Combinator LanguageПодробнее