Name Card

Full name Familienname, Vorname
Kaufmann, Daniela
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela Fuzzing-based grammar learning from a minimal set of seed inputsArticle Artikel Mar-2024
2Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
3Kaufmann-2023-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgKaufmann, Daniela ; Biere, Armin Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebraArticle Artikel Apr-2023