Andreas Pavlogiannis

Registered user since Sat 16 Nov 2019

Name:Andreas Pavlogiannis
Country:Denmark
Affiliation:Aarhus University

Contributions

POPL 2022 The Decidability and Complexity of Interleaved Bidirected Dyck Reachability
Show activities from other conferences

POPL 2022-profile
View general profile