Hui Feng
Promovendus/ gast
- Naam
- Dr. H. Feng
- Telefoon
- +31 71 527 4799
- h.feng@liacs.leidenuniv.nl
Promovendus/ gast
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Feng H. & Bonsangue M.M. (2024), Concurrent NetKAT with ports, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing 8 april 2024 - 12 april 2024. New York, N.Y., U.S.A.: Association for Computing Machinery. 1722-1730.
- Feng H. (3 december 2024), Formal models of software-defined networks (Dissertatie. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University). Promotor(en): Bonsangue M.M.
- Feng H., Bonsangue M.M. & Lion B. (2022), From symbolic constraint automata to Promela, Journal of Logical and Algebraic Methods in Programming 128: 100794.