dr inż. Dominik Tomaszuk

Publications

1. A. Bonifati, S. Dumbrava, G. Fletcher, J. Hidders, M. Hofer, W. Martens, F. Murlak, J. Shinavier, S. Staworko, D. Tomaszuk
   Threshold Queries
   SIGMOD Rec. 52 (2023), no. 1, 64-73.
   DOI: 10.1145/3604437.3604452
2. D. Tomaszuk, Ł. Szeremeta, A. Korniłowicz
   MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
   Sci. Data 10 (2023), no. 1, 791.
   DOI: 10.1038/s41597-023-02681-3