| 2016 | OOPSLA | Discount method for programming language evaluation. | Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen |
| 2013 | MDM | SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. | Ren Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen |
| 2012 | DLS | Object-oriented programming with gradual abstraction. | Kurt Nrmark, Lone Leth Thomsen, Bent Thomsen |
| 2012 | ISORC | Schedulability Analysis Abstractions for Safety Critical Java. | Thomas Bgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
| 2011 | ISORC | Refactoring Real-Time Java Profiles. | Hans Sndergaard, Bent Thomsen, Anders P. Ravn, Ren Rydhof Hansen, Thomas Bgholm |
| 2010 | IPIN | Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. | Ren Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen |
| 2009 | MDM | Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. | Ren Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen |
| 2008 | Mobiquitous | Seamless indoor/outdoor positioning with streamspin. | Ren Hansen, Christian S. Jensen, Bent Thomsen, Rico Wind |
| 2007 | ISORC | A Profile for Safety Critical Java. | Martin Schoeberl, Hans Sndergaard, Bent Thomsen, Anders P. Ravn |
| 2007 | Mobiquitous | Using Weighted Graphs for Computationally Efficient WLAN Location Determination. | Ren Hansen, Bent Thomsen |
| 1996 | CONCUR | A Facile Tutorial. | Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo |
| 1996 | SAS | Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
| 1995 | FCT | From a Concurrent Lambda-Calculus to the Pi-Calculus. | Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
| 1989 | POPL | A Calculus of Higher Order Communicating Systems. | Bent Thomsen |
| 1988 | LICS | A Modal Process Logic | Kim Guldstrand Larsen, Bent Thomsen |
| 1988 | MFCS | Compositional Proofs by Partial Specification of Processes. | Kim Guldstrand Larsen, Bent Thomsen |