Projekter pr. år
Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 9 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 › Forskning › peer review
Åben adgang
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 › Forskning
Åben adgang
Fil
40
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 › Forskning › peer review
3
Citationer
(Scopus)
Presse/medier
AAU-forskere vil bane vej for energimærkning af software
18/12/2019
1 element af Mediedækning
Presse/medie