Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé, Tobias; Kozen, Dexter; Silva, Alexandra (January 2020). "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". Proc of the ACM on Programming Languages. Vol. 4. IEEE Computer Society. pp. 214–225. arXiv:1907.05920. doi:10.1145/3371129.
Mohan, Anshuman; Liu, Yunhe; Foster, Nate; Kappé, Tobias; Kozen, Dexter (16 October 2023). "Formal Abstractions for Packet Scheduling". Proceedings of the ACM on Programming Languages. 7 (OOPSLA2): 1338–1362. arXiv:2211.11659. doi:10.1145/3622845.
cornell.edu
cs.cornell.edu
"Faculty". Department of Computer Science. Cornell University. Retrieved 25 July 2024.
"Awards". Cornell Bowers CIS - Computer Science. Archived from the original on 2022-09-20. Retrieved 2022-09-08.
Kozen, Dexter (1991). "A completeness theorem for Kleene algebras and the algebra of regular events". Proc. 1991 Sixth Annual IEEE Symp. on Logic in Computer Science. Amsterdam, Netherlands: IEEE Computer Society. pp. 214–225. doi:10.1109/LICS.1991.151646. hdl:1813/6963.
Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé, Tobias; Kozen, Dexter; Silva, Alexandra (January 2020). "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". Proc of the ACM on Programming Languages. Vol. 4. IEEE Computer Society. pp. 214–225. arXiv:1907.05920. doi:10.1145/3371129.
Mohan, Anshuman; Liu, Yunhe; Foster, Nate; Kappé, Tobias; Kozen, Dexter (16 October 2023). "Formal Abstractions for Packet Scheduling". Proceedings of the ACM on Programming Languages. 7 (OOPSLA2): 1338–1362. arXiv:2211.11659. doi:10.1145/3622845.
"Dexter C. Kozen". John Simon Guggenheim Memorial Foundation. Retrieved 2022-09-08.
handle.net
hdl.handle.net
Kozen, Dexter (1991). "A completeness theorem for Kleene algebras and the algebra of regular events". Proc. 1991 Sixth Annual IEEE Symp. on Logic in Computer Science. Amsterdam, Netherlands: IEEE Computer Society. pp. 214–225. doi:10.1109/LICS.1991.151646. hdl:1813/6963.
