Projekter pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Netværk
Klik på punkterne for at se detaljerne.
Projekter
- 9 Afsluttet
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Projekter: Projekt › Forskning
-
InfinIT Embedded Systems Engineering interest group
Thomsen, B. & Madsen, J.
01/07/2014 → 31/12/2018
Projekter: Projekt › Forskning
-
Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
10/02/2011 → 09/02/2015
Projekter: Projekt › Forskning
-
-
InfinIT Interessegruppen for højniveau sprog til indlejrede systemer
22/04/2009 → 30/06/2014
Projekter: Projekt › Forskning
Publikationer
-
On the Semantics for Spreadsheets with Sheet Defined Functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., apr. 2020, I: Journal of Computer Languages. 57, 100960.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
Åben adgangFil6 Citationer (Scopus)41 Downloads (Pure) -
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 proceeding › Bidrag til bog/antologi › Forskning › peer review
1 Citationer (Scopus) -
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/rapport › Rapport
Åben adgangFil59 Downloads (Pure) -
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 proceeding › Bidrag til bog/antologi › Forskning › peer review
-
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 tidsskrift › Tidsskriftartikel › peer review
3 Citationer (Scopus)
Presse/medier
-
Universitet lancerer nyt forskningscenter for cirkulær økonomi
Mette Alberg Mosgaard, Massimo Pizzol, Bent Thomsen, Louise Møller Haase & Reza Tadayoni
18/06/2021
1 element af Mediedækning
Presse/medie
-
-
-
AAU-forskere vil bane vej for energimærkning af software
18/12/2019
1 element af Mediedækning
Presse/medie
-