Abigail Hammer

Orcid: 0000-0002-0340-0160

According to our database¹, Abigail Hammer authored at least 3 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Pretrained Embeddings as a Behavior Specification Mechanism.

[BibT_eX]

[DOI]

CoRR, March, 2025

Resilience of Systems Under Maximum Component Deviations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

2020

Integrating Runtime Verification into an Automated UAS Traffic Management System.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Abigail Hammer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...