Gyula Sallai

According to our database, Gyula Sallai authored at least 9 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).

Zsófia Ádám, Gyula Sallai, Ákos Hajdu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2017

Towards Evaluating Size Reduction Techniques for Software Model Checking.

Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

2015

Optimizing QoS aware ethernet spanning trees.

Tibor Cinkler, István Moldován, András Kern, Csaba Lukovszki, Gyula Sallai

Proceedings of the 1st International ICST Conference on Multimedia Services Access Networks, 2015

2013

Chapters of Future Internet research.

Gyula Sallai

Proceedings of the IEEE 4th International Conference on Cognitive Infocommunications, 2013

2011

Understanding the impact of loyal user behaviour on Internet access pricing: a game-theoretic framework.

Tuan Anh Trinh, László Gyarmati, Gyula Sallai

Telecommun. Syst., 2011

2010

Migrating to IPv6: A game-theoretic perspective.

Tuan Anh Trinh, László Gyarmati, Gyula Sallai

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

2005

Architecture and Configuration of Broadband Access Networks Supporting Multimedia Applications.

András Kern, Mátyás Martinecz, Zalán Heszberger, Gyula Sallai

Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

2000

Reform and development of Hungarian telecommunications.

Gyula Sallai

IEEE Commun. Mag., 2000

1994

Present state and future plans of telecommunications services in Hungary.

Gyula Sallai

IEEE J. Sel. Areas Commun., 1994