Lone Leth Thomsen

24 papers B 3C 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Sustainable Software Development: New Challenges for Programming, Language Design and Analysis.
Languages, Compilers, Analysis
Bent Thomsen, Lone Leth Thomsen, Thomas Bøgholm
2025 J jnl
Teaching Energy-Efficient Software - An Experience Report.
CoRR
Henrik Bærbak Christensen, Maja Hanne Kirkeby, Bent Thomsen, Lone Leth Thomsen
2022 J jnl
On the cost semantics for spreadsheets with sheet-defined functions.
J. Comput. Lang.
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2020 J jnl
On the semantics for spreadsheets with sheet-defined functions.
J. Comput. Lang.
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2018 — conf
Analyzing Spreadsheets for Parallel Execution via Model Checking.
Models, Mindsets, Meta
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
2016 J jnl
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge.
ACM Trans. Comput. Educ.
Peter Dolog, Lone Leth Thomsen, Bent Thomsen
2016 — conf
Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.
ELS
Søren Kejser Jensen, Lone Leth Thomsen
2015 — conf
From Safety Critical Java Programs to Timed Process Models.
Programming Languages with Applications to Biology and Security
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
2013 — conf
SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation.
MDM (2)
René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen
2012 J jnl
Daisy: the center for data-intensive systems at Aalborg University.
SIGMOD Rec.
Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp
2012 C conf
Object-oriented programming with gradual abstraction.
DLS
Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen
2010 J jnl
Computational Abstraction Steps.
J. Object Technol.
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark
2008 J jnl
Mapping and Visiting in Functional and Object-Oriented Programming.
J. Object Technol.
Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen
2008 — ch.
Mini Project Programming Exams.
Reflections on the Teaching of Programming
Kurt Nørmark, Lone Leth Thomsen, Kristian Torp
2001 — ch.
Towards Global Computations Guided by Concurrency Theory.
Current Trends in Theoretical Computer Science
Bent Thomsen, Lone Leth Thomsen
1999 J jnl
Causality for Debugging Mobile Agents.
Acta Informatica
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1998 J jnl
Towards Global Computations Guided by Concurrency Theory.
Bull. EATCS
Bent Thomsen, Lone Leth Thomsen
1996 B conf
A Facile Tutorial.
CONCUR
Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo
1996 — conf
Analysis of Facile Programs: A Case Study.
LOMAPS
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1996 B conf
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
SAS
Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1995 B conf
From a Concurrent Lambda-Calculus to the Pi-Calculus.
FCT
Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen
1995 J jnl
Some Facile Chemistry.
Formal Aspects Comput.
Lone Leth Thomsen, Bent Thomsen
1993 — conf
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.
TAPSOFT
Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen
1992 — conf
Some Issues in the Semantics of Facile Distributed Programming.
REX Workshop
Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone