Follow
Lone Leth Thomsen
Lone Leth Thomsen
Associate Professor, Department of Computer Science, Aalborg University
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
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
1111993
A Facile tutorial
B Thomsen, L Leth, TM Kuo
International Conference on Concurrency Theory, 278-298, 1996
601996
Some facile chemistry
L Leth, B Thomsen
Formal Aspects of Computing 7, 314-328, 1995
581995
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
472016
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
351995
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
312013
Some issues in the semantics of facile distributed programming
B Thomsen, L Leth, A Giacalone
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
301993
Mobile agents-the new paradigm in computing
LL Thomsen, B Thomsen
ICL Systems Journal 12, 14-40, 1997
281997
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
261993
Matching semantically described web services using ontologies
K Christensen, TH Olesen, LL Thomsen
Information Technology and Control 35 (3), 2006
242006
Functional programs as reconfigurable networks of communicating processes
L Leth
Imperial College London, 1991
241991
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
211996
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
211996
Mobile agents
B Thomsen, L Leth, F Knabe, PY Chevalier
ECRC external report, European Computer-Industry Research Centre, 1995
161995
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
152020
Mobile agents set to work
B Thomsen, F Knabe, L Leth, PY Chevalier
Communications International, July, 1995
141995
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
112010
Mini project programming exams
K Nørmark, LL Thomsen, K Torp
Reflections on the teaching of programming: Methods and implementations, 228-242, 2008
112008
FACILE—from toy to tool
B Thomsen, L Leth, TM Kuo
ML with Concurrency: Design, Analysis, Implementation, and Application, 97-144, 1996
111996
From safety critical Java programs to timed process models
B Thomsen, KS Luckow, L Leth, T Bøgholm
Programming Languages with Applications to Biology and Security: Essays …, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20