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

    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.

  • 3 Lignende profiler
Object oriented programming Teknik og materialevidenskab
Computer programming languages Teknik og materialevidenskab
Spreadsheets Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Software engineering Teknik og materialevidenskab
programming Samfundsvidenskab
Semantics Teknik og materialevidenskab
Functional programming Teknik og materialevidenskab

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

Industry
Service oriented architecture (SOA)

EU working group APPSEM II

Thomsen, L. L. & Thomsen, B.

01/01/200331/12/2005

Projekter: ProjektForskning

ContextIT

Pedersen, T. B., Thomsen, L. L., Jensen, C. S. & Thomsen, B.

01/01/200331/07/2004

Projekter: ProjektForskning

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

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

Presse/medie

Akkreditering er for bureaukratisk

Lone Leth Thomsen & Ove Andersen

07/09/2012

2 elementer af Mediedækning

Presse/medie