Author of the publication

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

Fluctuations in Planar Magnetotransport Due to Tilted Dirac Cones in Topological Materials, , , , , , , , , and . Nano Letters, 23 (15): 6914–6919 (July 2023)Formalization of Functional Block Diagrams Using HOL Theorem Proving., and . SBMF, volume 13768 of Lecture Notes in Computer Science, page 22-35. Springer, (2022)Resource Aware Space Mission Routing., , , , and . ICCA, page 130-135. IEEE, (2018)FPGA implementation of dynamically reconfigurable IoT security module using algorithm hopping., , , , , , , and . Integr., (2019)A Formally Verified HOL4 Algebra for Event Trees., , and . CoRR, (2020)Formal Probabilistic Risk Assessment of a Nuclear Power Plant., and . FTSCS, page 80-87. ACM, (2022)Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks., and . IEEE Access, (2021)Electron-hole scattering limited transport of Dirac fermions in a topological insulator, , , , , , , , and . Nano Lett., 21 (12): 5195--5200 (Jun 11, 2021)Formalization of RBD-Based Cause Consequence Analysis in HOL., and . CICM, volume 12833 of Lecture Notes in Computer Science, page 47-64. Springer, (2021)Generalized bulk–boundary correspondence in non-Hermitian topolectrical circuits, , , , , , , , , and . Nat. Phys., 16 (7): 747--750 (Jun 1, 2020)