Author of the publication

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

, , , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 752-770. 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.

 

Other publications of authors with the same name

Consumption and Risk with hyperbolic discounting, , and . Economics Letters, 96 (2): 153--160 (August 2007)SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies., and . J. Comput. Chem., 19 (1): 102-111 (1998)Real-time 3-D mapping for robotic applications., and . COM.Geo, page 31. ACM, (2012)3D city site model extraction through point cloud generated from stereo images., and . COM.Geo, page 46:1. ACM, (2011)Application of computers in development of a total artificial heart., , , , and . CBMS, page 164-168. IEEE, (1989)Fast computation of wheel-soil interactions for safe and efficient operation of mobile robots., , and . IROS, page 3004-3010. IEEE, (2011)Heterogeneous Vehicle Routing and Teaming with Gaussian Distributed Energy Uncertainty., , , , and . IROS, page 4315-4322. IEEE, (2020)Enhancing the impact of science data toward data discovery and reuse., , , , , , , and . ICIS, page 271-277. IEEE Computer Society, (2015)Robust Task Scheduling for Heterogeneous Robot Teams under Capability Uncertainty., , , , , and . CoRR, (2021)Identification of program signatures from cloud computing system telemetry data., , , , , and . SSCI, page 1-5. IEEE, (2016)