Lone Leth Thomsen
Lone Leth Thomsen
Associate Professor, Department of Computer Science, Aalborg University
Verified email at - Homepage
Cited by
Cited by
Facile antigua release programming guide
B Thomsen, L Leth, S Prasad, TM Kuo, A Kramer, F Knabe, A Giacalone
ECRC-93-20. European Computer-Industry Research Centre, 1993
A Facile tutorial
B Thomsen, L Leth, TM Kuo
International Conference on Concurrency Theory, 278-298, 1996
Some facile chemistry
L Leth, B Thomsen
Formal Aspects of Computing 7, 314-328, 1995
Assessing problem-based learning in a software engineering curriculum using Bloom’s taxonomy and the IEEE software engineering body of knowledge
P Dolog, LL Thomsen, B Thomsen
ACM Transactions on Computing Education (TOCE) 16 (3), 1-41, 2016
SmartCampusAAU--An Open Platform Enabling Indoor Positioning and Navigation
R Hansen, B Thomsen, LL Thomsen, FS Adamsen
2013 IEEE 14th International Conference on Mobile Data Management 2, 33-38, 2013
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
Some issues in the semantics of facile distributed programming
B Thomsen, L Leth, A Giacalone
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
Mobile agents-the new paradigm in computing
LL Thomsen, B Thomsen
ICL Systems Journal 12, 14-40, 1997
True concurrency semantics for a linear logic programming language with broadcast communication
JM Andreoli, L Leth, R Pareschi, B Thomsen
TAPSOFT'93: Theory and Practice of Software Development: 4th International …, 1993
Matching semantically described web services using ontologies
K Christensen, TH Olesen, LL Thomsen
Information Technology and Control 35 (3), 2006
Functional programs as reconfigurable networks of communicating processes
L Leth
University of London, 1991
Towards ECLiPSe agents on the internet
P Bonnet, S Bressan, L Leth, B Thomsen
Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET …, 1996
Understanding mobile agents via a non-interleaving semantics for Facile
R Borgia, P Degano, C Priami, L Leth, B Thomsen
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
On the semantics for spreadsheets with sheet-defined functions
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
Journal of Computer Languages 57, 100960, 2020
Mobile agents
B Thomsen, L Leth, F Knabe, PY Chevalier
ECRC external report, European Computer-Industry Research Centre, 1995
Mobile agents set to work
B Thomsen, F Knabe, L Leth, PY Chevalier
Communications International, July, 1995
Competence centered specialization in web engineering topics in a software engineering masters degree programme
P Dolog, LL Thomsen, B Thomsen, J Stage
Proceedings of the 1st Educators' Day on Web Engineering Curricula, WECU …, 2010
Mini project programming exams
K Nørmark, LL Thomsen, K Torp
Reflections on the teaching of programming: Methods and implementations, 228-242, 2008
FACILE—from toy to tool
B Thomsen, L Leth, TM Kuo
ML with Concurrency: Design, Analysis, Implementation, and Application, 97-144, 1996
Analyzing spreadsheets for parallel execution via model checking
T Bøgholm, KG Larsen, M Muniz, B Thomsen, LL Thomsen
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20