Hui Feng
PhD candidate/ guest
- Name
- Dr. H. Feng
- Telephone
- +31 71 527 4799
- h.feng@liacs.leidenuniv.nl
PhD candidate/ guest
- Science
- 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). Supervisor(s): 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.