Gyula Sallai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2021
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). | Zsfia dm, Gyula Sallai, kos Hajdu |
| 2010 | LCN | Migrating to IPv6: A game-theoretic perspective. | Tuan Anh Trinh, Lszl Gyarmati, Gyula Sallai |
| 2005 | ISCC | Architecture and Configuration of Broadband Access Networks Supporting Multimedia Applications. | Andrs Kern, Mtys Martinecz, Zaln Heszberger, Gyula Sallai |