Publikationer pr. år
Publikationer pr. år
Publikationer
- 12 resultater
Søgeresultater
-
2022
On the cost semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., apr. 2022, I: Journal of Computer Languages. 69, 48 s., 101103.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)64 Downloads (Pure) -
2020
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 adgangFil12 Citationer (Scopus)113 Downloads (Pure) -
2017
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
4 Citationer (Scopus) -
2016
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom’s Taxonomy and the IEEE Software Engineering Body of Knowledge.
Dolog, P., Thomsen, L. L. & Thomsen, B., maj 2016, I: ACM Transactions on Computing Education. 16, 3, 41 s., 9.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
35 Citationer (Scopus) -
2015
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems
Luckow, K. S., Păsăreanu, C. S. & Thomsen, B., sep. 2015, I: Eurasip Journal on Embedded Systems. 2015, 2, s. 1-14 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang13 Citationer (Scopus) -
2013
Object-oriented programming with gradual abstraction
Nørmark, K., Thomsen, L. L. & Thomsen, B., jan. 2013, I: A C M / S I G P L A N Notices. 48, 2, s. 41-51 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Programmering af multi-core systemer er it verdens største udfordring: Multicore og parallelisering har afløst strategien med at fordoble transistorer hver 18 måned
Thomsen, B., 2013, I: ITOS - Industriel Teknologi og Software. 2, s. 5-6Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
-
Towards harnessing theories through tool support for hard real-time Java programming
Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, I: Innovations in Systems and Software Engineering. 9, 1, s. 17-28 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
6 Citationer (Scopus) -
2012
Daisy: The Center for Data-intensive Systems at Aalborg University
Lu, H., Pedersen, T. B., Saltenis, S., Thomsen, B., Thomsen, L. L. & Torp, K., 2012, I: SIGMOD Record. 41, 4, s. 39-44Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2010
Computational Abstraction Steps
Thomsen, L. L., Thomsen, B. & Nørmark, K., nov. 2010, I: Journal of Object Technology. 9, 6, s. 1 - 23Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
3 Citationer (Scopus) -
Formal Modelling and Analysis of Predictable Java
Bøgholm, T., Hansen, R. R., Ravn, A. P., Søndergaard, H. & Thomsen, B., apr. 2010, I: ERCIM News. 81, s. 52-53Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2008
Mapping and Visiting in Functional and Object-oriented Programming
Nørmark, K., Thomsen, B. & Thomsen, L. L., 2008, I: Journal of Object Technology. 7, 7, s. 75-105 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (Scopus)