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.

Research Output

Filter
Journal article
2020

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
1 Citation (Scopus)
2013

Towards harnessing theories through tool support for hard real-time Java programming

Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, In : Innovations in Systems and Software Engineering. 9, 1, p. 17-28 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)
2010

Formal Modelling and Analysis of Predictable Java

Bøgholm, T., Hansen, R. R., Ravn, A. P., Søndergaard, H. & Thomsen, B., Apr 2010, In : ERCIM News. 81, p. 52-53

Research output: Contribution to journalJournal articleResearchpeer-review