• Selma Lagerløfs Vej 300, 5-2-36

    9220 Aalborg Ø


  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø


If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 3 Similar Profiles
Object oriented programming Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Software engineering Engineering & Materials Science
programming Social Sciences
Semantics Engineering & Materials Science
Functional programming Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Mobile agents Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2003 2019

Research Output 2003 2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepted/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Concrete and Abstract Cost Semantics for Spreadsheets

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. (IT University Technical Report Series, Vol. TR-2018-203).

Research output: Book/ReportReportResearch

Open Access

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

15 Citations (Scopus)

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control

Jensen, S. K. & Thomsen, L. L., 9 May 2016, Proceedings of the 9th European Lisp Symposium. Durand, I. (ed.). European Lisp Scientific Activities Association, p. 65-72 8 p. 8

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
Data storage equipment
Functional programming
Computer programming languages
Program processors

Press / Media

Akkreditering er for bureaukratisk

Lone Leth Thomsen & Ove Kjeld Andersen


2 items of media coverage

Press/Media: Press / Media