Aina Niemetz

54 papers A* 1A 7B 8Journal 15Unranked 21
YearRankTypeTitle / Venue / Authors
2026 conf
TACAS (1)
Aina Niemetz, Mathias Preiner
2026 conf
TACAS (1)
Hans-Jörg Schurr, François Bobot, Mathias Preiner, Aina Niemetz, Clark W. Barrett, Pascal Fontaine, Cesare Tinelli
2026 conf
TACAS (1)
Dominik Schreiber, Aina Niemetz, Mathias Preiner
2025 B ed.
ATVA
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 ed.
ATVA (2)
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 A conf
SAT
Zvika Berger, Yoni Zohar, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2025 B conf
FMCAD
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
2024 conf
FM (2)
Clark W. Barrett, Cesare Tinelli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar
2024 J jnl
J. Artif. Intell. Res.
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2024 conf
CAV (1)
Aina Niemetz, Mathias Preiner, Yoni Zohar
2024 B conf
FMCAD
Aina Niemetz
2024 J jnl
CoRR
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
2023 J jnl
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2023 conf
CAV (2)
Aina Niemetz, Mathias Preiner
2023 J jnl
Commun. ACM
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
2023 A conf
SAT
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2023 J jnl
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2022 B conf
VMCAI
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2022 A conf
IJCAR
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
2022 conf
SMT
Aina Niemetz
2022 conf
CAV (2)
Aina Niemetz, Mathias Preiner, Clark W. Barrett
2022 B conf
FMCAD
Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2022 conf
TACAS (1)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
2021 conf
TACAS (2)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2021 J jnl
Formal Methods Syst. Des.
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2021 ed.
SMT
Alexander Nadel, Aina Niemetz
2021 conf
TACAS (2)
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2021 J jnl
J. Autom. Reason.
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
2021 conf
CAV (2)
Gereon Kremer, Aina Niemetz, Mathias Preiner
2020 conf
SMT
Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh
2020 J jnl
CoRR
Aina Niemetz, Mathias Preiner
2020 A* conf
DAC
Rick Bahr, Clark W. Barrett, Nikhil Bhagdikar, Alex Carsello, Ross Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang
2020 B conf
FMCAD
Aina Niemetz, Mathias Preiner
2019 A conf
SAT
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
2019 J jnl
CoRR
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
2019 conf
CAV (2)
Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2019 A conf
SAT
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli
2019 J jnl
J. Satisf. Boolean Model. Comput.
Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger
2019 A conf
CADE
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
2019 J jnl
CoRR
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
2018 conf
CAV (1)
Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere
2018 J jnl
CoRR
Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli
2018 J jnl
CoRR
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2018 conf
CAV (2)
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2017 conf
TACAS (1)
Mathias Preiner, Aina Niemetz, Armin Biere
2017 conf
SMT
Aina Niemetz, Mathias Preiner, Armin Biere
2017 J jnl
Formal Methods Syst. Des.
Aina Niemetz, Mathias Preiner, Armin Biere
2016 conf
CAV (1)
Aina Niemetz, Mathias Preiner, Armin Biere
2015 B conf
FMCAD
Mathias Preiner, Aina Niemetz, Armin Biere
2014 J jnl
J. Satisf. Boolean Model. Comput.
Aina Niemetz, Mathias Preiner, Armin Biere
2014 B conf
FMCAD
Aina Niemetz, Mathias Preiner, Armin Biere
2013 conf
POS@SAT
Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner
2013 conf
DIFTS@FMCAD
Mathias Preiner, Aina Niemetz, Armin Biere
2012 A conf
SAT
Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere