"Petr Nolasco"@cs .