Bent Thomsen
Bent Thomsen
Professor (MSO), Aalborg University
Verified email at - Homepage
Cited by
Cited by
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
Plain CHOCS a second generation calculus for higher order processes
B Thomsen
Acta informatica 30, 1-59, 1993
A calculus of higher order communicating systems
B Thomsen
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
Calculi for higher order communicating systems
B Thomsen
University of London, 1990
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
Seamless indoor/outdoor positioning handover for location-based services in streamspin
R Hansen, R Wind, CS Jensen, B Thomsen
2009 Tenth International Conference on Mobile Data Management: Systems …, 2009
A theory of higher order communicating systems
B Thomsen
Information and Computation 116 (1), 38-57, 1995
Model-based schedulability analysis of safety critical hard real-time Java programs
T Bøgholm, H Kragh-Hansen, P Olsen, B Thomsen, KG Larsen
Proceedings of the 6th international workshop on Java technologies for real …, 2008
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
A profile for safety critical java
M Schoeberl, H Sondergaard, B Thomsen, AP Ravn
10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007
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
Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting
R Hansen, R Wind, CS Jensen, B Thomsen
2010 International Conference on Indoor Positioning and Indoor Navigation, 1-10, 2010
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
Polymorphic sorts and types for concurrent functional programs
B Thomsen
Techn. Rep. ECRC-93-10, 1993
Some issues in the semantics of facile distributed programming
B Thomsen, L Leth, A Giacalone
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
A predictable java profile: rationale and implementations
T Bøgholm, RR Hansen, AP Ravn, B Thomsen, H Søndergaard
Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009
Wcet analysis of java bytecode featuring common execution environments
C Frost, CS Jensen, KS Luckow, B Thomsen
Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011
Mobile agents-the new paradigm in computing
LL Thomsen, B Thomsen
ICL Systems Journal 12, 14-40, 1997
The system can't perform the operation now. Try again later.
Articles 1–20