Gyula Sallai

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Top Venues

Publications

Zsófia Ádám, Gyula Sallai, Ákos Hajdu
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). TACAS (2) (2021)
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS (2017)
Tibor Cinkler, István Moldován, András Kern, Csaba Lukovszki, Gyula Sallai
Optimizing QoS aware ethernet spanning trees. MSAN (2015)
Gyula Sallai
Chapters of Future Internet research. CogInfoCom (2013)
Tuan Anh Trinh, László Gyarmati, Gyula Sallai
Understanding the impact of loyal user behaviour on Internet access pricing: a game-theoretic framework. Telecommun. Syst. 48 (1-2) (2011)
Tuan Anh Trinh, László Gyarmati, Gyula Sallai
Migrating to IPv6: A game-theoretic perspective. LCN (2010)
András Kern, Mátyás Martinecz, Zalán Heszberger, Gyula Sallai
Architecture and Configuration of Broadband Access Networks Supporting Multimedia Applications. ISCC (2005)
Gyula Sallai
Reform and development of Hungarian telecommunications. IEEE Commun. Mag. 38 (8) (2000)
Gyula Sallai
Present state and future plans of telecommunications services in Hungary. IEEE J. Sel. Areas Commun. 12 (7) (1994)