Liesbeth De Mol

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 8

Top Topics

Computer Science

Top Venues

IEEE Ann. Hist. Comput.

J. Log. Comput.

Publications

Alberto Policriti, Eugenio G. Omodeo, Liesbeth De Mol
Obituary of Martin Davis (1928-2023). IEEE Ann. Hist. Comput. 45 (1) (2023)
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga, Matti Tedre
Characterizing the Nature of Programs for educational purposes. ITiCSE (2) (2022)
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga
What We Talk About When We Talk About Programs. ITiCSE-WGR (2022)
Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
Russian Logics and the Culture of Impossible: Part II - Reinterpreting Algorithmic Rationality. IEEE Ann. Hist. Comput. 43 (4) (2021)
Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
Russian Logics and the Culture of Impossible: Part I - Recovering Intelligentsia Logics. IEEE Ann. Hist. Comput. 43 (4) (2021)
Liesbeth De Mol, Maarten Bullynck
Roots of 'program' revisited. Commun. ACM 64 (4) (2021)
Liesbeth De Mol
Logic, Programming, and Computer Science: Local Perspectives. IEEE Ann. Hist. Comput. 43 (4) (2021)
Liesbeth De Mol, Maarten Bullynck, Edgar G. Daylight
Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s. IEEE Ann. Hist. Comput. 40 (1) (2018)
Liesbeth De Mol, Martin Carlé, Maarten Bullynck
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC. J. Log. Comput. 25 (4) (2015)
Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol
Why did computer science make a hero out of Turing? Commun. ACM 58 (3) (2015)
Liesbeth De Mol
On the complex behavior of simple tag systems - An experimental approach. Theor. Comput. Sci. 412 (1-2) (2011)
Liesbeth De Mol
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems. Fundam. Informaticae 99 (4) (2010)
Maarten Bullynck, Liesbeth De Mol
Setting-up early computer programs: D. H. Lehmer's ENIAC computation. Arch. Math. Log. 49 (2) (2010)
Liesbeth De Mol, Maarten Bullynck, Martin Carlé
Haskell before Haskell: Curry's Contribution to Programming (1946-1950). CiE (2010)
Liesbeth De Mol
Tag systems and Collatz-like functions. Theor. Comput. Sci. 390 (1) (2008)
Liesbeth De Mol
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof. FotFS (2008)
Liesbeth De Mol
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results CSP (2008)
Liesbeth De Mol, Maarten Bullynck
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. CiE (2008)
Liesbeth De Mol
Study of Limits of Solvability in Tag Systems. MCU (2007)
Liesbeth De Mol
Closing the Circle: An Analysis of Emil Post's Early Work. Bull. Symb. Log. 12 (2) (2006)