Gyula Sallai
Orcid: 0000-0002-3370-3226
According to our database1,
Gyula Sallai
authored at least 9 papers
between 1994 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
2017
Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017
2015
Proceedings of the 1st International ICST Conference on Multimedia Services Access Networks, 2015
2013
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.
Telecommun. Syst., 2011
2010
Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010
2005
Architecture and Configuration of Broadband Access Networks Supporting Multimedia Applications.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005
2000
1994
IEEE J. Sel. Areas Commun., 1994