Projects per year
Fingerprint
- 1 Similar Profiles
Network
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
-
-
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 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 AccessFile8 Citations (Scopus)46 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 AccessFile74 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. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Press / Media
-
Akkreditering er for bureaukratisk
Lone Leth Thomsen & Ove Andersen
07/09/2012
2 items of Media coverage
Press/Media: Press / Media