Robert Lorch

According to our database, Robert Lorch authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Constructing $(3, b)$-Sudoku pair Latin squares.

Braxton Carrigan, David Diaz, James M. Hammer, John Lorch, Robert Lorch

Australas. J Comb., 2022

2021

List colorings count rokudoku-pair squares.

Braxton Carrigan, James M. Hammer, John Lorch, Robert Lorch, Caitlin Owens

Bull. ICA, 2021