• Selma Lagerløfs Vej 300, 5-2-36

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

20032019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2003 2018

2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

14 Downloads (Pure)

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/rapportRapportForskning

Åben adgang
Fil
2017

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. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2016
15 Citationer (Scopus)

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control

Jensen, S. K. & Thomsen, L. L., 9 maj 2016, Proceedings of the 9th European Lisp Symposium. Durand, I. (red.). European Lisp Scientific Activities Association, s. 65-72 8 s. 8

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Data storage equipment
Functional programming
Computer programming languages
Program processors
2015
4 Citationer (Scopus)

From Safety Critical Java Programs to Timed Process Models

Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G-L. & Priami, C. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Semantics
Mobile agents
Computer programming languages
Algebra

Safety Critical Java for Robotics Programming

Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2013

Object-oriented programming with gradual abstraction

Nørmark, K., Thomsen, L. L. & Thomsen, B., jan. 2013, I : A C M / S I G P L A N Notices. 48, 2, s. 41-51 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object oriented programming
Computer programming languages
15 Citationer (Scopus)

SmartCampusAAU: An Open Platform Enabling Indoor Positioning and Navigation

Hansen, R., Thomsen, B., Thomsen, L. L. & Adamsen, F. S., jun. 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Volume 2. IEEE Computer Society Press, Bind 2. s. 33-38 6 s. (I E E E International Conference on Mobile Data Management. Proceedings, Bind 2).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2012

Akkreditering koster dyrt i bureaukrati

Thomsen, L. L. & Andersen, O., 7 sep. 2012, I : Ingenioeren. 1 s.

Publikation: Bidrag til tidsskriftBidrag til avis - KronikFormidling

Daisy: The Center for Data-intensive Systems at Aalborg University

Lu, H., Pedersen, T. B., Saltenis, S., Thomsen, B., Thomsen, L. L. & Torp, K., 2012, I : SIGMOD Record. 41, 4, s. 39-44

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object-oriented programming with gradual abstraction

Nørmark, K., Thomsen, L. L. & Thomsen, B., 22 okt. 2012, Proceedings of the 8th symposium on Dynamic languages. Warth, A. (red.). Association for Computing Machinery, s. 41 - 52 11 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2011

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i informationsteknologi

Studienævn for Datalogi, Aalborg Universitet, 2011, 30 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i datalogi, Kandidat i datalogi

Studienævn for Datalogi, Aalborg Universitet, 2011, 41 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Kandidat i datateknik

Studienævn for Datalogi, Aalborg Universitet, 2011, 32 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor- og kandidatuddannelsen i informatik

Studienævn for Datalogi, Aalborg Universitet, 2011, 38 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

2010

Competence Centered Specialization in Web Engineering Topics in a Software Engineering Masters Degree Programme

Dolog, P., Thomsen, L. L., Thomsen, B. & Stage, J., 6 jul. 2010.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

Software engineering
Curricula
Computer science
Students
3 Citationer (Scopus)

Computational Abstraction Steps

Thomsen, L. L., Thomsen, B. & Nørmark, K., nov. 2010, I : Journal of Object Technology. 9, 6, s. 1 - 23

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2009
304 Downloads (Pure)

Towards Transactional Memory for Real-Time Systems

Schoberl, M., Thomsen, B. & Thomsen, L. L., 2009, 09-001 udg. Department of Computer Science, Aalborg University. 10 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
2008
4 Citationer (Scopus)

Mapping and Visiting in Functional and Object-oriented Programming

Nørmark, K., Thomsen, B. & Thomsen, L. L., 2008, I : Journal of Object Technology. 7, 7, s. 75-105 31 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object oriented programming
Functional programming
Computer programming
Computer programming languages
1 Citation (Scopus)

Mini Project Programming Exams

Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (red.). Berlin Heidelberg: Springer, s. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

programming
syllabus
fraud
realism
computer science
2007
2553 Downloads (Pure)

BPM, SOA and WOA: Where are these technologies heading?

Christensen, K., Thomsen, B. & Thomsen, L. L., 2007, Aalborg: Department of Computer Science, Aalborg University. 19 s. (Technical Report; Nr. 07-001).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
Mashups
Business process integration
Breakdown
Firewall
Justification
2006

Matching Semantically Described Web Services Using Ontologies

Bidragets oversatte titel: Matching af semantisk beskrevede web services ved hjælp af ontologierChristensen, K., Thomsen, L. L. & Højgaard Olesen, T., 2006, Information Technology And Control. Kaunas Technologija Universiteta, s. 267-275 9 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2003

Software - til verdens mindste og verdens største computer

Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (red.). Kbh. : ITEK: Denmark., s. 21-26 (ITEK rapport).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning