Heorhiadi, Victor

Intentionet, Seattle, USA

1 paper on CoChatORCID 0000-0001-8365-3717

Most cited papers

Verified
Lessons from the evolution of the batfish configuration analysis tool
Brown, M., Fogel, A., Halperin, D., Heorhiadi, V., Mahajan, R., & Millstein, T. (2023) · Proceedings of the ACM SIGCOMM 2023 Conference
Software-Defined Networks and 5GFormal Methods in Verification
Cited by 40

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free