متابعة
Giovanna Kobus Conrado
Giovanna Kobus Conrado
بريد إلكتروني تم التحقق منه على connect.ust.hk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
The bounded pathwidth of control-flow graphs
GK Conrado, AK Goharshady, CK Lam
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 292-317, 2023
132023
Exploiting the sparseness of control-flow and call graphs for efficient and on-demand algebraic program analysis
GK Conrado, AK Goharshady, K Kochekov, YC Tsai, AK Zaher
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1993-2022, 2023
112023
Faster treewidth-based approximations for Wiener index
GK Conrado, AK Goharshady, P Hudec, P Li, HJ Motwani
22nd International Symposium on Experimental Algorithms (SEA 2024), 6: 1-6: 19, 2024
62024
Parameterized algorithms for topological indices in chemistry
GK Conrado, AK Goharshady, HJ Motwani, S Novozhilov
arXiv preprint arXiv:2303.13279, 2023
22023
PYRAMID: A protocol for private and trustless multi-level marketing on the blockchain (long version)
GK Conrado, AK Goharshady, KNL Nguyen
12024
A Better Approximation for Interleaved Dyck Reachability
GK Conrado, A Pavlogiannis
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of …, 2024
12024
Program Analysis via Multiple Context Free Language Reachability
GK Conrado, AH Kjelstrøm, J van de Pol, A Pavlogiannis
Proceedings of the ACM on Programming Languages 9 (POPL), 509-538, 2025
2025
PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain
GK Conrado, A Goharshady, KNL Nguyen
2024 6th International Conference on Blockchain Computing and Applications …, 2024
2024
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–8