De Mol, Liesbeth. In Press. Let's be logical Formalism. The Success(Es) Of A Failure. A. Moktefi, Moretti, A., and Schang, Fabian. College publications.

De Mol, Liesbeth, Martin Carlé, and Maarten Bullynck. In Press. “Haskell Before Haskell: An Alternative Lesson In Practical Logics Of The Eniac”. Journal of Logic and Computation.

De Mol, Liesbeth. 2014. “The Proof Is In The Process: A Preamble For A Philosophy Of Computer-Assisted Mathematics” Maria Carla Galavotti, Dieks, Dennis, Gonzalez, Wenceslao J, Hartmann, Stephan, Uebel, Thomas, and Weber, Marcel. New Directions in the Philosophy of Science 5: 15–33.

De Mol, Liesbeth. 2013. “Generating, Solving And The Mathematics Of Homo Sapiens. Emil Post’S Views On Computation” H. Zenil. A Computable Universe: Understanding and Exploring Nature as Computation: 45–62.

De Mol, Liesbeth. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” Giuseppe Primiero and Allo, Patrick. Third Workshop in the Philosophy of Information: 80-92.

De Mol, Liesbeth, and Giuseppe Primiero. 2012. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.

De Mol, Liesbeth, and Maarten Bullynck. 2012. The Turing Centenary Conference CiE 2012: How the World Computes A Short History Of Small Machines.

De Mol, Liesbeth. 2011. “On The Complex Behavior Of Simple Tag Systems — An Experimental Approach”. Theoretical Computer Science 412: 97–112.

De Mol, Liesbeth. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” Karen François, Löwe, Benedikt, Müller, Thomas, and Van Kerkhove, Bart. Foundations of the Formal Sciences: 61–90.

Bullynck, Maarten, and Liesbeth De Mol. 2010. “Setting-Up Early Computer Programs: D. H. Lehmer's Eniac Computation” Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Archive for Mathematical Logic 49: 123–146. http://dx.doi.org/10.1007/s00153-009-0169-8.

De Mol, Liesbeth. 2010. “Solvability Of The Halting And Reachability Problem For Binary 2-Tag Systems”. Fundamenta Informaticae 99: 435–471.

De Mol, Liesbeth. 2009. “Doing Mathematics On The Eniac. Von Neumann's And Lehmer's Different Visions”. In Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Ingo Witzke and Wilhelmus, E. Logos Verlag Berlin.

De Mol, Liesbeth. 2009. “Mathematics Through Man-Computer Interaction. A Study Of The Early Years Of Computing.”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten.

De Mol, Liesbeth. 2008. “On The Boundaries Of Solvability And Unsolvability In Tag Systems. Theoretical And Experimental Results.”. In The complexity of simple programs, The complexity of simple programs, Damien Woods, Neary, Turlough, and Seda, Tony. Cork University Press.

De Mol, Liesbeth. 2008. “How To Talk With A Computer: An Essay On Computability And Man-Computer Conversations”. Off Topic: Ubersetzen. Zeitschrift für Medienkunst der KHM 1: 80–89.

De Mol, Liesbeth. 2008. “Tag Systems And Collatz-Like Functions”. Theoretical Computer Science 390: 92–101. http://dx.doi.org/1854/12954.

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

De Mol, Liesbeth. 2007. “Study Of Limits Of Solvability In Tag Systems”. In Lecture Notes in Computer Science, Lecture Notes in Computer Science, Durand J Lose and Margenstern, M. Springer.

De Mol, Liesbeth. 2007. “Tracing Unsolvability. A Mathematical, Historical And Philosophical Analysis With A Special Focus On Tag Systems”.

De Mol, Liesbeth. 2006. “Closing The Circle: An Analysis Of Emil Post's Early Work”. Bulletin of symbolic logic 12: 267–289.

De Mol, Liesbeth. 2006. “Facing The Computer. Some Techniques To Understand Technique.”. In Computers and Philosophy, an International Conference, Computers and Philosophy, an International Conference, C. TA Schmidt. EOARD.

De Mol, Liesbeth. 2006. Unpublished Mathematics And Pictures. Some Popular Examples.

De Mol, Liesbeth. 2006. “Post'’S Machine”.

De Mol, Liesbeth. 2006. “Theory And Experiment In The Work Of Alonzo Church And Emil Post”. unpublished.

De Mol, Liesbeth. 2005. “Study Of Fractals Derived From Ifs-Fractals By Metric Procedures”. Fractals. Complex Geometry, Patterns, and Scaling in Nature and Society 13: 237–244. http://www.worldscientific.com/doi/abs/10.1142/S0218348X05002878.