Author of the publication

A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions.

, , , and . SIAM J. Scientific Computing, 33 (5): 2402-2420 (2011)

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

Real-Time I/O Management System with COTS Peripherals., , , , and . IEEE Trans. Computers, 62 (1): 45-58 (2013)A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions., , , and . SIAM J. Scientific Computing, 33 (5): 2402-2420 (2011)Sandboxing Controllers for Cyber-Physical Systems., , , and . ICCPS, page 3-12. IEEE Computer Society, (2011)S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems, , , , , and . CoRR, (2012)On-chip control flow integrity check for real time embedded systems., , , , , , , and . CPSNA, page 26-31. IEEE Computer Society, (2013)Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees., , , and . NSV@CAV, volume 10381 of Lecture Notes in Computer Science, page 83-89. Springer, (2017)Scalable Static Hybridization Methods for Analysis of Nonlinear Systems., , , , and . HSCC, page 155-164. ACM, (2016)t-Barrier Certificates: A Continuous Analogy to k-Induction.. ADHS, volume 51 of IFAC-PapersOnLine, page 145-150. Elsevier, (2018)Space Debris Collision Detection using Reachability., , , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 218-228. EasyChair, (2018)Hybrid automata: from verification to implementation., , , , , and . STTT, 21 (1): 87-104 (2019)