Photo of Thomas Bøgholm

Thomas Bøgholm

  • Selma Lagerløfs Vej 300, 2-2-04

    9220 Aalborg Ø

    Denmark

20082020

Research output per year

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.

  • 20 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

Research Output

On the Semantics for Spreadsheets with Sheet Defined Functions

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Apr 2020, In : Journal of Computer Languages. 57, 100960.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
  • Analyzing spreadsheets for parallel execution via model checking

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

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

  • 1 Citation (Scopus)

    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
    File
    40 Downloads (Pure)
    Open Access
    File
  • 427 Downloads (Pure)

    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