Bent Thomsen
Bent Thomsen
Professor (MSO), Aalborg University
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
5721988
Plain CHOCS a second generation calculus for higher order processes
B Thomsen
Acta informatica 30 (1), 1-59, 1993
2011993
A calculus of higher order communicating systems
B Thomsen
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
1981989
Calculi for higher order communicating systems
B Thomsen
University of London, 1990
1421990
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
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
952009
A theory of higher order communicating systems
B Thomsen
Information and Computation 116 (1), 38-57, 1995
871995
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
672008
Some facile chemistry
L Leth, B Thomsen
Formal Aspects of Computing 7 (3), 314-328, 1995
591995
A Facile tutorial
B Thomsen, L Leth, TM Kuo
International Conference on Concurrency Theory, 278-298, 1996
581996
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
482007
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
372010
Polymorphic sorts and types for concurrent functional programs
B Thomsen
Techn. Rep. ECRC-93-10, 1993
311993
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
30*1995
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
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
292009
Compositional proofs by partial specification of processes
KG Larsen, B Thomsen
International Symposium on Mathematical Foundations of Computer Science, 414-423, 1988
281988
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
272011
Mobile agents-the new paradigm in computing
LL Thomsen, B Thomsen
ICL Systems Journal 12, 14-40, 1997
271997
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
252013
The system can't perform the operation now. Try again later.
Articles 1–20