Items where Author is "Szabo, Tamás"
Up a level |
Number of items: 2.
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 | |
2006 | Szabo, Tamás and Szolgay, Péter CNNUM-based methods using deformable contours on smooth boundaries | Conference or Workshop Item |