| 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 | 112 | 1993 |
| Some facile chemistry L Leth, B Thomsen Formal Aspects of Computing 7, 314-328, 1995 | 62 | 1995 |
| A Facile tutorial B Thomsen, L Leth, TM Kuo CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996 | 59 | 1996 |
| 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 | 41 | 2016 |
| From a concurrent λ-calculus to the π-calculus RM Amadio, L Leth, B Thomsen Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 2005 | 35 | 2005 |
| Some issues in the semantics of facile distributed programming B Thomsen, L Leth, A Giacalone Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993 | 32 | 1993 |
| 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 | 31 | 2013 |
| Mobile agents-the new paradigm in computing LL Thomsen, B Thomsen ICL Systems Journal 12, 14-40, 1997 | 28 | 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 | 27 | 1993 |
| Matching semantically described web services using ontologies K Christensen, TH Olesen, LL Thomsen Information Technology and Control 35 (3), 2006 | 24 | 2006 |
| Functional programs as reconfigurable networks of communicating processes L Leth Imperial College London, 1991 | 23 | 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 | 21 | 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 | 21 | 1996 |
| Mobile agents B Thomsen, L Leth, F Knabe, PY Chevalier ECRC external report, European Computer-Industry Research Centre, 1995 | 15 | 1995 |
| Mobile agents set to work B Thomsen, F Knabe, L Leth, PY Chevalier Communications International, July, 1995 | 14 | 1995 |
| 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 | 12 | 2020 |
| 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 | 11 | 2010 |
| FACILE—from toy to tool B Thomsen, L Leth, TM Kuo ML with Concurrency: Design, Analysis, Implementation, and Application, 97-144, 1997 | 11 | 1997 |
| Mini project programming exams K Nørmark, LL Thomsen, K Torp Reflections on the teaching of programming: Methods and implementations, 228-242, 2008 | 9 | 2008 |
| 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 | 8 | 2015 |
