Author of the publication

The Need for Declarative Properties in Digital IC Security.

, , , and . ACM Great Lakes Symposium on VLSI, page 333-338. ACM, (2017)

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

Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments., , , and . CoRR, (2023)Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning., , , and . CoRR, (2021)Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning., , , and . IEEE Robotics Autom. Lett., 7 (4): 9731-9738 (2022)GLNS: An effective large neighborhood search heuristic for the Generalized Traveling Salesman Problem., and . Comput. Oper. Res., (2017)A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints., and . ICRA, page 5772-5777. IEEE, (2014)Robotic Path Planning for High-Level Tasks in Discrete Environments.. University of Waterloo, Ontario, Canada, (2018)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/13082).The Need for Declarative Properties in Digital IC Security., , , and . ACM Great Lakes Symposium on VLSI, page 333-338. ACM, (2017)Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way)., , , and . WOOT, USENIX Association, (2016)Clustering in discrete path planning for approximating minimum length paths., and . ACC, page 2968-2973. IEEE, (2017)Multi-robot task planning and sequencing using the SAT-TSP language., and . ICRA, page 5397-5402. IEEE, (2015)