Projects per year
Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 3 Similar Profiles
Object oriented programming
Engineering & Materials Science
Computer programming languages
Engineering & Materials Science
Spreadsheets
Engineering & Materials Science
Model checking
Engineering & Materials Science
Software engineering
Engineering & Materials Science
programming
Social Sciences
Semantics
Engineering & Materials Science
Functional programming
Engineering & Materials Science
Network
Dive into details by clicking on the dots.
Projects 2003 2019
- 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
Industry
Service oriented architecture (SOA)
ContextIT
Pedersen, T. B., Thomsen, L. L., Jensen, C. S. & Thomsen, B.
01/01/2003 → 31/07/2004
Project: Research
Research Output 2003 2019
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
Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives
On the Semantics for Spreadsheets with Sheet Defined Functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Dec 2019, (Submitted) In : Journal of Computer Languages.Research output: Contribution to journal › Journal article › Research › peer-review
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 Access
File
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
16
Citations
(Scopus)
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., May 2016, In : ACM Transactions on Computing Education. 16, 3, 41 p., 9.Research output: Contribution to journal › Journal article › 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