Kovacs, Daniela
326  Ergebnisse:
Personensuche X
?
2

MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed.. - p. 386-395 , 2024
 
?
 
?
 
?
13

Targeting Fatty Acid Amide Hydrolase Counteracts the Epithe..:

Kovacs, Daniela ; Flori, Enrica ; Bastonini, Emanuela...
International Journal of Molecular Sciences.  24 (2023)  24 - p. 17379 , 2023
 
1-15