“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
,