what are joseph sifakis and joseph sifakis , both known for ?
SELECT DISTINCT var_uri where brack_open dbr_Joseph_Sifakis dbp_knownFor var_uri sep_dot dbr_Joseph_Sifakis dbp_knownFor var_uri brack_close