Laura Kovács
ORCIDPublication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 112
Publications (10 Years): 112
Publications
- Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
- Clemens Eisenhofer, Michael Rawson, Laura Kovács
- George Kenison, Laura Kovács, Anton Varonka
- Laura Kovács
- Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
- Marcel Moosbrugger, Julian Müllner, Laura Kovács
- Maximilian Jaroschek, Manuel Kauers, Laura Kovács
- S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
- Thomas Hader, Daniela Kaufmann, Laura Kovács
- Laura Kovács, Anton Varonka
- Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
- Laura Kovács
- Laura Kovács
- George Kenison, Laura Kovács, Anton Varonka
- Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
- Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
- Thomas Hader, Daniela Kaufmann, Laura Kovács
- Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
- Marcel Moosbrugger, Julian Müllner, Laura Kovács
- Miroslav Stankovic, Ezio Bartocci, Laura Kovács
- Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
- Jakob Rath, Armin Biere, Laura Kovács
- Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
- Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
- Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
- Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
- Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
- Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
- Thomas Hader, Laura Kovács
- Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
- Johannes Schoisswohl, Laura Kovács
- Ezio Bartocci, Laura Kovács, Miroslav Stankovic
- Petra Hozzová, Laura Kovács, Jakob Rath
- Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
- Laura Kovács, Hanna Lachnitt, Stefan Szeider
- Johannes Schoisswohl, Laura Kovács
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
- Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
- Petra Hozzová, Laura Kovács, Andrei Voronkov
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov
- Ezio Bartocci, Laura Kovács, Miroslav Stankovic
- Ezio Bartocci, Laura Kovács, Miroslav Stankovic
- Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
- Bernhard Gleiss, Laura Kovács, Jakob Rath
- Laura Kovács, Hanna Lachnitt, Stefan Szeider
- Ezio Bartocci, Laura Kovács, Miroslav Stankovic
- Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
- Pamina Georgiou, Bernhard Gleiss, Laura Kovács
- Bernhard Gleiss, Laura Kovács, Jakob Rath
- Pamina Georgiou, Bernhard Gleiss, Laura Kovács
- Andreas Humenberger, Laura Kovács
- Maximilian Jaroschek, Manuel Kauers, Laura KovácsLonely Points in Simplices. CoRR (2019)
- David Damestani, Laura Kovács, Martin Suda
- James H. Davenport, Laura Kovács, Daniela Zaharie
- Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
- Bernhard Gleiss, Laura Kovács, Simon Robillard
- Laura Kovács, Simon Robillard, Andrei Voronkov
- Laura Kovács
- Bernhard Gleiss, Laura Kovács, Martin Suda
- Bernhard Gleiss, Laura Kovács, Martin Suda
- Laura Kovács, Andrei Voronkov
- Laura Kovács