Functional programs as reconfigurable networks of communicating processes. - Lone Leth (1991)

Some Issues in the Semantics of Facile Distributed Programming. - Bent Thomsen; Lone Leth Thomsen; Alessandro Giacalone (REX Workshop, 1992)

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. - Jean-Marc Andreoli; Lone Leth Thomsen; Remo Pareschi; Bent Thomsen (TAPSOFT, 1993)

From a Concurrent Lambda-Calculus to the Pi-Calculus. - Roberto M. Amadio; Lone Leth Thomsen; Bent Thomsen (FCT, 1995)

Some Facile Chemistry. - Lone Leth Thomsen; Bent Thomsen (Formal Aspects Comput., 1995)

A Facile Tutorial. - Bent Thomsen; Lone Leth Thomsen; Tsung-Min Kuo (CONCUR, 1996)

Analysis of Facile Programs: A Case Study. - Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (LOMAPS, 1996)

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. - Roberta Borgia; Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (SAS, 1996)

Towards Global Computations Guided by Concurrency Theory. - Bent Thomsen; Lone Leth Thomsen (Bull. EATCS, 1998)

Causality for Debugging Mobile Agents. - Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (Acta Informatica, 1999)

Towards Global Computations Guided by Concurrency Theory. - Bent Thomsen; Lone Leth Thomsen (Current Trends in Theoretical Computer Science, 2001)

Mapping and Visiting in Functional and Object-Oriented Programming. - Kurt Nørmark; Bent Thomsen; Lone Leth Thomsen (J. Object Technol., 2008)

Mini Project Programming Exams. - Kurt Nørmark; Lone Leth Thomsen; Kristian Torp (Reflections on the Teaching of Programming, 2008)

Computational Abstraction Steps. - Lone Leth Thomsen; Bent Thomsen; Kurt Nørmark (J. Object Technol., 2010)

Object-oriented programming with gradual abstraction. - Kurt Nørmark; Lone Leth Thomsen; Bent Thomsen (DLS, 2012)

Daisy: the center for data-intensive systems at Aalborg University. - Hua Lu 001; Torben Bach Pedersen; Simonas Saltenis; Bent Thomsen; Lone Leth Thomsen; Kristian Torp (SIGMOD Rec., 2012)

SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. - René Hansen; Bent Thomsen; Lone Leth Thomsen; Filip Stubkjaer Adamsen (MDM (2), 2013)

From Safety Critical Java Programs to Timed Process Models. - Bent Thomsen; Kasper Søe Luckow; Lone Leth Thomsen; Thomas Bøgholm (Programming Languages with Applications to Biology and Security, 2015)

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control. - Søren Kejser Jensen; Lone Leth Thomsen (ELS, 2016)

Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge. - Peter Dolog; Lone Leth Thomsen; Bent Thomsen (ACM Trans. Comput. Educ., 2016)

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. - Anders P. Ravn; Bent Thomsen; Kasper Søe Luckow; Lone Leth; Thomas Bøgholm (Models, Algorithms, Logics and Tools, 2017)

Analyzing Spreadsheets for Parallel Execution via Model Checking. - Thomas Bøgholm; Kim G. Larsen; Marco Muñiz; Bent Thomsen; Lone Leth Thomsen (Models, Mindsets, Meta, 2018)

On the semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2020)

On the cost semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2022)

Teaching Energy-Efficient Software - An Experience Report. - Henrik Bærbak Christensen; Maja Hanne Kirkeby; Bent Thomsen; Lone Leth Thomsen (CoRR, 2025)