Daniela Kaufmann
Orcid: 0000-0002-5645-0292Affiliations:
- TU Wien, Vienna, Austria
- Johannes Kepler University, Linz, Austria
According to our database1,
Daniela Kaufmann
authored at least 25 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
1
6
1
2
1
1
3
1
3
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.
Formal Methods Syst. Des., December, 2024
J. Comput. Lang., March, 2024
Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs.
CoRR, 2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.
Int. J. Softw. Tools Technol. Transf., April, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
2022
Proceedings of the Tests and Proofs - 16th International Conference, 2022
Proceedings of the Model and Data Engineering: 11th International Conference, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
2020
Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020
Formal Methods Syst. Des., 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020
2019
Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017