Szerző: " Vörös András"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 4.

Cikk, tanulmány, mű

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)

Könyv része

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)

Konferencia vagy workshop anyag

Vörös András: A sajtóbeli terjedési folyamatok szemléltetése - Olaszliszka.

A lista elkészítésének dátuma 2024. március 28. 09:33:30 CET.