Math/pad: A System for On-Line Preparation of Mathematical Documents. - Roland Carl Backhouse; Richard Verhoeven; Olaf Weber (Softw. Concepts Tools, 1997)

Interfacing Program Construction and Verification. - Richard Verhoeven; Roland Carl Backhouse (World Congress on Formal Methods, 1999)

On Design of a Redundant Wire-Driven Parallel Robot WARP Manipulator. - Kiyoshi Maeda; Satoshi Tadokoro; Toshi Takamori; Motofumi Hattori; Manfred Hiller; Richard Verhoeven (ICRA, 1999)

A portable parallel manipulator for search and rescue at large-scale urban earthquakes and an identification algorithm for the installation in unstructured environments. - Satoshi Tadokoro; Richard Verhoeven; Manfred Hiller; Toshi Takamori (IROS, 1999)

Kinematic Identification Method for Cable-Driven Rescue Robots in Unstructured Environments. - Satoshi Tadokoro; Richard Verhoeven; Ulrike Zwiers; Manfred Hiller; Fumiaki Takemura (J. Robotics Mechatronics, 2003)

Defining services for mobile terminals using remote user interfaces. - Richard Verhoeven; Walter Dees (IEEE Trans. Consumer Electron., 2004)

The WASP Architecture for Wireless Sensor Networks. - Johan Lukkien; Frank Siegemund; Richard Verhoeven; Remi Bosman; Laurent Gomez; Michael Hellenschmidt (AmI Workshops, 2007)

Virtual Community Based Secure Service Discovery and Access for 3D Video Steaming Applications. - Shudong Chen; Igor Radovanovic; Johan Lukkien; Richard Verhoeven; Melissa Tjiong; Remi Bosman (MCAM, 2007)

VICSDA: using virtual communities to secure service discovery and access. - Shudong Chen; Johan Lukkien; Igor Radovanovic; Melissa Tjiong; Remi Bosman; Richard Verhoeven; Goran Petrovic (QSHINE, 2007)

Improving TCP performance over last-hop wireless networks for live video delivery. - Igor Radovanovic; Richard Verhoeven; Johan Lukkien (IEEE Trans. Consumer Electron., 2008)

An Integral Approach to Programming Sensor Networks. - Remi Bosman; Johan Lukkien; Richard Verhoeven (CCNC, 2009)

On-Node Processing of ECG Signals. - Diana Albu; Johan Lukkien; Richard Verhoeven (CCNC, 2010)

Semantic interoperability in a heterogeneous smart lighting system. - Sachin Bhardwaj; Tanir Ozcelebi; Johan Lukkien; Richard Verhoeven (ISCC, 2010)

Toward a trust management model for a configurable body sensor platform. - Vinh T. Bui; Johan J. Lukkien; Richard Verhoeven (BODYNETS, 2011)

Delay Performance in a Semantic Interoperability Architecture. - Sachin Bhardwaj; Tanir Özçelebi; Richard Verhoeven; Johan Lukkien (SAINT, 2011)

Smart indoor solid state lighting based on a novel illumination model and implementation. - Sachin Bhardwaj; Tanir Ozcelebi; Richard Verhoeven; Johan Lukkien (IEEE Trans. Consumer Electron., 2011)

Gateway architectures for service oriented application-level gateways. - Remi Bosman; Johan Lukkien; Richard Verhoeven (IEEE Trans. Consumer Electron., 2011)

A Body Sensor Platform for concurrent applications. - Vinh T. Bui; Richard Verhoeven; Johan J. Lukkien (ICCE-Berlin, 2012)

Dependable partitioning for autonomous agents in adaptive lighting environments. - Sunder A. B. Rao; Tanir Ozcelebi; Martijn M. H. P. van den Heuvel; Richard Verhoeven; Johan J. Lukkien (ICCE, 2012)

Software Authentication to Enhance Trust in Body Sensor Networks. - Joep A. de Groot; Vinh T. Bui; Jean-Paul M. G. Linnartz; Johan Lukkien; Richard Verhoeven (STM, 2012)

A Trust Evaluation Framework for Sensor Readings in Body Area Sensor Networks. - Vinh T. Bui; Richard Verhoeven; Johan Lukkien; Rafal Kocielnik (BODYNETS, 2013)

Light pole localization in a smart city. - Mike Holenderski; Richard Verhoeven; Tanir Ozcelebi; Johan J. Lukkien (ETFA, 2014)

Towards an interoperable framework for mixed real-time simulations of industrial embedded systems. - Amir Soltani Nezhad; Luis F. B. Ferreira; Martijn M. H. P. van den Heuvel; Richard Verhoeven; Johan J. Lukkien; Rudolf H. Mak; Eric Korff de Gidts (ETFA, 2014)

A wearable monitoring system for nocturnal epileptic seizures. - Constantin Ungureanu; Vinh T. Bui; Wouter Roosmalen; Ronald M. Aarts; Johan B. A. M. Arends; Richard Verhoeven; Johan J. Lukkien (ISMICT, 2014)

Intelligent street lighting clustering. - Richard Verhoeven; Natasa Jovanovic; Johan J. Lukkien (WiMobCity@MobiHoc, 2014)

Evaluating Trustworthiness through Monitoring: The Foot, the Horse and the Elephant. - Vinh T. Bui; Richard Verhoeven; Johan Lukkien (TRUST, 2014)

Proxy support for service discovery using mDNS/DNS-SD in low power networks. - Milosh Stolikj; Richard Verhoeven; Pieter J. L. Cuijpers; Johan J. Lukkien (WoWMoM, 2014)

The case of Dynamic Street Lighting an exploration of long-term data collection. - Johan J. Lukkien; Richard Verhoeven (ETFA, 2015)

An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. - Amir Soltani Nezhad; Johan J. Lukkien; Rudolf H. Mak; Richard Verhoeven; Martijn M. H. P. van den Heuvel (SAFECOMP Workshops, 2016)

Time Synchronization in IoT Mesh Networks. - Tibor Beke; Esko Dijk; Tanir Ozcelebi; Richard Verhoeven (ISNCC, 2020)

Performance Evaluation of Wi-Fi HaLow, NB-IoT and LoRa for Smart City Applications. - Richard Verhoeven; Stash Kempinski; Nirvana Meratnia (PE-WASUN, 2022)

Selfish Behavior in IEEE 802.11ah Networks: A Detection Algorithm and Mitigation Strategies. - Yuliyan Georgiev; Richard Verhoeven; Nirvana Meratnia (Sensors, 2022)

Exception Analysis of Running Complex and Computation-intensive Deep Learning Models. - Richard Verhoeven; Bram van Berlo; Nirvana Meratnia (WINCOM, 2023)

Modeling Multivariate Relations in Multiblock Semiconductor Manufacturing Data Using Process PLS To Enhance Process Understanding. - Geert H. van Kollenburg; Richard Verhoeven; Mike Holenderski; Nirvana Meratnia; Daniele Pagano (WSC, 2023)

Use of Domain Labels during Pre-Training for Domain-Independent WiFi-CSI Gesture Recognition. - Bram van Berlo; Richard Verhoeven; Nirvana Meratnia (Sensors, 2023)