Foto af Thomas Bøgholm
  • Selma Lagerløfs Vej 300, 5-2-60

    9220 Aalborg Ø

    Danmark

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

  • 38 Lignende profiler
Computer programming languages Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Blended Learning Samfundsvidenskab
Data storage equipment Teknik og materialevidenskab
classroom Samfundsvidenskab
Mobile agents Teknik og materialevidenskab
Algebra Teknik og materialevidenskab
Teaching Samfundsvidenskab

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

Projekter 2015 2019

P3: Popular Parallel Programming

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

01/02/201531/03/2019

Projekter: ProjektForskning

Publikationer 2008 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. Springer, (Lecture Notes in Computer Science).

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

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
Åben adgang
Fil
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. (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

4 Citationer (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. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

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

Semantics
Mobile agents
Computer programming languages
Algebra