Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations from the last five years
Projects
- 5 Finished
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Project: Research
-
COST Action IC0701Formal Verification of Object-Oriented Software
Thomsen, B., Hansen, R. R. & Thomsen, L. L.
11/03/2008 → 10/03/2012
Project: Research
-
The Virtual Desktop and Beyond
Skou, A., Thomsen, L. L. & Christensen, K.
Den regionale IKT satsning, INS fakultetets medfinancieringspulje, Landmandens Virtuelle Skrivebord, Dansk Landbrugsrådgivning
15/08/2006 → 15/08/2009
Project: Research
-
-
ContextIT
Pedersen, T. B., Thomsen, L. L., Jensen, C. S. & Thomsen, B.
01/01/2003 → 31/07/2004
Project: Research
-
Sustainable software development: new challenges for programming, languages design and analysis: (Preliminary version)
Thomsen, B., Thomsen, L. L. & Bøgholm, T., 1 Dec 2023, p. 38-50. 12 p.Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review
-
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, In: Journal of Computer Languages. 69, 48 p., 101103.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Citation (Scopus)40 Downloads (Pure) -
On the Semantics for Spreadsheets with Sheet Defined Functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Apr 2020, In: Journal of Computer Languages. 57, 100960.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile11 Citations (Scopus)88 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, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
2 Citations (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, Vol. TR-2018-203).Research output: Book/Report › Report › Research
Open AccessFile107 Downloads (Pure)
Press/Media
-
Akkreditering er for bureaukratisk
Lone Leth Thomsen & Ove Andersen
07/09/2012
2 items of Media coverage
Press/Media: Press / Media