Items where Author is "Horváth, Ákos"
 | Up a level |
Number of items: 2.
2011
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2011 | Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás Parallel saturation based model checking |  | Book Section |
2020
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2020 | Börcsök, Endre and Ferencz, Z and Groma, Veronika and Gerse, Á and Fülöp, János and Bozóki, Sándor and Osán, János and Török, Szabina and Horváth, Ákos Energy Supply Preferences as Multicriteria Decision Problems: Developing a System of Criteria from Survey Data | Article |
