Sophia Hamer

According to our database, Sophia Hamer authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of Isothermal Chemical Reactors.

Parivash Feyzishendi, Sophia Hamer, Jinyu Huang, Tyler R. Josephson

CoRR, September, 2025

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding.

Enis Golaszewski, Alan T. Sherman, Edward Zieglar, Jonathan D. Fuchs, Sophia Hamer

Proceedings of the Security Standardisation Research - 10th International Conference, 2025

2024

Forecast Aware Model-Driven Neural Learning for Air Quality Bias Correction.

Sophia Hamer, Jennifer Sleeman, Ivanka Stajner

Proceedings of the IGARSS 2024, 2024

Towards a Dynamic Data Driven AI Regional Weather Forecast Model.

Sophia Hamer, Jennifer Sleeman, Milton Halem

Proceedings of the Dynamic Data Driven Applications Systems - 5th International Conference, 2024

2023

Forecast-Aware Model Driven LSTM.

Sophia Hamer, Jennifer Sleeman, Ivanka Stajner

CoRR, 2023