| 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 | 111 | 1993 |
| A Facile tutorial B Thomsen, L Leth, TM Kuo International Conference on Concurrency Theory, 278-298, 1996 | 61 | 1996 |
| Some facile chemistry L Leth, B Thomsen Formal Aspects of Computing 7, 314-328, 1995 | 57 | 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 | 46 | 2016 |
| From a concurrent λ-calculus to the π-calculus RM Amadio, L Leth, B Thomsen International Symposium on Fundamentals of Computation Theory, 106-115, 1995 | 33 | 1995 |
| 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 | 32 | 2013 |
| Some issues in the semantics of facile distributed programming B Thomsen, L Leth, A Giacalone Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993 | 30 | 1993 |
| 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 |
| Functional programs as reconfigurable networks of communicating processes L Leth University of London, 1991 | 25 | 1991 |
| Matching semantically described web services using ontologies K Christensen, TH Olesen, LL Thomsen Information Technology and Control 35 (3), 2006 | 22 | 2006 |
| 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 | 20 | 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 | 18 | 2020 |
| 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 | 13 | 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 | 11 | 2010 |
| Mini project programming exams K Nørmark, LL Thomsen, K Torp Reflections on the teaching of programming: Methods and implementations, 228-242, 2008 | 11 | 2008 |
| FACILE—from toy to tool B Thomsen, L Leth, TM Kuo ML with Concurrency: Design, Analysis, Implementation, and Application, 97-144, 1996 | 11 | 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 | 8 | 2019 |
