Bent Thomsen

Cited by

	All	Since 2018
Citations	2498	270
h-index	22	8
i10-index	39	8

160

120

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 24 10 33 35 54 80 135 88 77 72 53 89 44 45 47 86 58 72 73 102 94 100 149 132 134 115 82 103 67 67 45 45 45 1

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Lone Leth ThomsenAssociate Professor, Department of Computer Science, Aalborg UniversityVerified email at acm.org
Thomas BøgholmAalborg UniversitetVerified email at cs.aau.dk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Christian S. JensenAalborg University, Department of Computer ScienceVerified email at cs.aau.dk
Rene Rydhof HansenAalborg UniversityVerified email at cs.aau.dk
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Martin SchoeberlProfessor, Technical University of DenmarkVerified email at jopdesign.com
CORRADO PRIAMIUniversità di PisaVerified email at unipi.it
Peter DologAssociate Professor of Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
Peter SestoftProfessor, IT University of CopenhagenVerified email at itu.dk
Petur OlsenVerified email at cs.aau.dk
Kurt NørmarkAssociate professor i computer science, Aalborg UniversityVerified email at cs.aau.dk
Remo PareschiAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Alan MycroftProfessor of Computing, University of CambridgeVerified email at cl.cam.ac.uk
Philippe BonnetIT University of CopenhagenVerified email at itu.dk
Stephane BressanNational University of SingaporeVerified email at nus.edu.sg
John GlauertProfessor of Computing Sciences, University of East Anglia, UKVerified email at uea.ac.uk
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov

Bent Thomsen

Professor (MSO), Aalborg University

Verified email at acm.org - Homepage

Programming Languages semantics concurrency distributed systems energy aware programming


Title Sort by citations Sort by year Sort by 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	600	1988
Plain CHOCS a second generation calculus for higher order processes B Thomsen Acta informatica 30, 1-59, 1993	219	1993
A calculus of higher order communicating systems B Thomsen Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	206	1989
Calculi for higher order communicating systems B Thomsen University of London, 1990	152	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	112	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	104	2009
A theory of higher order communicating systems B Thomsen Information and Computation 116 (1), 38-57, 1995	89	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	70	2008
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
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	52	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	42	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	41	2010
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
Polymorphic sorts and types for concurrent functional programs B Thomsen Techn. Rep. ECRC-93-10, 1993	33	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	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
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	31	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	30	2011
Mobile agents-the new paradigm in computing LL Thomsen, B Thomsen ICL Systems Journal 12, 14-40, 1997	28	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors