On the Design of the Amoeba Configuration Manager. - Erik H. Baalbergen; Kees Verstoep; Andrew S. Tanenbaum (SCM, 1989)

An experimental comparison of remote procedure call and group communication. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (ACM SIGOPS European Workshop, 1992)

Using Group Communication to Implement a Fault-Tolerant Directory Service. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (ICDCS, 1993)

Group communication in Amoeba and its applications. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (Distributed Syst. Eng., 1993)

Efficient Reliable Multicast on Myrinet. - Kees Verstoep; Koen Langendoen; Henri E. Bal (ICPP, Vol. 3, 1996)

A Comparison of Three High Speed Networks for Parallel Cluster Computing. - Henri E. Bal; Rutger F. H. Hofman; Kees Verstoep (CANPC, 1997)

Performance of a High-Level Parallel Language on a High-Speed Network. - Henri E. Bal; Raoul Bhoedjang; Rutger F. H. Hofman; Ceriel J. H. Jacobs; Koen Langendoen; Tim Rühl; Kees Verstoep (J. Parallel Distributed Comput., 1997)

Evaluating Design Alternatives for Reliable Communication on High-Speed Networks. - Raoul Bhoedjang; Kees Verstoep; Tim Rühl; Henri E. Bal; Rutger F. H. Hofman (ASPLOS, 2000)

Fast Measurement of LogP Parameters for Message Passing Platforms. - Thilo Kielmann; Henri E. Bal; Kees Verstoep (IPDPS Workshops, 2000)

The Distributed ASCI Supercomputer Project. - Henri E. Bal; Raoul Bhoedjang; Rutger F. H. Hofman; Ceriel J. H. Jacobs; Thilo Kielmann; Jason Maassen; Rob van Nieuwpoort; John Romain; Luc Renambot; Tim Rühl; Ronald Veldema; Kees Verstoep; et al. (ACM SIGOPS Oper. Syst. Rev., 2000)

Early Experiences with the EGrid Testbed. - Gabrielle Allen; Thomas Dramlitsch; Tom Goodale; Gerd Lanfermann; Thomas Radke; Edward Seidel; Thilo Kielmann; Kees Verstoep; Zoltán Balaton; Péter Kacsuk; Ferenc Szalai; Jörn Gehring; et al. (CCGRID, 2001)

Network performance-aware collective communication for clustered wide-area systems. - Thilo Kielmann; Henri E. Bal; Sergei Gorlatch; Kees Verstoep; Rutger F. H. Hofman (Parallel Comput., 2001)

Programming environments for high-performance Grid computing: the Albatross project. - Thilo Kielmann; Henri E. Bal; Jason Maassen; Rob van Nieuwpoort; Lionel Eyraud; Rutger F. H. Hofman; Kees Verstoep (Future Gener. Comput. Syst., 2002)

Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems. - Alexandre Denis 001; Olivier Aumage; Rutger F. H. Hofman; Kees Verstoep; Thilo Kielmann; Henri E. Bal (HPDC, 2004)

Cluster communication protocols for parallel-programming systems. - Kees Verstoep; Raoul Bhoedjang; Tim Rühl; Henri E. Bal; Rutger F. H. Hofman (ACM Trans. Comput. Syst., 2004)

Satin++: Divide-and-Share on the Grid. - Gosia Wrzesinska; Jason Maassen; Kees Verstoep; Henri E. Bal (e-Science, 2006)

Middleware adaptation with the Delphoi service. - Jason Maassen; Rob van Nieuwpoort; Thilo Kielmann; Kees Verstoep; Mathijs den Burger (Concurr. Comput. Pract. Exp., 2006)

Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed. - Kees Verstoep; Jason Maassen; Henri E. Bal; John W. Romein (CCGRID, 2008)

Efficient Large-Scale Model Checking. - Kees Verstoep; Henri E. Bal; Jiri Barnat; Lubos Brim (Distributed Verification and Grid Computing, 2008)

Large-Scale Parallel Computing on Grids. - Henri E. Bal; Kees Verstoep (PDMC@ETAPS, 2008)

Assessing the impact of future reconfigurable optical networks on application performance. - Jason Maassen; Kees Verstoep; Henri E. Bal; Paola Grosso; Cees de Laat (IPDPS, 2009)

Embedded Network Protocols for Mobile Devices. - Despo Galataki; Andrei Radulescu; Kees Verstoep; Wan J. Fokkink (FMICS, 2010)

Distributed MAP in the SpinJa Model Checker - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (PDMC, 2011)

Using Model Checking to Analyze the System Behavior of the LHC Production Grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Wan J. Fokkink; Jeff Templon; Henri E. Bal (CCGRID, 2012)

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. - Daniela Remenska; Jeff Templon; Tim A. C. Willemse; Philip Homburg; Kees Verstoep; Adrian Casajus Ramo; Henri E. Bal (NASA Formal Methods, 2013)

Using model checking to analyze the system behavior of the LHC production grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Jeff Templon; Henri E. Bal (Future Gener. Comput. Syst., 2013)

Bonsai: Cutting Models Down to Size. - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (Ershov Memorial Conference, 2014)

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. - Daniela Remenska; Tim A. C. Willemse; Jeff Templon; Kees Verstoep; Henri E. Bal (FORTE, 2014)

Scaling VM Deployment in an Open Source Cloud Stack. - Kaveh Razavi; Stefania Costache 002; Andrea Gardiman; Kees Verstoep; Thilo Kielmann (ScienceCloud@HPDC, 2015)

Two Architectures for Parallel Processing of Huge Amounts of Text. - Mathijs Kattenberg; Zuhaitz Beloki; Aitor Soroa; Xabier Artola; Antske Fokkens; Paul Huygen; Kees Verstoep (LREC, 2016)

Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks. - Leonardos Pantiskas; Kees Verstoep; Henri E. Bal (SSCI, 2020)

Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS. - Leonardos Pantiskas; Kees Verstoep; Mark Hoogendoorn; Henri E. Bal (DCOSS, 2022)

An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions. - Leonardos Pantiskas; Kees Verstoep; Mark Hoogendoorn; Henri E. Bal (ICMLA, 2022)

CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism. - Henk Dreuning; Kees Verstoep; Henri E. Bal; Rob V. van Nieuwpoort (HiPC, 2023)

Channel-Adaptive Early Exiting Using Reinforcement Learning for Multivariate Time Series Classification. - Leonardos Pantiskas; Kees Verstoep; Mark Hoogendoorn; Henri E. Bal (ICMLA, 2023)

Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification. - Leonardos Pantiskas; Kees Verstoep; Mark Hoogendoorn; Henri E. Bal (SSCI, 2023)

Multivariate Time Series Early Classification Across Channel and Time Dimensions. - Leonardos Pantiskas; Kees Verstoep; Mark Hoogendoorn; Henri E. Bal (CoRR, 2023)