Следене
Bent Thomsen
Bent Thomsen
Professor (MSO), Aalborg University
Потвърден имейл адрес: acm.org - Начална страница
Заглавие
Позовавания
Позовавания
Година
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
6211988
Plain CHOCS a second generation calculus for higher order processes
B Thomsen
Acta informatica 30, 1-59, 1993
2161993
A calculus of higher order communicating systems
B Thomsen
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2051989
Calculi for higher order communicating systems
B Thomsen
University of London, 1990
1471990
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
1131993
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
1102009
A theory of higher order communicating systems
B Thomsen
Information and Computation 116 (1), 38-57, 1995
881995
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
712008
A Facile tutorial
B Thomsen, L Leth, TM Kuo
International Conference on Concurrency Theory, 278-298, 1996
611996
Some facile chemistry
L Leth, B Thomsen
Formal Aspects of Computing 7, 314-328, 1995
571995
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
532007
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
482016
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
432010
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
352013
From a concurrent λ-calculus to the π-calculus
RM Amadio, L Leth, B Thomsen
International Symposium on Fundamentals of Computation Theory, 106-115, 1995
341995
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
312009
Polymorphic sorts and types for concurrent functional programs
B Thomsen
Techn. Rep. ECRC-93-10, 1993
311993
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
302011
Some issues in the semantics of facile distributed programming
B Thomsen, L Leth, A Giacalone
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
301993
Compositional proofs by partial specification of processes
KG Larsen, B Thomsen
International Symposium on Mathematical Foundations of Computer Science, 414-423, 1988
291988
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20