A New Bus Assignment Algorithm for a Shared Bus Switch Fabric. - D. Torres Roman; J. Gonzalez; M. Guzman (VLSI Design, 2000)

A Chip for a Routing Table Based on a Novel Modified Trie Algorithm. - D. Torres Roman; A. Larios; M. Guzman (VLSI Design, 2000)

Formal Verification for Safe AI-based Flight Planning for UAVs*. - R. Bouchekir; M. Guzman; A. Cook; J. Haindl; R. Woolnough (DSN-W, 2023)

On Safety Assurance of Symbolic Artificial Intelligence. - M. Guzman; R. Bouchekir; A. Cook; J. Haindl (QRS Companion, 2024)