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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

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

  • 5 Lignende profiler
Object oriented programming Teknik og materialevidenskab
Wireless local area networks (WLAN) Teknik og materialevidenskab
Mobile devices Teknik og materialevidenskab
Wi-Fi Teknik og materialevidenskab
Location based services Teknik og materialevidenskab
Global positioning system Teknik og materialevidenskab
Computer programming languages Teknik og materialevidenskab
Positioning Matematik

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

Projekter 2003 2019

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 2003 2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday: Models, Mindsets, Meta: The What, the How, and the Why Not?.. Springer, Bind 11200. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

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

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

3 Citationer (Scopus)

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

Presse/medie

AAU-forskere vil energimærke software

Bent Thomsen

11/12/2019

8 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

Skærper fokus på øget salg og ny teknologi

Bent Thomsen

29/06/2012

1 element af Mediedækning

Presse/medie

Kan Symbian fastholde førerpositionen?

Bent Thomsen

14/03/2008

1 element af Mediedækning

Presse/medie

Debat: For dyrt at videooptage forelæsninger

Bent Thomsen

02/12/2005

1 element af Mediedækning

Presse/medie