. "1953"^^ . "Dept. of Computer Science" . "Joseph Y." . "Joseph Y. Halpern" . _:Bd530f36d6fc3be84f7d178dfb0b99926 . . "Halpern, Joseph Y. (1953-)" . . "Halpern, J.Y." . . "Halpern" . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 "2023-05-19"^^ . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 "068998481" . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 . _:Bd530f36d6fc3be84f7d178dfb0b99926 .