Vissza |
Németh-Szatmári Orsolya; Nagy-Mikó Bence; Gombás Bence György; Molnár Árpád; Kolbert Zsuzsanna; Vörös András; Villányi Zoltán: A Transzlációszabályozás Kutatócsoport munkája a Szegedi Tudományegyetemen. In: Centenáriumi Tanulmánykötet : 100 éve a tudomány szolgálatában, Kutatások az SZTE Biológia Intézetében. pp. 113-136. (2023)
Darvas Dániel; Vörös András; Bartha Tamás: Improving saturation-based bounded model checking. In: Acta cybernetica, (22) 3. pp. 573-589. (2016)
Hajdu Ákos; Vörös András; Bartha Tamás; Mártonka Zoltán: Extensions to the CEGAR approach on Petri nets. In: Acta cybernetica, (21) 3. pp. 401-417. (2014)
Vörös András: A sajtóbeli terjedési folyamatok szemléltetése - Olaszliszka.