default search action
Bent Thomsen
Person information
- affiliation: Aalborg University, Aalborg, Denmark
- affiliation: ICL, Bracknell, UK
- affiliation: European Computer-Industry Research Center, Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j17]Alexander Asp Bock
, Thomas Bøgholm, Peter Sestoft, Bent Thomsen
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69: 101103 (2022) - 2021
- [c34]Maja H. Kirkeby, John P. Gallagher, Bent Thomsen:
An Approach to Estimating Energy Consumption of Web-based IT Systems. CERCIRAS 2021 - 2020
- [j16]Alexander Asp Bock
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57: 100960 (2020)
2010 – 2019
- 2018
- [c33]Thomas Bøgholm, Kim G. Larsen
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta 2018: 27-35 - 2017
- [j15]Kasper Søe Luckow, Bent Thomsen
HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems. Concurr. Comput. Pract. Exp. 29(22) (2017) - [c32]Anders P. Ravn, Bent Thomsen
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools 2017: 269-288 - 2016
- [j14]Peter Dolog
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge. ACM Trans. Comput. Educ. 16(3): 9:1-9:41 (2016) - [c31]Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen
Discount method for programming language evaluation. PLATEAU@SPLASH 2016: 1-8 - 2015
- [j13]Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015: 2 (2015) - [c30]Bent Thomsen
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security 2015: 319-338 - 2014
- [c29]Kasper Søe Luckow, Bent Thomsen
HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. JTRES 2014: 107 - 2013
- [j12]Thomas Bøgholm, Christian Frost, René Rydhof Hansen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9(1): 17-28 (2013) - [c28]Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES 2013: 11-20 - [c27]René Hansen, Bent Thomsen
SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. MDM (2) 2013: 33-38 - 2012
- [j11]Hua Lu
Daisy: the center for data-intensive systems at Aalborg University. SIGMOD Rec. 41(4): 39-44 (2012) - [c26]Kurt Nørmark, Lone Leth Thomsen
Object-oriented programming with gradual abstraction. DLS 2012: 41-52 - [c25]Thomas Bøgholm, Bent Thomsen
Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78 - 2011
- [c24]Hans Søndergaard, Bent Thomsen
Refactoring Real-Time Java Profiles. ISORC 2011: 109-116 - [c23]Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
WCET analysis of Java bytecode featuring common execution environments. JTRES 2011: 30-39 - [c22]Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT 2011: 136-150 - 2010
- [j10]Lone Leth Thomsen
Computational Abstraction Steps. J. Object Technol. 9(6): 1-23 (2010) - [c21]René Hansen, Rico Wind, Christian S. Jensen
Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. IPIN 2010: 1-10 - [c20]Thomas Bøgholm, René Rydhof Hansen
Schedulability analysis for Java finalizers. JTRES 2010: 1-7 - [i1]Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen:
Formal Modelling and Analysis of Predictable Java. ERCIM News 2010(81) (2010)
2000 – 2009
- 2009
- [c19]Thomas Bøgholm, René Rydhof Hansen
A predictable Java profile: rationale and implementations. JTRES 2009: 150-159 - [c18]René Hansen, Rico Wind, Christian S. Jensen
Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. Mobile Data Management 2009: 267-272 - [c17]René Hansen, Bent Thomsen
Efficient and Accurate WLAN Positioning with Weighted Graphs. MOBILIGHT 2009: 372-386 - [c16]René Hansen, Rico Wind, Christian S. Jensen
Pretty Easy Pervasive Positioning. SSTD 2009: 417-421 - 2008
- [j9]Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen:
Mapping and Visiting in Functional and Object-Oriented Programming. J. Object Technol. 7(7): 75-107 (2008) - [c15]Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen
Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES 2008: 106-114 - [c14]René Hansen, Christian S. Jensen
Seamless indoor/outdoor positioning with streamspin. MobiQuitous 2008 - [p2]Bent Thomsen
Using On-Line Tutorials in Introductory IT Courses. Reflections on the Teaching of Programming 2008: 68-74 - 2007
- [c13]Martin Schoeberl, Hans Søndergaard, Bent Thomsen
A Profile for Safety Critical Java. ISORC 2007: 94-101 - [c12]René Hansen, Bent Thomsen
Using Weighted Graphs for Computationally Efficient WLAN Location Determination. MobiQuitous 2007: 1-5 - 2006
- [c11]Hans Søndergaard, Bent Thomsen
A Ravenscar-Java profile implementation. JTRES 2006: 38-47 - 2001
- [j8]Bent Thomsen
A fully abstract denotational semantics for the calculus of higher-order communicating systems. Theor. Comput. Sci. 254(1-2): 557-589 (2001) - [p1]Bent Thomsen, Lone Leth Thomsen:
Towards Global Computations Guided by Concurrency Theory. Current Trends in Theoretical Computer Science 2001: 460-468
1990 – 1999
- 1999
- [j7]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Causality for Debugging Mobile Agents. Acta Informatica 36(5): 335-374 (1999) - 1998
- [j6]Bent Thomsen, Lone Leth Thomsen:
Towards Global Computations Guided by Concurrency Theory. Bull. EATCS 66: 92-99 (1998) - 1996
- [j5]Bent Thomsen:
Programming Languages, Analysis Tools, and Concurrency Theory. ACM Comput. Surv. 28(4es): 57 (1996) - [c10]Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo:
A Facile Tutorial. CONCUR 1996: 278-298 - [c9]Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 - [c8]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369 - [c7]Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112 - 1995
- [j4]Lone Leth Thomsen, Bent Thomsen
Some Facile Chemistry. Formal Aspects Comput. 7(3): 314-328 (1995) - [j3]Bent Thomsen
A Theory of Higher Order Communicating Systems. Inf. Comput. 116(1): 38-57 (1995) - [c6]Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen:
From a Concurrent Lambda-Calculus to the Pi-Calculus. FCT 1995: 106-115 - 1993
- [j2]Bent Thomsen
Plain CHOCS: A Second Generation Calculus for Higher Order Processes. Acta Informatica 30(1): 1-59 (1993) - [c5]Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT 1993: 182-198 - 1992
- [c4]Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone:
Some Issues in the Semantics of Facile Distributed Programming. REX Workshop 1992: 563-593 - 1991
- [j1]Kim Guldstrand Larsen, Bent Thomsen:
Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991) - 1990
- [b1]Bent Thomsen:
Calculi for higher order communicating systems. Imperial College London, UK, 1990
1980 – 1989
- 1989
- [c3]Bent Thomsen:
A Calculus of Higher Order Communicating Systems. POPL 1989: 143-154 - 1988
- [c2]Kim Guldstrand Larsen, Bent Thomsen:
A Modal Process Logic. LICS 1988: 203-210 - [c1]Kim Guldstrand Larsen, Bent Thomsen:
Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423
Coauthor Index
aka: Lone Leth
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: