Mark van Wijk

According to our database, Mark van Wijk authored at least 3 papers between 2019 and 2026.

Collaborative distances:

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

2026

Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking - (Long Tool Paper).

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version).

Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk

CoRR, November, 2025

2019

Household-specific targeting of agricultural advice via mobile phones: Feasibility of a minimum data approach for smallholder context.

Jonathan Steinke, Jerusha Onyango Achieng, James Hammond, Selamawit Sileshi Kebede, Dejene Kassahun Mengistu, Majuto Gaspar Mgimiloko, Jemal Nurhisen Mohammed, Joseph Musyoka, Stefan Sieber, Jeske van de Gevel, Mark van Wijk, Jacob van Etten

Comput. Electron. Agric., 2019