Katalin Fazekas
ORCIDPublication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 9
Publications (10 Years): 9
Publications
- Nikolaj S. Bjørner, Katalin Fazekas
- Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
- Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr
- Katalin Fazekas, Armin Biere, Christoph Scholl
- Katalin Fazekas, Fahiem Bacchus, Armin Biere
- Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
- Katalin Fazekas, Martina Seidl, Armin Biere