Miln Mondok
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution). | Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr |
| 2025 | TACAS | EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). | Miln Mondok, Levente Bajczi, Dniel Szekeres, Vince Molnr |
| 2024 | TACAS | EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). | Levente Bajczi, Dniel Szekeres, Miln Mondok, Zsfia dm, Mrk Somorjai, Csand Telbisz, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | TACAS | Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). | Levente Bajczi, Csand Telbisz, Mrk Somorjai, Zsfia dm, Mihly Dobos-Kovcs, Dniel Szekeres, Miln Mondok, Vince Molnr |