Combinational Equivalence Checking Using Satisfiability and Recursive Learning. - João Marques-Silva 001; Thomas Glass (DATE, 1999)

A System for Collaborative Surveillance of Geographic Areas by Fleet of Drones. - Prabin Giri; Marcus Jakubowsky; Jaden Forde; Joseph Edeker; Rowan Collin; Jacob Houts; Thomas Glass; Goce Trajcevski; Ouri Wolfson (MDM, 2023)