Projekter pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
- 5 Afsluttet
-
P3: Popular Parallel Programming
Thomsen, B. (CoI (co-investigator)), Thomsen, L. L. (Projektdeltager), Larsen, K. G. (CoI (co-investigator)) & Bøgholm, T. (Projektdeltager)
01/02/2015 → 31/03/2019
Projekter: Projekt › Forskning
-
COST Action IC0701Formel Verifikation af Objekt-Orienteret Software
Thomsen, B. (Projektdeltager), Hansen, R. R. (Projektdeltager) & Thomsen, L. L. (Projektdeltager)
11/03/2008 → 10/03/2012
Projekter: Projekt › Forskning
-
The Virtual Desktop and Beyond
Skou, A. (Projektleder), Thomsen, L. L. (Projektleder) & Christensen, K. (Projektdeltager)
Den regionale IKT satsning, INS fakultetets medfinancieringspulje, Landmandens Virtuelle Skrivebord, Dansk Landbrugsrådgivning
15/08/2006 → 15/08/2009
Projekter: Projekt › Forskning
-
EU working group APPSEM II
Thomsen, L. L. (Projektdeltager) & Thomsen, B. (Projektdeltager)
01/01/2003 → 31/12/2005
Projekter: Projekt › Forskning
-
ContextIT
Pedersen, T. B. (Projektdeltager), Thomsen, L. L. (Projektdeltager), Jensen, C. S. (Projektdeltager) & Thomsen, B. (Projektdeltager)
01/01/2003 → 31/07/2004
Projekter: Projekt › Forskning
Publikationer
-
Sustainable software development: new challenges for programming, languages design and analysis: (Preliminary version)
Thomsen, B., Thomsen, L. L. & Bøgholm, T., 1 dec. 2023, s. 38-50. 12 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › 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, I: Journal of Computer Languages. 69, 48 s., 101103.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)64 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, I: Journal of Computer Languages. 57, 100960.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil12 Citationer (Scopus)114 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, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
2 Citationer (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, Bind TR-2018-203).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil133 Downloads (Pure)