Author of the publication

The efficiency of geophysical adjoint codes generated by automatic differentiation tools.

, , and . Comput. Phys. Commun., (2016)

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

An Executable Structural Operational Formal Semantics for Python.. CoRR, (2021)Tools at the Frontiers of Quantitative Verification., , , , , , , , , and 13 other author(s). CoRR, (2024)(TACAS21 Artifact) Momba: JANI Meets Python., , and . (March 2021)OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust., , , and . (2024)Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification., , , , , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 416-439. Springer, (2020)RTLola on Board: Testing Real Driving Emissions on your Phone., , , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 365-372. Springer, (2021)Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , and . (May 2022)Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents"., , , and . (November 2021)Configurable-by-Construction Runtime Monitoring., and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 220-241. Springer, (2022)Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions., , , and . LPAR, volume 57 of EPiC Series in Computing, page 1-17. EasyChair, (2018)