Combining LLMs with a logic-based framework to explain MCTS In Proceedings

Z. An (Ziyan), X. Wang (Xia), H.J.S. Baier (Hendrik), Z. Chen (Zirong), A. Dubey (Abhishek), T.T. Johnson (Taylor T.), J. Sprinkle (Jonathan), A. Mukhopadhyay (Ayan) and M. Ma (Meiyi)

Tutorial: "XForms techniques, hands-on" Presentation

S. Pemberton (Steven)

Invited talk: "An application of a generic XForms application" Presentation

S. Pemberton (Steven)

Forest fires and near-critical percolation Lecture

J. van den Berg (Rob)

Toekomstige beveiligingsrisico's: waarom quantumcryptografie hoger op de agenda moet staan - Techzine - 10-06-2025 Magazine Article

Line-graph qubit routing Article

J.J. Kattemölle (Joris) and S. Hariharan (Seenivasan)

Faster approximate elastic-degenerate string matching – Part B In Proceedings

P. Gawrychowski (Paweł), A. Górkiewicz (Adam), P. Marciniak (Pola), S. Pissis (Solon) and K. Pokorski (Karol)

Faster approximate elastic-degenerate string matching – Part A In Proceedings

S. Pissis (Solon), J. Radoszewski (Jakub) and W.P. Zuba (Wiktor)