Skip to content

Annelot W. Bosman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2023–2023

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2023AAAICritically Assessing the State of the Art in CPU-based Local Robustness Verification.Matthias Knig, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn