A Modal Process Logic - Kim Guldstrand Larsen; Bent Thomsen (LICS, 1988)

Compositional Proofs by Partial Specification of Processes. - Kim Guldstrand Larsen; Bent Thomsen (MFCS, 1988)

A Calculus of Higher Order Communicating Systems. - Bent Thomsen (POPL, 1989)

Calculi for higher order communicating systems. - Bent Thomsen (1990)

Partial Specifications and Compositional Verification. - Kim Guldstrand Larsen; Bent Thomsen (Theor. Comput. Sci., 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)

Plain CHOCS: A Second Generation Calculus for Higher Order Processes. - Bent Thomsen (Acta Informatica, 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 Theory of Higher Order Communicating Systems - Bent Thomsen (Inf. 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)

Logical and Operational Methods in the Analysis of Programs and Systems. - Flemming Nielson; Patrick Cousot; Mads Dam; Pierpaolo Degano; Pierre Jouvelot; Alan Mycroft; 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)

Programming Languages, Analysis Tools, and Concurrency Theory. - Bent Thomsen (ACM Comput. Surv., 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)

A fully abstract denotational semantics for the calculus of higher-order communicating systems. - Bent Thomsen; Samson Abramsky (Theor. Comput. Sci., 2001)

A Ravenscar-Java profile implementation. - Hans Søndergaard; Bent Thomsen; Anders P. Ravn (JTRES, 2006)

A Profile for Safety Critical Java. - Martin Schoeberl; Hans Søndergaard; Bent Thomsen; Anders P. Ravn (ISORC, 2007)

Using Weighted Graphs for Computationally Efficient WLAN Location Determination. - René Hansen; Bent Thomsen (MobiQuitous, 2007)

Model-based schedulability analysis of safety critical hard real-time Java programs. - Thomas Bøgholm; Henrik Kragh-Hansen; Petur Olsen; Bent Thomsen; Kim Guldstrand Larsen (JTRES, 2008)

Seamless indoor/outdoor positioning with streamspin. - René Hansen; Christian S. Jensen; Bent Thomsen; Rico Wind (MobiQuitous, 2008)

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

Using On-Line Tutorials in Introductory IT Courses. - Bent Thomsen (Reflections on the Teaching of Programming, 2008)

A predictable Java profile: rationale and implementations. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2009)

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. - René Hansen; Rico Wind; Christian S. Jensen; Bent Thomsen (Mobile Data Management, 2009)

Efficient and Accurate WLAN Positioning with Weighted Graphs. - René Hansen; Bent Thomsen (MOBILIGHT, 2009)

Pretty Easy Pervasive Positioning. - René Hansen; Rico Wind; Christian S. Jensen; Bent Thomsen (SSTD, 2009)

Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. - René Hansen; Rico Wind; Christian S. Jensen; Bent Thomsen (IPIN, 2010)

Schedulability analysis for Java finalizers. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2010)

Formal Modelling and Analysis of Predictable Java. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (ERCIM News, 2010)

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

Refactoring Real-Time Java Profiles. - Hans Søndergaard; Bent Thomsen; Anders P. Ravn; René Rydhof Hansen; Thomas Bøgholm (ISORC, 2011)

WCET analysis of Java bytecode featuring common execution environments. - Christian Frost; Casper Svenning Jensen; Kasper Søe Luckow; Bent Thomsen (JTRES, 2011)

Bluetooth Indoor Positioning System Using Fingerprinting. - Christian Frost; Casper Svenning Jensen; Kasper Søe Luckow; Bent Thomsen; René Hansen (MOBILIGHT, 2011)

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

Schedulability Analysis Abstractions for Safety Critical Java. - Thomas Bøgholm; Bent Thomsen; Kim G. Larsen; Alan Mycroft (ISORC, 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)

TetaSARTS: a tool for modular timing analysis of safety critical Java systems. - Kasper Søe Luckow; Thomas Bøgholm; Bent Thomsen; Kim Guldstrand Larsen (JTRES, 2013)

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

Towards harnessing theories through tool support for hard real-time Java programming. - Thomas Bøgholm; Christian Frost; René Rydhof Hansen; Casper Svenning Jensen; Kasper Søe Luckow; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (Innov. Syst. Softw. Eng., 2013)

HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. - Kasper Søe Luckow; Bent Thomsen; Stephan Erbs Korsholm (JTRES, 2014)

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)

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. - Kasper Søe Luckow; Corina S. Pasareanu; Bent Thomsen (EURASIP J. Embed. Syst., 2015)

Discount method for programming language evaluation. - Svetomir Kurtev; Tommy Aagaard Christensen; Bent Thomsen (PLATEAU@SPLASH, 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)

HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems. - Kasper Søe Luckow; Bent Thomsen; Stephan Erbs Korsholm (Concurr. Comput. Pract. Exp., 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)

An Approach to Estimating Energy Consumption of Web-based IT Systems. - Maja H. Kirkeby; John P. Gallagher; Bent Thomsen (CERCIRAS, 2021)

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)