37 citations · 38 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
Rijkswaterstaat, the National Dutch body responsible for infrastructure, recognised the importance of formal modelling and set up a program to model the control of road tunnels. Th…
cond-mat.soft2019★ 37 cited
Non-Euclidean Origami
Scott Waitukaitis, Peter Dieleman, Martin van Hecke
Traditional origami starts from flat surfaces, leading to crease patterns consisting of Euclidean vertices. However, Euclidean vertices are limited in their folding motions, are de…