Balázs Tóth
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 14
Publications (10 Years): 14
Publications
- Balázs Tóth, Tobias Nipkow
- Balázs Tóth, Tobias NipkowReal-Time Double-Ended Queue. Arch. Formal Proofs 2022 (2022)
- László Szirmay-Kalos, Ágota Kacsó, Milán Magdics, Balázs Tóth
- Balázs Tóth
- László Szirmay-Kalos, Milán Magdics, Balázs Tóth
- László Szirmay-Kalos, Milán Magdics, Balázs Tóth
- Balázs Jákó, Balázs Tóth
- Milán Magdics, László Szirmay-Kalos, Balázs Tóth, Ádam Csendesi, Anton A. Penzov
- Tamás Umenhoffer, Balázs Tóth, László Szirmay-Kalos
- István Juhos, László Makra, Balázs Tóth
- László Szirmay-Kalos, Balázs Tóth, Milán Magdics, Dávid Légrády, Anton A. Penzov