Publication

How Suite it is: Declarative XForms submission testing In Proceedings

S. Pemberton (Steven)

TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+". Software|Data

T.M. Soethout (Tim)

Effective and Efficient Computation with Multiple-timescale Spiking Recurrent Neural Networks In Proceedings

B. Yin (Bojian), F. Corradi (Federico) and S.M. Bohte (Sander)

Role of the TPC in the cloud age In Proceedings

A. Crolotte (Alain), L. Fei-Fei (Li), M. Poess, P.A. Boncz (Peter) and R. Nambiar (Raghunath)

VRTogether co-organized the "First International Workshop on Tools for Creating XR Media Experience - VRTogether - 30-07-2020 Magazine Article

Emergence of Scale-Free Blackout Sizes in Power Grids Article

T. Nesti (Tommaso), F. Sloothaak and A.P. Zwart (Bert)

Visual distortions in 360-degree videos Article

R. Azevedo (Roberto), N. Birkbeck, F. De Simone (Francesca), I. Janatra, B. Adsumilli and P. Frossard (Pascal)

Improved algorithms for alternating matrix space isometry: From theory to practice In Proceedings

P.A. Brooksbank (Peter), Y. Li (Yinan), Y. Qiao (Youming) and J.B. Wilson (James)