Closing the Circle: An Analysis of Emil Post's Early Work. - Liesbeth De Mol (Bull. Symb. Log., 2006)

Study of Limits of Solvability in Tag Systems. - Liesbeth De Mol (MCU, 2007)

A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. - Liesbeth De Mol; Maarten Bullynck (CiE, 2008)

Looking for busy beavers. A socio-philosophical study of a computer-assisted proof. - Liesbeth De Mol (FotFS, 2008)

On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results - Liesbeth De Mol (CSP, 2008)

Tag systems and Collatz-like functions. - Liesbeth De Mol (Theor. Comput. Sci., 2008)

Haskell before Haskell: Curry's Contribution to Programming (1946-1950). - Liesbeth De Mol; Maarten Bullynck; Martin Carlé (CiE, 2010)

Setting-up early computer programs: D. H. Lehmer's ENIAC computation. - Maarten Bullynck; Liesbeth De Mol (Arch. Math. Log., 2010)

Solvability of the Halting and Reachability Problem for Binary 2-tag Systems. - Liesbeth De Mol (Fundam. Informaticae, 2010)

On the complex behavior of simple tag systems - An experimental approach. - Liesbeth De Mol (Theor. Comput. Sci., 2011)

The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics. - Liesbeth De Mol (New Directions in the Philosophy of Science, 2014)

Why did computer science make a hero out of Turing? - Maarten Bullynck; Edgar G. Daylight; Liesbeth De Mol (Commun. ACM, 2015)

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC. - Liesbeth De Mol; Martin Carlé; Maarten Bullynck (J. Log. Comput., 2015)

Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s. - Liesbeth De Mol; Maarten Bullynck; Edgar G. Daylight (IEEE Ann. Hist. Comput., 2018)

Logic, Programming, and Computer Science: Local Perspectives. - Liesbeth De Mol (IEEE Ann. Hist. Comput., 2021)

Russian Logics and the Culture of Impossible: Part I - Recovering Intelligentsia Logics. - Ksenia Tatarchenko; Anya Yermakova; Liesbeth De Mol (IEEE Ann. Hist. Comput., 2021)

Russian Logics and the Culture of Impossible: Part II - Reinterpreting Algorithmic Rationality. - Ksenia Tatarchenko; Anya Yermakova; Liesbeth De Mol (IEEE Ann. Hist. Comput., 2021)

Roots of 'program' revisited. - Liesbeth De Mol; Maarten Bullynck (Commun. ACM, 2021)

What We Talk About When We Talk About Programs. - Violetta Lonati; Andrej Brodnik; Tim Bell 001; Andrew Paul Csizmadia; Liesbeth De Mol; Henry Hickman; Therese Keane; Claudio Mirolo; Mattia Monga (ITiCSE-WGR, 2022)

Characterizing the Nature of Programs for educational purposes. - Violetta Lonati; Andrej Brodnik; Tim Bell 001; Andrew Paul Csizmadia; Liesbeth De Mol; Henry Hickman; Therese Keane; Claudio Mirolo; Mattia Monga; Matti Tedre (ITiCSE (2), 2022)

Obituary of Martin Davis (1928-2023). - Alberto Policriti; Eugenio G. Omodeo; Liesbeth De Mol (IEEE Ann. Hist. Comput., 2023)

The Myth of the Coder. - Maarten Bullynck; Liesbeth De Mol (Commun. ACM, 2024)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. - Liesbeth De Mol; Yuri V. Matiyasevich; Eugenio G. Omodeo; Alberto Policriti; Wilfried Sieg; Elaine J. Weyuker (CoRR, 2025)