with Solheim, F.J. , Spring, J.M. , 2019, 'On malfunction, mechanisms and malware classification', Philosophy & Technology 32 (2), 339-362.
, 2015, Realist consequence, epistemic inference, computational correctness, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 573-588.
with De Mol, L. , 2014, 'Facing computing as technique: towards a history and philosophy of computing', Philosophy & Technology 27 (3), 321-326.
, 2014, 'On the ontology of the computing process and the epistemology of the computed', Philosophy & Technology 27 (3), 485-489.
with De Mol, L. (eds) , 2014, Philosophy & Technology 27 (3).
with Fresco, N. , 2013, 'Miscomputation', Philosophy & Technology 26 (3), 253-272.
, 2013, 'Honesty, competence, and trust for systems design', Philosophy & Technology 26 (4), 431-435.
, 2009, 'An epistemic logic for becoming informed', Synthese 167 (2), 363-389.
, 2008, Information and knowledge: a constructive type-theoretical approach, Springer, Dordrecht.
with Meheus, J. , 2008a, 'Majority merging by adaptive counting', Synthese 165 (2), 203-223.