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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

20032020

Publikationer pr. år

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

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 9 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

P3: Popular Parallel Programming

Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

01/02/201531/03/2019

Projekter: ProjektForskning

InfinIT Embedded Systems Engineering interest group

Thomsen, B. & Madsen, J.

01/07/201431/12/2018

Projekter: ProjektForskning

SmartCampusAAU: SmartCampusAAU

Thomsen, B.

03/08/200906/06/2013

Projekter: ProjektForskning

InfinIT Interessegruppen for højniveau sprog til indlejrede systemer

Thomsen, B.

22/04/200930/06/2014

Projekter: ProjektForskning

Publikationer

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
  • 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, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • 1 Citationer (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, Bind TR-2018-203).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    Åben adgang
    Fil
    40 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. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems

    Luckow, K. S., Thomsen, B. & Korsholm, S., 2017, I : Concurrency and Computation: Practice & Experience. 29, 22, 26 s., e3828.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    3 Citationer (Scopus)

    Presse/medier

    Embedded software skal energimærkes

    Bent Thomsen

    31/01/2020

    2 elementer af Mediedækning

    Presse/medie

    Mobiltelefonerne reducerer CO2-udslippet

    Bent Thomsen

    12/01/2020

    1 element af Mediedækning

    Presse/medie

    AAU-forskere vil bane vej for energimærkning af software

    Bent Thomsen

    18/12/2019

    1 element af Mediedækning

    Presse/medie

    AAU-forskere vil energimærke software

    Bent Thomsen

    11/12/2019

    14 elementer af Mediedækning

    Presse/medie

    It-branchen skal tænke bæredygtighed på nye måder

    Bent Thomsen

    13/11/2019

    1 element af Mediedækning

    Presse/medie