Epic fail: Emulators can tolerate polynomially many edge faults for free. In Proceedings

G. Bodwin (Greg), M. Dinitz and Y Nazari (Yasamin)

FabSim3: An automation toolkit for verified simulations using high performance computing Article

D. Groen (Derek), H. Arabnejad (Hamid), D. Suleimenova (Diana), W.N. Edeling (Wouter), E. Raffin (Erwan), Y. Xue (Yani), K. Bronik (Kevin), N. Monnier (Nicolas) and P.V. Coveney (Peter)

Volledig automatische robuuste en complexe software creëren, is geen heilige graal - AG Connect - 1-2-2023 Magazine Article

Likelihood degenerations Article

D. Agostini (Daniele), T. Brysiewicz (Taylor), C. Fevola (Claudia), L. Kühne (Lukas), B. Sturmfels, S.J.L. Telen (Simon) and T. Lam (Thomas)

Roadmap Thematic Digital Competence Center v1.0 - Domain Natural and Engineering Sciences Report

A. Brown (Anthony), D. Groep (David), M. Teperek (Marta), I. Dedoussi (Irene), V.A. Sarkol (Vera) and W. Som de Cerff (Wim)

On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Article

P.T.S. van der Gulik (Peter), M. Egas (Martijn), K. Kraaijeveld (Ken), N. Dombrowski (Nina), A.T. Groot (Astrid), A. Spang (Anja), W.D. Hoff (Wouter) and J. Gallie (Jenna)

CT-based data generation for foreign object detection on a single X-ray projection Article

V. Andriiashen (Vladyslav), R. van Liere (Robert), T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)

PLCrypto: A symmetric cryptographic library for programmable logic controllers Software

Z. Yang (Zheng), Z. Bao (Zhiting), C. Jin (Chenglu), Z. Liu (Zhe) and J. Zhou (Jianying)