publication venue for A Synthetic Dataset Generation for the Uveitis Pathology Based on MedWGAN Model 2023 Model checking of vulnerabilities in smart contracts 2022