Photo of Thomas Bøgholm
  • Selma Lagerløfs Vej 300, 5-2-60

    9220 Aalborg Ø

    Denmark

20082019
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.

  • 27 Similar Profiles
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Blended Learning Social Sciences
Data storage equipment Engineering & Materials Science
classroom Social Sciences
Mobile agents Engineering & Materials Science
Algebra Engineering & Materials Science
Teaching Social Sciences

Network Dive into details by clicking on the dots.

Projects 2015 2019

Research Output 2008 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: Models, Mindsets, Meta: The What, the How, and the Why Not?.. Springer, Vol. 11200. (Lecture Notes in Computer Science).

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

Open Access

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
Open Access
File
Blended Learning
classroom
Teaching
video
teacher

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

4 Citations (Scopus)

From Safety Critical Java Programs to Timed Process Models

Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G-L. & Priami, C. (eds.). Springer, p. 319-338 20 p. (Lecture Notes in Computer Science; No. 9465).

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

Semantics
Mobile agents
Computer programming languages
Algebra