default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLone Leth Thomsen
Person information
- affiliation: Aalborg University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j9]Alexander Asp Bock
, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen:
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69: 101103 (2022)- 2020
- [j8]Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen:
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57: 100960 (2020)
2010 – 2019
- 2018
- [c12]Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen:
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta 2018: 27-35 - 2017
- [c11]Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm:
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools 2017: 269-288 - 2016
- [j7]Peter Dolog, Lone Leth Thomsen, Bent Thomsen:
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) - [c10]Søren Kejser Jensen, Lone Leth Thomsen:
Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control. ELS 2016: 65-72 - 2015
- [c9]Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm:
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security 2015: 319-338 - 2013
- [c8]René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen:
SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. MDM (2) 2013: 33-38 - 2012
- [j6]Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp:
Daisy: the center for data-intensive systems at Aalborg University. SIGMOD Rec. 41(4): 39-44 (2012) - [c7]Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen:
Object-oriented programming with gradual abstraction. DLS 2012: 41-52 - 2010
- [j5]Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark:
Computational Abstraction Steps. J. Object Technol. 9(6): 1-23 (2010)
2000 – 2009
- 2008
- [j4]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) - [p2]Kurt Nørmark, Lone Leth Thomsen, Kristian Torp:
Mini Project Programming Exams. Reflections on the Teaching of Programming 2008: 228-242 - 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
- [j3]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Causality for Debugging Mobile Agents. Acta Informatica 36(5): 335-374 (1999) - 1998
- [j2]Bent Thomsen, Lone Leth Thomsen:
Towards Global Computations Guided by Concurrency Theory. Bull. EATCS 66: 92-99 (1998) - 1996
- [c6]Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo:
A Facile Tutorial. CONCUR 1996: 278-298 - [c5]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369 - [c4]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
- [j1]Lone Leth Thomsen, Bent Thomsen:
Some Facile Chemistry. Formal Aspects Comput. 7(3): 314-328 (1995) - [c3]Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen:
From a Concurrent Lambda-Calculus to the Pi-Calculus. FCT 1995: 106-115 - 1993
- [c2]Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen:
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT 1993: 182-198 - 1992
- [c1]Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone:
Some Issues in the Semantics of Facile Distributed Programming. REX Workshop 1992: 563-593 - 1991
- [b1]Lone Leth:
Functional programs as reconfigurable networks of communicating processes. Imperial College London, UK, 1991
Coauthor Index
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 2025-01-20 23:01 CET 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:
