, “Honesty, Competence, and Trust for Systems Design”, Philosophy & Technology, pp. 1-5, 2013. http://dx.doi.org/10.1007/s13347-013-0116-9
The Philosophy of Computer Science
, “The Philosophy of Computer Science”, in The Stanford Encyclopedia of Philosophy, Fall 2013th ed., 2013.
Mechanistic Miscomputation: a Reply to Fresco and Primiero
, “Mechanistic Miscomputation: a Reply to Fresco and Primiero”, Philosophy & Technology, pp. 1-4, 2013. http://dx.doi.org/10.1007/s13347-013-0141-8
From Ancient to Modern Computing: A History of Information Hiding
, “From Ancient to Modern Computing: A History of Information Hiding”, IEEE Annals of the History of Computing, vol. 35, no. 3, 2013.
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
, “Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation. In Press.
The Dawn of Software Engineering: from Turing to Dijkstra
, The Dawn of Software Engineering: from Turing to Dijkstra. Lonely Scholar, 2012.
Alan Turing: His Work and Impact
, Alan Turing: His Work and Impact . Elsevier Science, 2013.
Miscomputation
, “Miscomputation”, Philosophy & Technology, vol. 26, pp. 253-272, 2013. http://dx.doi.org/10.1007/s13347-013-0112-0
What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability
, “What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability”, Philosophy & Technology, pp. 1-23, 2013. http://dx.doi.org/10.1007/s13347-012-0095-2
The Minimal Levels of Abstraction in the History of Modern Computing
, “The Minimal Levels of Abstraction in the History of Modern Computing”, Philosophy & Technology, pp. 1-17, 2013. http://dx.doi.org/10.1007/s13347-012-0097-0
