Lone Leth Thomsen

According to our database, Lone Leth Thomsen authored at least 24 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2020

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

2018

Analyzing Spreadsheets for Parallel Execution via Model Checking.

Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen

Proceedings of the Models, Mindsets, 2018

2017

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

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

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.

Søren Kejser Jensen, Lone Leth Thomsen

Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016

2015

From Safety Critical Java Programs to Timed Process Models.

Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2013

SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation.

René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen

Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013

2012

Daisy: the center for data-intensive systems at Aalborg University.

Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp

SIGMOD Rec., 2012

Object-oriented programming with gradual abstraction.

Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2010

Computational Abstraction Steps.

Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark

J. Object Technol., 2010

2008

Mini Project Programming Exams.

Kurt Nørmark, Lone Leth Thomsen, Kristian Torp

Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008

Mapping and Visiting in Functional and Object-Oriented Programming.

Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen

J. Object Technol., 2008

2001

Towards Global Computations Guided by Concurrency Theory.

Bent Thomsen, Lone Leth Thomsen

Proceedings of the Current Trends in Theoretical Computer Science, 2001

1999

Causality for Debugging Mobile Agents.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Acta Informatica, 1999

1998

Towards Global Computations Guided by Concurrency Theory.

Bent Thomsen, Lone Leth Thomsen

Bull. EATCS, 1998

1996

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.

Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Static Analysis, Third International Symposium, 1996

Analysis of Facile Programs: A Case Study.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

A Facile Tutorial.

Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo

Proceedings of the CONCUR '96, 1996

1995

Some Facile Chemistry.

Lone Leth Thomsen, Bent Thomsen

Formal Aspects Comput., 1995

From a Concurrent Lambda-Calculus to the Pi-Calculus.

Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1993

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.

Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Some Issues in the Semantics of Facile Distributed Programming.

Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Functional programs as reconfigurable networks of communicating processes.

Lone Leth

PhD thesis, 1991