Coalgebraic Semantics for Nominal Automata. - Florian Frank 002; Stefan Milius; Henning Urbat (CMCS, 2022)

Positive Data Languages. - Florian Frank 002; Stefan Milius; Henning Urbat (MFCS, 2023)

Alternating Nominal Automata with Name Allocation. - Florian Frank 002; Daniel Hausmann 001; Stefan Milius; Lutz Schröder; Henning Urbat (CoRR, 2024)

Learning Automata with Name Allocation. - Florian Frank 002; Stefan Milius; Jurriaan Rot; Henning Urbat (CoRR, 2025)