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
Software engineering
Engineering & Materials Science
programming
Social Sciences
Semantics
Engineering & Materials Science
Functional programming
Engineering & Materials Science
Data storage equipment
Engineering & Materials Science
Mobile agents
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 2018
Analyzing spreadsheets for parallel execution via model checking
Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepted/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › 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
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
Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control
Jensen, S. K. & Thomsen, L. L., 9 May 2016, Proceedings of the 9th European Lisp Symposium. Durand, I. (ed.). European Lisp Scientific Activities Association, p. 65-72 8 p. 8Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
Data storage equipment
Functional programming
Computer programming languages
Program processors
Press / Media
Akkreditering er for bureaukratisk
Lone Leth Thomsen & Ove Kjeld Andersen
07/09/2012
2 items of media coverage
Press/Media: Press / Media