Centrum Wiskunde & Informatica

First-order hybrid separation logic Article

Journal of Automated Reasoning, 69(4), 26:1-26:13.

F.S. de Boer (Frank) and H.A. Hiep (Hans-Dieter)

December 2025
Invited Talk: "Is less better in AI disclosures? -- How level of detail affects trust in news readers" Presentation

P Prajod (Pooja)

December 2025
Scalable reinforcement learning for large-scale coordination of electric vehicles using graph neural networks Article

Communications Engineering, 4(1)

Orfanoudakis, S. (Stavros), V. Robu (Valentin), Salazar, E.M. (E. Mauricio), Palensky, P. (Peter) and Vergara, P.P. (Pedro P.)

December 2025
Total completion time scheduling under scenarios Article

Theory of Computing Systems, 69(4), 33:1-33:41.

T. Bosman (Thomas), M. van Ee (Martijn), E. Ergen (Ekin), C. Imreh (Csanád), A. Marchetti Spaccamela (Alberto), M. Skutella (Martin) and L. Stougie (Leen)

December 2025
The effect of police deployment strategy on emergency response times: An agent-based modelling investigation Article

Journal of Quantitative Criminology

T. Verlaan (Tim), D. Birks (Daniel) and R.D. van der Mei (Rob)

December 2025
Position: unlocking the full potential of data science requires tabular foundation models, agents, and humans Tech Report

T. Cong (Tianji), J.M. Eisenschlos (Julian Martin), D. Gomm (Daniel), L. Grinsztajn (Leo), A.C. Müller (Andreas C.), A. Sanghi (Anupam), J.-M. Bodensohn (Jan-Micha), V. Borisov (Vadim), M. Cochez (Michael), K. Eggensperger (Katharina), et al. F. Hutter (Frank)

December 2025
Phasebook: a survey of selected open problems in phase retrieval Article

Sampling Theory, Signal Processing, and Data Analysis, 23(2), 23:1-23:40.

M. Allain (Marc), S. Aslan (Selin), W. Coene (Wim), S. Dirksen (Sjoerd), J. Dong (Jonathan), J. Flamant (Julien), M. Iwen (Mark), F. Krahmer (Felix), T. van Leeuwen (Tristan), O. Melnyk (Oleh), et al.

December 2025
Towards contextual sensitive data detection Tech Report

L.W.G. Telkamp (Liang) and M Hulsebos (Madelon)

December 2025

Publication

First-order hybrid separation logic Article

Invited Talk: "Is less better in AI disclosures? -- How level of detail affects trust in news readers" Presentation

Scalable reinforcement learning for large-scale coordination of electric vehicles using graph neural networks Article

Total completion time scheduling under scenarios Article

The effect of police deployment strategy on emergency response times: An agent-based modelling investigation Article

Position: unlocking the full potential of data science requires tabular foundation models, agents, and humans Tech Report

Phasebook: a survey of selected open problems in phase retrieval Article

Towards contextual sensitive data detection Tech Report

Address

CWI researchers

Questions or comments?

Publication

First-order hybrid separation logic Article

Invited Talk: "Is less better in AI disclosures? -- How level of detail affects trust in news readers" Presentation

Scalable reinforcement learning for large-scale coordination of electric vehicles using graph neural networks Article

Total completion time scheduling under scenarios Article

The effect of police deployment strategy on emergency response times: An agent-based modelling investigation Article

Position: unlocking the full potential of data science requires tabular foundation models, agents, and humans Tech Report

Phasebook: a survey of selected open problems in phase retrieval Article

Towards contextual sensitive data detection Tech Report

Workflow

Workflow

Add Content