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

    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.

  • 26 Lignende profiler
Spreadsheets Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
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

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 2019

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

Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives

On the Semantics for Spreadsheets with Sheet Defined Functions

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., dec. 2019, (Afsendt) I : Journal of Computer Languages.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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/rapportRapport

Å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