Derivative coordinates for analytic tree fractals and fractal engineering. - Henk Mulder (CoRR, 2015)

Definition of geometric space around analytic fractal trees using derivative coordinate funtions. - Henk Mulder (CoRR, 2017)

ONE Record: One Step Closer to Digital Cargo with Ontologies and Linked Data. - Andra Blaj; Henk Mulder; David Sauv; Arnaud Lambert; Christophe Lambert (ISWC (Demos/Industry), 2020)

Improving Performance of the VerCors Program Verifier. - Henk Mulder; Marieke Huisman; Sebastiaan J. C. Joosten (20 Years of KeY, 2020)