• Selma Lagerløfs Vej 300, 5-2-36

    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
Software engineering Teknik og materialevidenskab
programming Samfundsvidenskab
Semantics Teknik og materialevidenskab
Functional programming Teknik og materialevidenskab
Data storage equipment Teknik og materialevidenskab
Mobile agents 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 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

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

15 Citationer (Scopus)

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control

Jensen, S. K. & Thomsen, L. L., 9 maj 2016, Proceedings of the 9th European Lisp Symposium. Durand, I. (red.). European Lisp Scientific Activities Association, s. 65-72 8 s. 8

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

Åben adgang
Data storage equipment
Functional programming
Computer programming languages
Program processors

Presse/medie

Akkreditering er for bureaukratisk

Lone Leth Thomsen & Ove Kjeld Andersen

07/09/2012

2 elementer af mediedækning

Presse/medie