“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.
,Alan Turing: His Work and Impact
Alan Turing: His Work and Impact . Elsevier Science, 2013.
,The Dawn of Software Engineering: from Turing to Dijkstra
The Dawn of Software Engineering: from Turing to Dijkstra. Lonely Scholar, 2012.
,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.
,Programming Languages as Technical Artifacts
“Programming Languages as Technical Artifacts”, Philosophy & Technology, pp. 1-21, 2013. http://dx.doi.org/10.1007/s13347-012-0098-z
,Computing and Experiments
“Computing and Experiments”, Philosophy & Technology, pp. 1-18, 2013. http://dx.doi.org/10.1007/s13347-013-0126-7
,Miscomputation
“Miscomputation”, Philosophy & Technology, vol. 26, pp. 253-272, 2013. http://dx.doi.org/10.1007/s13347-013-0112-0
,