Yes they are named and only the person who discovers the planet first can rename them. If you do come across a planet that has been discovered by another player it will show the username that discovered it and go by the name they gave to it, assuming they renamed it.