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
1071993
Some facile chemistry
L Leth, B Thomsen
Formal Aspects of Computing 7 (3), 314-328, 1995
601995
A Facile tutorial
B Thomsen, L Leth, TM Kuo
International Conference on Concurrency Theory, 278-298, 1996
581996
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
322016
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
321995
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
311995
Some issues in the semantics of facile distributed programming
B Thomsen, L Leth, A Giacalone
Workshop/School/Symposium of the REX Project (Research and Education in …, 1992
301992
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
272013
Mobile agents-the new paradigm in computing
LL Thomsen, B Thomsen
ICL Systems Journal 12, 14-40, 1997
271997
True concurrency semantics for a linear logic programming language with broadcast communication
JM Andreoli, L Leth, R Pareschi, B Thomsen
Colloquium on Trees in Algebra and Programming, 182-198, 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
Understanding mobile agents via a non-interleaving semantics for Facile
R Borgia, P Degano, C Priami, L Leth, B Thomsen
International Static Analysis Symposium, 98-112, 1996
221996
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
Mobile agents set to work
B Thomsen, F Knabe, L Leth, PY Chevalier
Communications International, July, 1995
141995
Mobile agents
B Thomsen, L Leth, F Knabe, PY Chevalier
ECRC external report, European Computer-Industry Research Centre, 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
102010
FACILE—from toy to tool
B Thomsen, L Leth, TM Kuo
ML with Concurrency, 97-144, 1997
101997
A new process model for functions
J Glauert, L Leth, B Thomsen
Term Graph Rewriting: Theory and Practice, 269-282, 1993
91993
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
82020
The system can't perform the operation now. Try again later.
Articles 1–20