Parameterized Algorithms for Topological Indices in Chemistry. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Harshit J. Motwani; Sergei Novozhilov (CoRR, 2023)

Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Kerim Kochekov; Yun Chen Tsai; Ahmed Khaled Zaher (Proc. ACM Program. Lang., 2023)

The Bounded Pathwidth of Control-Flow Graphs. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Chun Kit Lam (Proc. ACM Program. Lang., 2023)

PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Kha Nhat Long Nguyen (BCCA, 2024)

A Better Approximation for Interleaved Dyck Reachability. - Giovanna Kobus Conrado; Andreas Pavlogiannis (SOAP@PLDI, 2024)

Faster Treewidth-Based Approximations for Wiener Index. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Pavel Hudec; Pingjiang Li; Harshit J. Motwani (SEA, 2024)

Program Analysis via Multiple Context Free Language Reachability. - Giovanna Kobus Conrado; Adam Husted Kjelstrøm; Jaco van de Pol; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2025)

CFL-based methods for approximating interleaved Dyck reachability. - Giovanna Kobus Conrado; Andreas Pavlogiannis (Int. J. Softw. Tools Technol. Transf., 2025)