Mt Kovcs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | GECCO | Leveraging Genetic Algorithm to Refine Genetic Programming-Evolved Dispatching Rules for Flexible Job Shop Scheduling. | Shady Salama, Mt Kovcs |
| 2023 | MICCAI | Diffusion-Based Data Augmentation for Skin Disease Classification: Impact Across Original Medical Datasets to Fully Synthetic Images. | Mohamed Akrout, Blint Gyepesi, Pter Holl, Adrienn Por, Blga Kincso, Stephen Solis, Katrina Cirone, Jeremy Kawahara, Dekker Slade, Latif Abid, Mt Kovcs, Istvn Fazekas |
| 2014 | LATA | Interprocedural Information Flow Analysis of XML Processors. | Helmut Seidl, Mt Kovcs |
| 2013 | CCS | Relational abstract interpretation for the verification of 2-hypersafety properties. | Mt Kovcs, Helmut Seidl, Bernd Finkbeiner |
| 2012 | VMCAI | Model Checking Information Flow in Reactive Systems. | Rayna Dimitrova, Bernd Finkbeiner, Mt Kovcs, Markus N. Rabe, Helmut Seidl |