Publication

Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files Software

J. Bian (Jinting), H.A. Hiep (Hans-Dieter), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Integrating ADTs in KeY and their Application to History-based Reasoning : Video Material Software

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

1,8 miljoen euro subsidie om communiceren veilig te houden - Beveiligingsnieuws - 10-05-2021 Magazine Article

Assessing the quality of online reviews using formal argumentation theory In Proceedings

D. Ceolin (Davide), G. Primiero (Giuseppe), J. Wielemaker (Jan) and M. Soprano (Michael)

Variable projection for non-smooth problems Article

T. van Leeuwen (Tristan) and A.Y. Aravkin (Aleksandr)

Learning continuous-time working memory tasks with on-policy neural reinforcement learning Article

D. Zambrano (Davide), P.R. Roelfsema (Pieter) and S.M. Bohte (Sander)

35 jaar .nl - Visie - 14-05-2021 Magazine Article

Who didn't consult the doctor? Understanding sociodemographic factors in relation to health care uptake before suicide Article

E. Elzinga (Elke), D. de Beurs (Derek), A.T.F. Beekman (Aartjan), G.A. Berkelmans (Guus) and R. Gilissen (Renske)