Publication

Hoe wiskunde helpt in de strijd tegen ziekmakende virussen - EOS Wetenschap - 23-10-2019 Magazine Article

Verifying OpenJDK's LinkedList using KeY: Proof Files Software

H.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)

Reowolf: Synchronous multi-party communication over the Internet? In Proceedings

C.A. Esterhuyse (Christopher) and H.A. Hiep (Hans-Dieter)

Verifying OpenJDK's LinkedList using KeY: Video Software

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

Fixed-Confidence Guarantees for Bayesian Best-Arm Identification Tech Report

X. Shang (Xuedong), R. de Heide (Rianne), E. Kaufmann (Emilie), P. Ménard (Pierre) and M. Valko (Michal)

A granular approach to source trustworthiness for negative trust assessment In Proceedings

D. Ceolin (Davide) and G. Primiero (Giuseppe)

Extracting novel facts from tables for Knowledge Graph completion In Proceedings

B.B. Kruit (Benno), P.A. Boncz (Peter) and J. Urbani (Jacopo)

Purex_games Software

W.M. Koolen-Wijkstra (Wouter)