From post

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.

 

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

Analyzing a Discrete Model of Aplysia Central Pattern Generator, и . CMSB, том 5307 из Lecture Notes in Computer Science, стр. 347-366. Springer, (2008)A Technique for Invariant Generation., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 113-127. Springer, (2001)Confluence of Shallow Right-Linear Rewrite Systems., и . CSL, том 3634 из Lecture Notes in Computer Science, стр. 541-556. Springer, (2005)SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems., , , , и . DSN, стр. 138-150. IEEE, (2019)Box invariance of Hybrid and switched Systems., и . ADHS, том 39 из IFAC Proceedings Volumes, стр. 359-364. Elsevier, (2006)Combining Equational Reasoning.. FroCoS, том 5749 из Lecture Notes in Computer Science, стр. 68-83. Springer, (2009)Synthesis for Polynomial Lasso Programs., и . VMCAI, том 8318 из Lecture Notes in Computer Science, стр. 434-452. Springer, (2014)V-Formation via Model Predictive Control., , , , , и . CoRR, (2020)Online Evaluation of Steel Slab Quality in Production Phase by Surface Crack Image Segmentation using Relative Fuzzy Connectedness., , , , и . IPCV, стр. 353-362. CSREA Press, (2007)Computing minimal nutrient sets from metabolic networks via linear constraint solving., , , , , , и . BMC Bioinform., (2013)