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

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)Predictive Verification of Reliability Evaluation for Multiple Interconnected Microgrids., , and . IEEE Syst. J., 20 (2): 552-563 (June 2026)Charge puddles complicate nonlinear transport in large Berry phase materials, , , , , and . Physical Review B, (March 2026)Formalization of Functional Block Diagrams Using HOL Theorem Proving., and . SBMF, volume 13768 of Lecture Notes in Computer Science, page 22-35. Springer, (2022)Fluctuations in planar magnetotransport due to tilted Dirac cones in topological materials, , , , , , , , , and . Nano Lett., 23 (15): 6914-6919 (Jul 27, 2023)FPGA implementation of dynamically reconfigurable IoT security module using algorithm hopping., , , , , , , and . Integr., (2019)Resource Aware Space Mission Routing., , , , and . ICCA, page 130-135. IEEE, (2018)$FETMA$: A Tool for Functional Block Diagram and Event Tree Based Safety Analysis., , and . VECoS, volume 16263 of Lecture Notes in Computer Science, page 174-189. Springer, (2025)Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks., and . IEEE Access, (2021)