They’ll work if they have the right Z wave module inside them. The EU and the US use different frequencies for their Z wave radios in order to avoid interference with local first responder communications. So if you have a European frequency lock it could talk to an EU Homey hub, but not a US smartthings hub.
If both the lock and the hub are using the same Z wave frequency, it should work and there are some community members who have it.
The Z wave module is optional, so if you got a lock that doesn’t have one, you would need to buy that separately. And as @Automated_House Mentioned, the model number matters.
See the following thread. Although the topic title discusses a different model, the thread itself discusses the model that you mentioned.
Many people end up paying an additional fee to get access to @rboy ‘s code library (it is a one time fee that gives you access to everything in that library, including the lock code) and it also supports those locks. But again you have to have the right RF module in the lock itself. Rboy’s code generally supports all the features of a device, including advanced features which are not supported by the basic smartthings integration. 