Skip to content

Christian Emil Nielsen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2026–2026

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2026PADLProperty-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic.Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr