Billede af Thomas Bøgholm
  • Selma Lagerløfs Vej 300, 2-2-04

    9220 Aalborg Ø

    Danmark

20082020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer

Filter
Tidsskriftartikel
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, I : Journal of Computer Languages. 57, 100960.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
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, I : Innovations in Systems and Software Engineering. 9, 1, s. 17-28 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (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, I : ERCIM News. 81, s. 52-53

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review