Henk Mulder

According to our database, Henk Mulder authored at least 4 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Improving Performance of the VerCors Program Verifier.

Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

ONE Record: One Step Closer to Digital Cargo with Ontologies and Linked Data.

Andra Blaj, Henk Mulder, David Sauv, Arnaud Lambert, Christophe Lambert

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

2017

Definition of geometric space around analytic fractal trees using derivative coordinate funtions.

Henk Mulder

CoRR, 2017

2015

Derivative coordinates for analytic tree fractals and fractal engineering.

Henk Mulder

CoRR, 2015